面向安全需求的测试用例自动生成技术研究

作者：周绍君 徐中伟 喻钢 李弋强 吴剑uml顺序图安全因子最小安全因子路径测试用例自动生成安全苛求系统

摘要：传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社