检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]衢州学院信息与电子工程系,浙江衙州324000 [2]北京航空航天大学计算机科学与工程学院,北京100083
出 处:《计算机应用与软件》2009年第3期147-148,178,共3页Computer Applications and Software
摘 要:给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题。实例仿真结果表明,该方法可以有效地提高软件可靠性关键操作的测试效率。In safety-critical system,not only the software reliability often needs too much time in statistical test,but also critical operations often test not enough and cost very high. This paper describes the method of software reliability accelerated test based on Markov link usage model, which uses the method of stratified sampling and importance sampling. It partially resolves the above problems provided that the unbiased estimation of software reliability is derived from the statistical test results which ameliorate the efficiency of the safety-critical software testing effectively. A case study of simulation shows that this method can effectively improve the test efficiency of the software reliability in key operations.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3