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

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