轻松故障定位：Ecdar 中实时系统的符合性测试
软件工程
2018-09-12 v1 计算机科学中的逻辑
摘要
实时系统的模型检测多年来不断发展。近来，使用定时 I/O 自动机的模型检测器 Ecdar 被用于进行组合验证。然而，为了将实时系统的模型检测完全整合进工业开发，我们需要一种高效可靠的方法来测试此类系统是否符合其对应模型。因此，我们提出 Ecdar 的一个扩展，将符合性测试集成到一个新的 IDE 中，该 IDE 现在具备建模、验证与测试功能。这一新工具使用基于模型的变异测试，仅需模型和被测系统，即可定位故障并证明某些类型故障的不存在性。它支持使用实时或模拟时间进行测试。它将测试用例生成与测试执行并行化以提供显著加速。我们还引入了新的变异算子，提升检测和定位故障的能力。最后，我们用包含 140 个故障系统的案例研究进行验证，Ecdar 检测出了所有故障。
引用
@article{arxiv.1809.03889,
title = {Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar},
author = {Tobias R. Gundersen and Florian Lorber and Ulrik Nyman and Christian Ovesen},
journal= {arXiv preprint arXiv:1809.03889},
year = {2018}
}
备注
In Proceedings GandALF 2018, arXiv:1809.02416