基于重要抽样的软件统计测试加速

摘要：

本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.同时,本文给出了计算优化迁移概率的模拟退火算法.实验仿真结果表明,该方法可以有效地提高安全攸关软件统计测试的效率.

关键词：统计测试、重要抽样、可靠性估计、模拟退火

所属期刊栏目：27

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金90104007,60233020;国家高技术研究发展计划863计划2001AA113202,2001AA113190

在线出版日期：2005-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：64-66,110