Cyrille Artho: Building and Testing Software: Construction and Deconstruction
Time: Fri 2015-09-18 13.15
Location: Room 4523, Lindstedtsvägen 5, KTH
Participating: Cyrille Artho, National Institute of Advanced Industrial Science and Technology (AIST) Japan
Domain-Specific Languages make machine-readable models and specifications human-readable as well. They can support models of configurations, designs, or tests, and thus many aspects of software development.
Modbat is a model-based tester that is based on a domain-specific language that makes it easier and more efficient to define complex test models. It has built-in support for non-deterministic system actions and exceptions, making it ideal to model the behavior of networked software.
We have applied Modbat to a model of the Java network library for Java PathFinder (published at ASE 2013), and a state-of-the-art SAT solver (HVC 2013, ASE 2015). Work in progress tries to analyze cloud computing middleware Apache Zookeeper.