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

doi:10.3778/j.issn.1002-8331.2009.28.022

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (28): 75-78.DOI: 10.3778/j.issn.1002-8331.2009.28.022

• 研发、设计、测试 • Previous Articles Next Articles

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

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

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

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

通讯作者: 周绍君

Abstract

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

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

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

CLC Number:

TP311

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，2，李弋强¹，吴剑¹. 面向安全需求的测试用例自动生成技术研究[J]. 计算机工程与应用, 2009, 45(28): 75-78.

[1]	ZHANG Shiqi, WEI Feifei, FAN Xinyue. Model of Secure Routes Selection Influenced by Weather and Traffic Accidents [J]. Computer Engineering and Applications, 2021, 57(10): 246-251.
[2]	PENG Liqiang1，YIN Junwen2，WANG Fei1，3. Real-time scheduling model of fuzzy itemized tasks for non-traditional safety critical system [J]. Computer Engineering and Applications, 2011, 47(27): 55-59.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 2

Recommended Articles

Metrics