进入后PC 时代,IT 技术得到进一步的发展。计算机技术已经渗透到越来越多的领域,特别是航空、航天、国防、交通、通讯、金融、医疗等关系国计民生的关键部门。在这些领域中,软件系统规模庞大,逻辑复杂,其可靠性和安全性往往有很高的要求。因此,研究如何保证并提高软件产品的质量和可靠性已成为计算机科学的一个重要领域。　针对当前软件可靠性工程领域面临的主要问题,本文在以下几个方面进行了深入的研究:　1 软件可靠性测试方法的研究。主要研究了两种传统的软件可靠性测试方法,并比较和分析了其存在的不足和缺陷。本文在此基础上利用作为工业标准的UML建模语言,探讨并给出了一种基于UML模型的统计测试方法。2 软件可靠性评价技术的研究。讨论了基于软件可靠性模型的传统评价方法在应用中的局限性。本文通过研究基于假设检验的可靠性评价方法,并在其基础上做出改进,提出了一种基于贝叶斯理论的可靠性评价方法。3 实时软件的可靠性评价技术的研究。实时多任务系统中,任务具有不同的运行时间比例、故障率等,对整个系统的可靠性影响不一样。本文建立了一种基于任务模块的实时软件可靠性评价模型,试图模拟这一特点。最后本文研究了实现软件自动化测试的关键技术,提出了一种自动化软件可靠性测试与评价的框架(SATRETools),并将上述理论研究应用到该框架的设计中。论文中软件可靠性测试与评价技术的探讨与实验,对软件可靠性保障技术的进一步研究具有一定的参考价值。