具有错误修复的非齐次马尔可夫模型

A NON-HOMOGENEOUS MARKOV MODEL WITH FAULT REPAIR

软件可靠性工程是对软件的质量 (特别是软件可靠性 )进行管理和控制的实用性学科 ,而软件可靠性模型又是软件可靠性工程的基础之一 .为了保证可靠性模型的估测精度 ,好的软件可靠性模型应该包括对测试覆盖的说明 ,并且能够反映软件的错误修复过程 .本文在基于测试覆盖的 NHPP模型的基础上 ,讨论一种能反映软件错误修复过程的非齐次马尔可夫模型 .它利用马尔可夫链处理错误不立即修复和错误不完全修复两种情况 。

Software reliability engineering is a course to control and manage software quality (in particular, software reliability). Software reliability model is one of the bases of software reliability engineering. To assure the precision of evaluations and predictions, a good software reliability model should have the function of describing test coverage and can reflect the fault repair process. In this paper, we firstly review the Non homogeneous Poisson Process (NHPP) model based on test coverage, and then discuss a Non homogeneous Markov model with fault repair. The model can deal with infinite time fault repair and imperfect fault repair by means of Markov chains, and can be used in operational phase.