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

• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: UML顺序图 安全因子 最小安全因子路径 测试用例自动生成 安全苛求系统
• 年，卷（期）: 2009,（28）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 75-78
• 页数: 4页
• 分类号: TP311
• 字数: 4234字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.28.022

摘要

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