随着软件应用的日益广泛,人们对于软件的质量要求也越来越高,软件可靠性是最重要的软件质量特征。在软件可靠性研究中影响软件可靠性的因素很多,主要包括四点:软件的内在固有特性、软件的测试条件、软件失效数据以及人为因素。因此研究人员不得不对各种因素进行取舍、简化和限制,以此作为建立数学模型和进行可靠性预计的基础。基于不同的假设和研究问题的出发点,人们提出不同的软件可靠性预计模型。主要包括J-M模型、S-W模型、Nelson模型、Littlewood-Verrall模型、Musa执行时间模型、G-O非齐次Poisson过程模型、NHPP模型和超几何模型等。但是在众多的软件可靠性模型中,目前尚没能广泛应用的软件可靠性模型,原因在于假设是软件可靠性模型建立的主要依据,而现有的模型的理想的假设与实际的软件开发过程有较大的差异。经典的可靠性模型(包括J-M模型和G-O模型)排错过程是理想的,没有考虑各种实际情况。实际的排错过程并不是完美的,错误排除需要时间,且不可能完全排除,排错过程可能引入新的错误,错误排除率和错误引入率均是随时间变化的递减函数,软件的测试剖面与运行剖面不一致等等。本文针对这些排错过程的实际情况,对Xuemei Zhang等人提出的软件可靠性模型进行改进,提出新的假设,建立改进的新模型,给出模型的一般表达形式。并对改进后模型的一个特例模型的拟合预测能力通过两组公开发表的失效数据进行仿真分析比较,最终验证了改进的考虑非理想排错过程的软件可靠性模型的优越性,更符合现实的软件可靠性活动过程。