基于先验信息动态整合的软件可靠性验证仿真  

Software Reliability Verification Simulation Based on Dynamic Integration of Prior Information

作　　者：贾俣 梅芳[2] 孙鹏[3] JIA Yu;MEI Fang;SUN Peng(Department of Investigation,Fujian Police College,Fuzhou Fujian 350007,China;School of Computer and Information,Jiangxi Agricultural University,Nanchang Jiangxi 330045,China;School of Public Security Information Technology and Intelligence,Criminal Investigation Police University of China,Shenyang Liaoning 110854,China)

机构地区：[1]福建警察学院侦查系,福建福州350007 [2]江西农业大学计算机与信息学院,江西南昌330045 [3]中国刑事警察学院公安信息技术与情报学院,辽宁沈阳110854

出　　处：《计算机仿真》2023年第10期377-380,430,共5页Computer Simulation

摘　　要：高度复杂的软件嵌入到系统时,会因为多种因素影响出现软件失效的问题,给系统造成严重破坏,为解决以上问题,提出复杂软件可靠性验证测试方法。采用运行剖面方法对复杂软件可靠性验证测试用例实施分配和选择,获取效率高的测试用例,达到提升软件可靠性验证测试有效性的目的;以此为基础开展基于先验信息动态整合的软件可靠性验证测试,依据测试结果进一步实施失效概率置信度分析,确保实现可靠性验证测试时,失效次数低于接收次数,完成最终测试。仿真结果表明,通过对该方法开展验证耗时及可靠性验证对比,表明上述方法的可信性高、有效性强。When highly complex software is embedded into a system,it can cause software failures or serious damage to the system.As a result,a method of testing the reliability of complex software was put forward.Firstly,the operational profile was used to allocate and select reliability verification test cases of complex software,thus improving the effectiveness of the verification test.On this basis,a software reliability verification test based on dynamic integration of prior information was carried out.Based on the test results,the confidence analysis of failure probability was further implemented to ensure that the number of failures was less than the number of acceptances during the reliability verification test.Finally,the test was completed.Simulation results show that this method has high credibility and effectiveness by reliability verification.

关 键 词：复杂软件 可靠性验证测试 运行剖面 先验信息动态整合 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]