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

关键词：软件可靠性 软件质量 软件统计测试加速方法 抽样 软件开发 

单位：国防科技大学计算机学院; 湖南; 长沙; 410073