论文标题
一种基于模型的测试工具，用于异步反应性系统
A Model-Based Testing Tool for Asynchronous Reactive Systems
论文作者
论文摘要
反应性系统的特征是与环境的相互作用，在这种情况下，输入和输出刺激的交换通常是异步发生的。通常，这种性质的系统需要在其发展过程中进行严格的测试活动。因此，基于模型的测试已通过输入输出标记的过渡系统（IOLTSS）作为基础成功地应用于异步反应系统。在这项工作中，我们提出了一种反应性测试工具，用于检查符合度，生成测试套件并使用IOLT模型运行测试用例。我们的工具可以检查正在测试的实施（IUT）的行为是否符合其各自规范的行为。我们已经实现了经典的一致性关系\ ioco和基于普通语言的更一般的符合概念。此外，该工具在黑框测试设置中提供了测试套件的生成，以根据特定域查找IUTS的故障。我们还描述了一些案例研究，以探究该工具的功能，并突出对两种符合方法的比较分析。最后，我们提供了使用几种情况来评估工具性能的实验。
Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity over their developing process. Therefore model-based testing has been successfully applied over asynchronous reactive systems using Input Output Labeled Transition Systems (IOLTSs) as the basis. In this work we present a reactive testing tool to check conformance, generate test suites and run test cases using IOLTS models. Our tool can check whether the behavior of an implementation under test (IUT) complies with the behavior of its respective specification. We have implemented a classical conformance relation \ioco and a more general notion of conformance based on regular languages. Further, the tool provides a test suite generation in a black-box testing setting for finding faults over IUTs according to a specific domain. We have also described some case studies to probe the tool's functionalities and also to highlight a comparative analysis on both conformance approaches. Finally, we offer experiments to evaluate the performance of our tool using several scenarios.
