Model-Based Testing of Stateful APIs with Modbat
Model-Based Testing of Stateful APIs with Modbat
Modbat makes testing easier by providing a user-friendly 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.
Datavetenskap (datalogi), Computer Sciences, —model-based testing; software test tools; domainspecific language; extended finite-state machines; component-based systems; exception testing
Datavetenskap (datalogi), Computer Sciences, —model-based testing; software test tools; domainspecific language; extended finite-state machines; component-based systems; exception testing
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).4 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!