| 本文已被：浏览 6339次 下载 9508次 |
码上扫一扫！ |
|
|
| 软件可靠性评估的重要抽样方法 |
|
张德平1,2, 聂长海3,4, 徐宝文1,3,4
|
|
1.东南大学 计算机科学与工程学院,江苏 南京 210096;2.南京航空航天大学 理学院,江苏 南京 210016;3.南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093;4.南京大学 计算机科学与技术系,江苏 南京 210093
|
|
| 摘要: |
| 基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概率来修正测试剖面.从理论上证明了利用修正测试剖面测试估计的可靠性是方差为0的无偏估计.最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法.仿真结果表明,该方法与模拟退火算法相比,能够明显降低估计的方差,在提高估计精度的同时加快统计测试速度. |
| 关键词: 软件可靠性 统计测试 马尔可夫使用模型 重要抽样 交叉熵方法 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60773104, 60721002, 90818027 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2008AA01Z143, 2009AA01Z147 (国家高技术研究发展计划(863)) |
|
| Importance Sampling Method of Software Reliability Estimation |
|
ZHANG De-Ping,NIE Chang-Hai,XU Bao-Wen
|
| Abstract: |
| This paper proposes an effective method for computing optimal state transition probabilities for software reliability estimation based on a Markov usage model. This method uses Cross-Entropy to measure the differences between the operational profile and the sampling distribution with zero variance. By adjusting the probabilities of state transitions during test, an iterative method based on the Cross-Entropy is proposed for this choice, and an unbiased reliability estimator with zero variance is obtained. Simulation results show that the testing profile with Cross-Entropy method performs significantly better than the simulated annealing algorithm. Moreover, this strategy can more effectively accelerate software statistical testing. |
| Key words: software reliability statistical testing Markov usage model importance sampling cross-entropy method |
