本文对软件测试和软件可靠性理论进行了研究和分析，并结合作者的软件开发和测试实践，主要研究了以下几个方面：分析了面向对象程序的特点对软件测试的影响，并对两种开发规范的软件测试进行了对比探讨；从两种角度（程序实现和程序规约）对软件测试用例的设计进行了详细研究；对基于Z规格说明的软件测试用例自动生成方法提出自己的观点、建议和改进办法；详细讨论了自动测试工具需求分析和选择准则确定过程，并对这个多准则排序选优问题，给出了AHP建模和求解方法：研究了软件失效时间的压缩因子算法以及并行测试时间合并的处理问题；提出了TAGGING模型的图形求值方法和其扩展模型；在对SRGM评价准则研究的基础上详细研究了软件可靠性模型的组合问题；最后，给出了软件可靠性决策支持系统的设计模型和实现方法。