Modbat: A Model-Based API Tester for Event-Driven Systems
Modbat: A Model-Based API Tester for Event-Driven Systems
复制标题
DOI：
10.1007/978-3-319-03077-7_8
复制
发表时间：
2013-11
期刊：
影响因子：
--
通讯作者：
Cyrille Artho;Armin Biere;M. Hagiya;E. Platon;M. Seidl;Yoshinori Tanabe;M. Yamamoto
中科院分区：
文献类型：
--
作者：
Cyrille Artho;Armin Biere;M. Hagiya;E. Platon;M. Seidl;Yoshinori Tanabe;M. Yamamoto
基于模型的测试从描述系统行为的抽象模型中派生测试执行。然而，现有的方法并不适合于事件驱动或输入/输出驱动的系统。特别是，需要支持非阻塞I/O操作，或在通信中断时抛出异常的操作。我们的新工具“Modbat”专门用于测试这些问题常见的系统。Modbat使用扩展的有限状态机来建模系统行为。与大多数现有工具不同，Modbat提供了一种特定于域的语言，支持状态机和异常作为第一类构造。我们的模型表示法还处理被测系统中的非确定性，并支持根据非确定性操作的结果来选择测试用例的继续。这些功能使我们能够简洁地对一些有趣的库进行建模。我们的实验展示了Modbat的灵活性，以及语言对模型特征的支持如何有利于它们的正确使用。
Model-based testing derives test executions from an abstract model that describes the system behavior. However, existing approaches are not tailored to event-driven or input/output-driven systems. In particular, there is a need to support non-blocking I/O operations, or operations throwing exceptions when communication is disrupted.Our new tool “Modbat” is specialized for testing systems where these issues are common. Modbat uses extended finite-state machines to model system behavior. Unlike most existing tools, Modbat offers a domain-specific language that supports state machines and exceptions as first-class constructs. Our model notation also handles non-determinism in the system under test, and supports alternative continuations of test cases depending on the outcome of non-deterministic operations.These features allow us to model a number of interesting libraries succinctly. Our experiments show the flexibility of Modbat and how language support for model features benefits their correct use.