| 面向安全需求的测试用例自动生成技术研究 |
| |
| 引用本文： | 周绍君,徐中伟,喻钢,李弋强,吴剑. 面向安全需求的测试用例自动生成技术研究[J]. 计算机工程与应用, 2009, 45(28): 75-78. DOI: 10.3778/j.issn.1002-8331.2009.28.022 |
| |
| 作者姓名： | 周绍君 徐中伟 喻钢 李弋强 吴剑 |
| |
| 作者单位： | 同济大学,电子与信息工程学院,上海,201804;同济大学,电子与信息工程学院,上海,201804;上海大学,悉尼工商学院,上海,201800 |
| |
| 摘 要： | 传统的测试用例生成技术通常都是面向系统功能性需求，并不适用于安全苛求软件系统的安全性测试。面向安全需求，通过定义安全因子，建立带有安全因子的UML顺序图，采用最小安全因子路径，提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法，并将其成功应用到高速铁路列车运行控制系统的仿真测试中。
|
| 关 键 词： | UML顺序图 安全因子 最小安全因子路径 测试用例自动生成 安全苛求系统 |
| 收稿时间： | 2009-03-31 |
| 修稿时间： | 2009-5-25 |
Research of auto-generation techniques for safety requirement oriented test case |
| |
| ZHOU Shao-jun,XU Zhong-wei,YU Gang,LI Yi-qiang,WU Jian. Research of auto-generation techniques for safety requirement oriented test case[J]. Computer Engineering and Applications, 2009, 45(28): 75-78. DOI: 10.3778/j.issn.1002-8331.2009.28.022 |
| |
| Authors: | ZHOU Shao-jun XU Zhong-wei YU Gang LI Yi-qiang WU Jian |
| |
| Affiliation: | 1.School of Electronics and Information，Tongji University，Shanghai 201804，China 2.School of Sydney Business，Shanghai University，Shanghai 201800，China |
| |
| Abstract: | The traditional technique for test case generation is usually function requirement oriented，however，it isn’t applicable for safety testing.A new algorithm for generating test case automatically is proposed.It is safety requirement oriented.By means of defining safety factor and creating the sequence diagram of UML with safety factor，test case is generated based on the least safety factor path coverage criteria.The proposed means has been adopted in simulation testing of train control system. |
| |
| Keywords: | sequence diagram of UML safety factor least safety factor path automatic test case generation safety critical system |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
