Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)
Modbat makes testing easier by providing a userfriendly
modeling language to describe the behavior of systems;
from such a model, test cases are generated and executed.
Modbat?s domain-specific language is based on Scala; its features
include probabilistic and non-deterministic transitions, component
models with inheritance, and exceptions. We demonstrate
the versatility of Modbat by finding a confirmed defect in the
currently latest version of Java, and by testing SAT solvers.
domain-specific language model-based testingmodel-based testing extended finite state machinesextended finite state machines software test tools component-based systemscomponent-based systems exception testing