基于关联风险剖面的软件防危性增长测试

Journal of Systems Engineering and Electronics ›› 2009, Vol. 31 ›› Issue (3): 686-690.

基于关联风险剖面的软件防危性增长测试

覃志东, 刘晓强, 王洪亚, 乐嘉锦

东华大学计算机科学与技术学院嵌入式系统研究所, 上海, 201620

收稿日期:2007-10-11 修回日期:2008-04-29 出版日期:2009-03-20 发布日期:2010-01-03
作者简介:覃志东(1974- ),男,副教授,博士,主要研究方向为实时计算,嵌入式系统技术与软件可靠性工程.E-mail:qinzhidong@gmail.com
基金资助:
上海市科技攻关计划项目(06DZ150003);东华大学青年教师基金(112-10-0044056);上海申通地铁集团项目(KY-07-025)资助课题

Software safety growth testing method based on correlative risk profile

QIN Zhi-dong, LIU Xiao-qiang, WANG Hong-ya, LE Jia-jin

Inst. of Embedded Systems, School of Computer Science & Technology, Donghua Univ., Shanghai 201620, China

Received:2007-10-11 Revised:2008-04-29 Online:2009-03-20 Published:2010-01-03

摘要/Abstract

摘要： 针对软件防危性增长测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,依据重要性取样的统计学原理,结合软件防危性分析,建立了一套集构建软件关联风险剖面、依照关联风险剖面产生测试用例为一体的软件防危性增长测试方法,并给出了测试停止标准。从理论上讲,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。

Abstract: Considering that the object of software safety growth testing is to reduce the risk of accident resulted by software failures sharply,a software safety growth testing method based on the correlative risk profile is presented.In addition,the procedure of constructing the risk profile according to the importance sampling thinking and software safety analyzing methods,as well as the testing cases generating method,is depicted in detail.Finally,the software safety growth testing stopping rule is given.In theory,the method provided above is effective to reduce the software accident risk.

中图分类号:

TP301.6

覃志东, 刘晓强, 王洪亚, 乐嘉锦. 基于关联风险剖面的软件防危性增长测试[J]. Journal of Systems Engineering and Electronics, 2009, 31(3): 686-690.

QIN Zhi-dong, LIU Xiao-qiang, WANG Hong-ya, LE Jia-jin. Software safety growth testing method based on correlative risk profile[J]. Journal of Systems Engineering and Electronics, 2009, 31(3): 686-690.

[1]	路复宇, 童宁宁, 冯为可, 万鹏程. 自适应杂交退火粒子群优化算法[J]. 系统工程与电子技术, 2022, 44(11): 3470-3476.
[2]	闫世瑛, 颜克斐, 方伟, 陆恒杨. 基于差分进化邻域自适应的大规模多目标算法[J]. 系统工程与电子技术, 2022, 44(7): 2112-2124.
[3]	汤安迪, 韩统, 徐登武, 周欢, 谢磊. 使用高斯分布估计策略的改进樽海鞘群算法[J]. 系统工程与电子技术, 2022, 44(7): 2229-2240.
[4]	庞维建, 李辉, 黄谦, 李朋, 马贤明. 基于本体的无人系统任务规划研究综述[J]. 系统工程与电子技术, 2022, 44(3): 908-920.
[5]	马威强, 高永琪, 赵苗. 基于全局最优和差分变异的头脑风暴优化算法[J]. 系统工程与电子技术, 2022, 44(1): 270-278.
[6]	丁嘉辉, 汤建龙, 于正洋. 轻量化的增量式集成学习算法设计[J]. 系统工程与电子技术, 2021, 43(4): 861-867.
[7]	刘家义, 岳韶华, 王刚, 姚小强, 张杰. 复杂任务下的多智能体协同进化算法[J]. 系统工程与电子技术, 2021, 43(4): 991-1002.
[8]	徐涛, 吴志帅, 卢敏, 吕宗磊, 李忠虎. 面向拥堵问题的枢纽航线网络优化模型[J]. 系统工程与电子技术, 2020, 42(11): 2553-2559.
[9]	姚智海, 刘建平, 王建平, 李伟, 任勃. 地面测控资源调度效能评估指标体系[J]. 系统工程与电子技术, 2020, 42(8): 1751-1758.
[10]	刘家义, 岳韶华, 王刚, 张杰, 姚小强. 多平台分布式协同作战下基于MPC-MAS的指挥控制模型设计[J]. 系统工程与电子技术, 2020, 42(7): 1582-1589.
[11]	孙胜祥, 韩霜. 基于双层决策的装备订购多因素激励定价模型与算法[J]. 系统工程与电子技术, 2020, 42(6): 1338-1347.
[12]	李慧贤, 庞辽军, 蔡皖东. 基于信息熵对遗传算法中杂交概率的研究[J]. Journal of Systems Engineering and Electronics, 2009, 31(7): 1743-1745.
[13]	邹益民, 汪渤. 基于量子遗传算法的滤波器参数优化[J]. Journal of Systems Engineering and Electronics, 2009, 31(6): 1346-1349.
[14]	尚政国, 赵春晖, 汤春瑞, 刘金梅. 基于无“缠绕”FRIT目标边缘检测方法[J]. Journal of Systems Engineering and Electronics, 2009, 31(5): 1198-1203.
[15]	周康, 覃磊, 同小军, 许进. 0-1规划问题的闭环DNA算法[J]. Journal of Systems Engineering and Electronics, 2009, 31(4): 947-951.