基于部分 FSM 模型的有效灰盒测试
软件工程
2021-06-29 v1
摘要
针对部分、非确定有限状态机，提出了一种称为强归约（strong reduction）的新一致性关系。它补充了其他现有的一致性关系，因为该新关系非常适合于对输入根据系统实际状态被启用或禁用的系统进行基于模型的测试。此类系统的例子有图形用户界面以及以机械方式可启用或禁用接口的系统。我们提出了一种新的测试生成算法，为强归约生成完备测试套件。这些套件依据灰盒测试范式执行：假设在执行测试期间可识别依赖于状态的启用输入集合，而实现状态保持隐藏，如同黑盒测试一样。研究表明，生成算法利用了该灰盒信息，使得所得到的最好情况测试套件规模仅与参考模型的状态空间规模呈线性关系。此外，示例表明，与针对强归约的真黑盒测试相比，这可能会显著减小测试套件规模。
引用
@article{arxiv.2106.14284,
title = {Effective grey-box testing with partial FSM models},
author = {Robert Sachtleben and Jan Peleska},
journal= {arXiv preprint arXiv:2106.14284},
year = {2021}
}