摘要：

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

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