检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:覃志东[1] 刘晓强[1] 王洪亚[1] 乐嘉锦[1]
机构地区:[1]东华大学计算机科学与技术学院嵌入式系统研究所,上海201620
出 处:《系统工程与电子技术》2009年第3期686-690,共5页Systems Engineering and Electronics
基 金:上海市科技攻关计划项目(06DZ150003);东华大学青年教师基金(112-10-0044056);上海申通地铁集团项目(KY-07-025)资助课题
摘 要:针对软件防危性增长测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,依据重要性取样的统计学原理,结合软件防危性分析,建立了一套集构建软件关联风险剖面、依照关联风险剖面产生测试用例为一体的软件防危性增长测试方法,并给出了测试停止标准。从理论上讲,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。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[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.145.180.18