本文研究了软件可靠性测试的建模问题以及测试策略问题，主要进行了两个方面的工作。一是建立了非完善剔除的软件测试机制下的软件可靠性测试框架；二是研究了动态最优软件发布策略。具体内容如下：　　 1.在文献[8]和[9]的基础上，我们加入了非完善剔除的假设机制。在此机制下，模型剩余缺陷个数以及累积失效次数等指标的分析方法与文献[8]和[9]的方法不尽相同。第二章与第三章的主要区别在于前者假设每个测试用例执行完后发现失效的概率与当前缺陷个数成正比，而后者假设在执行测试用例的时候发现失效的速率与当前缺陷个数成正比。由此导致两个模型的分析手段和分析内容互不相同。在非完善剔除的机制下，我们分别分析了两个模型的软件剩余缺陷个数、累积失效次数等指标的期望行为以及其他软件可靠性指标的性质。　　 2.我们考虑如何根据测试情况动态确定软件发布时间的问题。测试人员在测试过程中，面临三个选择：一是继续测试，二是停止测试将软件发布，三是停止测试将软件报废。我们推导出了最优费用函数的Hamiltion-Jacobi-Bellman方程，并通过一个新颖的方法证明最优函数关于缺陷个数的凹性，由此得出最优测试的阈值结构：对于任意时刻，当缺陷个数小于某个值时将软件发布，当缺陷个数大于另外某个值时将软件报废，而当缺陷个数介于这两个值之间时继续测试。