摘要： 在严格区分软件防危性和可靠性的基础上，提出一种基于加速剖面的软件防危性验证测试方法。该方法通过系统性的防危分析，构建软件加速剖面，根据重要性取样原理求得测试加速因子，能在减少测试代价的同时实现对软件防危性指标的高可信验证测试。
关键词:
软件防危性,
防危性验证,
软件测试,
加速剖面
Abstract: A software safety demonstration test method based on the accelerating profile is developed on the basis of strictly distinguishing software safety and software reliability. This method includes the details of how to construct the accelerating profile by systematical software safety analysis. According to the method, the software safety target can be demonstrated confidently together with sharply reducing the testing cases size after the accelerating factor is derived by importance sample principle.
Key words:
software safety,
safety demonstration,
software test,
accelerating profile
中图分类号:
覃志东;蔡 勇;王洪亚;刘晓强. 基于加速剖面的软件防危性验证测试方法[J]. 计算机工程, 2008, 34(10): 46-48.
QIN Zhi-dong; CAI Yong; WANG Hong-ya; LIU Xiao-qiang. Software Safety Demonstration Test Method Based on Accelerating Profile[J]. Computer Engineering, 2008, 34(10): 46-48.