一种面向异步反应系统的基于模型的测试工具
软件工程
2020-11-03 v1
摘要
反应系统的特征在于与环境的交互，其中输入与输出激励的交换通常是异步发生的。此类系统一般需要在其开发过程中进行严格的测试活动。因此，基于模型的测试已成功应用于使用输入输出标记迁移系统 (IOLTSs) 作为基础的异步反应系统。在本工作中，我们提出一个反应式测试工具，用于使用 IOLTS 模型检查一致性、生成测试套件并运行测试用例。我们的工具可检查被测实现 (IUT) 的行为是否遵从于其相应规约的行为。我们实现了经典的 \ioco 一致性关系以及一种基于正则语言的更广义一致性概念。此外，该工具在黑盒测试设定下提供测试套件生成，以针对特定领域在被测实现上发现故障。我们还描述了一些案例研究以探查该工具的功能，并突出两种一致性方法的对比分析。最后，我们给出了使用多种场景评估工具性能的 experiments。
引用
@article{arxiv.2011.00389,
title = {A Model-Based Testing Tool for Asynchronous Reactive Systems},
author = {Adilson Luiz Bonifacio and Camila Sonoda Gomes},
journal= {arXiv preprint arXiv:2011.00389},
year = {2020}
}
备注
19 pages, 14 figures, 2 tables