软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

嵌入式软件的分布式仿真测试环境支撑系统的实现

分布式仿真测试环境在嵌入式软件的测试中有着重要的作用。首先给出了分布式仿真测试环境的概念及其任务分析和开发模式，然后提出了通过实现仿真测试环境的支撑系统来实现仿真测试环境的方法，并且给出了构建支撑系统的具体实现方案。     

基于TCSP的实时软件体系结构描述语言的实现

在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说明的要求。     

软件测试用例生成中的前置条件分析

在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例.结果表明对前置条件的研究能够促进测试用例的自动化生成过程.