Model-Based Testing of Stateful APIs with Modbat

Model-Based Testing of Stateful APIs with Modbat
复制标题

使用 Modbat 对有状态 API 进行基于模型的测试

DOI：
10.1109/ase.2015.95
复制
发表时间：
2015
期刊：
Proc 30th IEEE/ACM International Conference on Automated Software Engineering
影响因子：
--
通讯作者：
Yoriyuki Yamagata
Yoriyuki Yamagata
中科院分区：
--
文献类型：
--
作者：
Cyrille Artho;Martina Seidl;Quentin Gros;Eun-Hye Choi;Takashi Kitamura;Akira Mori;Rudolf Ramler;Yoriyuki Yamagata

文献摘要

相似文献

Modbat通过提供一种用户友好的建模语言来描述系统的行为，从而使测试变得更容易，从这样的模型中，生成并执行测试用例。Modbat的领域特定语言基于Scala，其特性包括概率和非确定性转换，具有继承的组件模型和异常。我们通过在当前最新版本的Java中找到一个确认的缺陷，并通过测试SAT求解器来展示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.