一种用于测试工业控制系统的两阶段蜕变测试方法
软件工程
2022-08-22 v1 系统与控制
系统与控制
摘要
我们详细阐述了一种用于测试工业控制系统的蜕变测试方法。所提出的方法包括两个阶段：探索阶段（在此阶段中我们了解被测系统的故障模式）和利用阶段（在此阶段中将观察到的故障模式用于针对性测试）。我们的方法从系统的需求中提取蜕变关系和输入空间。用于测试的种子输入从系统的执行日志中提取，并用于自动生成源测试和后续测试。变异输入基于种子输入构建，并使用一组约束进行细化。该方法在一个位置控制系统上进行了示例验证，结果表明其能以更高的自动化水平有效发现故障。
引用
@article{arxiv.2208.09261,
title = {A Two-phase Metamorphic Approach for Testing Industrial Control Systems},
author = {Gaadha Sudheerbabu and Tanwir Ahmad and Filip Sebek and Dragos Truscan and Jüri Vain and Ivan Porres},
journal= {arXiv preprint arXiv:2208.09261},
year = {2022}
}