10.3969/j.issn.1007-130X.2005.03.022
基于重要抽样的软件统计测试加速
本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.同时,本文给出了计算优化迁移概率的模拟退火算法.实验仿真结果表明,该方法可以有效地提高安全攸关软件统计测试的效率.
统计测试、重要抽样、可靠性估计、模拟退火
27
TP311.5(计算技术、计算机技术)
国家自然科学基金90104007,60233020;国家高技术研究发展计划863计划2001AA113202,2001AA113190
2005-03-24(万方平台首次上网日期,不代表论文的发表时间)
共4页
64-66,110