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

doi:10.3778/j.issn.1002-8331.2009.28.022

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (28): 75-78.DOI: 10.3778/j.issn.1002-8331.2009.28.022

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

周绍君¹，徐中伟¹，喻钢^1，2，李弋强¹，吴剑¹

1.同济大学电子与信息工程学院，上海 201804
2.上海大学悉尼工商学院，上海 201800

收稿日期:2009-03-31 修回日期:2009-05-25 出版日期:2009-10-01 发布日期:2009-10-01
通讯作者: 周绍君

Research of auto-generation techniques for safety requirement oriented test case

ZHOU Shao-jun¹，XU Zhong-wei¹，YU Gang^1，2，LI Yi-qiang¹，WU Jian¹

1.School of Electronics and Information，Tongji University，Shanghai 201804，China
2.School of Sydney Business，Shanghai University，Shanghai 201800，China

Received:2009-03-31 Revised:2009-05-25 Online:2009-10-01 Published:2009-10-01
Contact: ZHOU Shao-jun

摘要/Abstract

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

关键词: UML顺序图, 安全因子, 最小安全因子路径, 测试用例自动生成, 安全苛求系统

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.

Key words: sequence diagram of UML, safety factor, least safety factor path, automatic test case generation, safety critical system

中图分类号:

TP311

周绍君¹，徐中伟¹，喻钢^1，2，李弋强¹，吴剑¹. 面向安全需求的测试用例自动生成技术研究[J]. 计算机工程与应用, 2009, 45(28): 75-78.

ZHOU Shao-jun¹，XU Zhong-wei¹，YU Gang^1，2，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.

[1]	沈晴，牟永敏. 函数调用路径测试用例自动生成的方法研究[J]. 计算机工程与应用, 2020, 56(18): 238-246.
[2]	张舒青，徐中伟，陈祖希. 基于项重写系统的联锁系统模型检测方法研究[J]. 计算机工程与应用, 2014, 50(3): 49-54.
[3]	刘畅，阮镰，刘斌，蒋崇武. 异构软件体系结构的可靠性模型[J]. 计算机工程与应用, 2009, 45(21): 1-4.

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

Research of auto-generation techniques for safety requirement oriented test case

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics