基于加速剖面的软件防危性验证测试方法  

Software Safety Demonstration Test Method Based on Accelerating Profile

作　　者：覃志东[1] 蔡勇[2] 王洪亚[1] 刘晓强[1] 

机构地区：[1]东华大学计算机科学与技术学院,上海201620 [2]华东计算技术研究所,上海200233

出　　处：《计算机工程》2008年第10期46-48,共3页Computer Engineering

基　　金：上海市科技攻关计划基金资助项目(06DZ150003);东华大学青年教师基金资助项目(112-10-0044056)

摘　　要：在严格区分软件防危性和可靠性的基础上,提出一种基于加速剖面的软件防危性验证测试方法。该方法通过系统性的防危分析,构建软件加速剖面,根据重要性取样原理求得测试加速因子,能在减少测试代价的同时实现对软件防危性指标的高可信验证测试。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.

关 键 词：软件防危性 防危性验证 软件测试 加速剖面 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]