随着软件在安全关键领域的广泛应用，可信软件的研究成为可信计算研究中的一个重要内容。由于软件系统本身的复杂特性，如何使软件具有可信性的研究面临着巨大挑战。它要求人们对软件系统开发和运行等规律有更深入的认识，也关系到人们在信息社会对信息基础设施的依赖和可信程度。 软件工程以提高软件生产率和软件质量为目标，而软件测试技术通过执行软件来判断软件是否具备所期望的性质，是可信软件评估的重要环节之一。尤其是对安全关键性软件，软件测试技术面临重大挑战。本文围绕可信软件工程中的可信性测试模型、测试方法展开了研究。由于可信性包含众多属性，本文主要对其中的可靠性及防危性的测试模型和相关测试技术进行研究。 针对可信软件的可靠性测试问题，本文首先对相关的可靠性测试模型进行了分析，鉴于马尔可夫链能够描述软件系统控制转移的动态特性，以马尔可夫分析方法作为理论基础，研究了基于马尔可夫分析方法的可信软件的可靠性建模问题。针对模块化的可信软件系统，综合模块自身的可靠性和模块闻的转移调用对其在系统中的重要程度这两个方面，分别定义了模块的可靠性函数和模块在系统中重要程度的函数，并给出了系统可靠性的建模方法和相关函数。最后根据这种建模方法，设计了相关的测试用例。 针对可信软件的防危性测试问题，本文研究了一种基于重要性采样原理的防危性测试方法。根据可信软件失效危险严重性等级的不同，选择了适当的防危性评估指标，提出了一种改进的基于关联风险剖面的防危性测试模型，设计出了测试所需测试用例。 最后，以一个具体应用为实例，对上述模型和方法进行了验证，并对结果进行了相应的分析。