Ada软件温度与认证模型及支持系统

首先讨论了Ａｄａ软件测试与认下模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构，功能和特点。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

航天飞控中心软件再工程方法与实践

从软件再工程的基本概念和模型入手,首先说明了航天飞控中心软件再工程的目标和意义,然后结合测控应用软件的特点,讨论了为保障功能、质量、开发周期等要求可以采取的再工程策略方法。文中还分析总结了作为航天指控中心首次软件再工程实践的“某应急控制系统”软件开发经验,对如何更加有效提高软件质量和融合新兴技术提出了观点。     

ATC系统测试方法研究与实现

软件测试是保证软件质量的最重要的手段，它代表了规约、设计和编码的最终评审。空中交通管制系统除了满足功能上的需求外，还必须满足时间约束，所以要搭建特殊的测试环境，以保证其实时性要求。     

Ada软件测试结果分析与可视化（TRAV）

论述了Ａｄａ软件测试结果分析系统的功能，它的方案设计以及界面风格，此系统是集成化的Ａｄａ软件测试与分析系统中的主要工具之一，它不仅能够帮助用户分析与测试软件系统，还能对软件系统的理解和维护提供有力的支持。     

基于质量控制的过程——软件开发规范

探讨了软件开发规范及其实施效果的评定方法 ,研究了软件开发过程控制的控制点和要求、软件技术状态控制的要求和软件质量控制的方法及要求 ,分析了存在的问题 ,提出了解决的方法 ,旨在以闭环控制方式 ,使开发的软件质量严格受控。     

趋向性分析在软件可靠性模型中的应用

软件可靠性是软件质量因素中最基本、最重要的质量因素。软件可靠性的定量评估主要是通过软件可靠性模型来实现的，软件可靠性模型的有限假设与软件及其故障数据的复杂的离散性，是两个客观存在的矛盾，这种矛盾的存在是造成软件可靠性模型定量评估不精确的主要原因。正基于此，本文提出了软件可靠性的趋向性分析，为在不同的条件和阶段下选择和使用软件可靠性模型提供了定量依据。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

基于遗传算法的软件结构测试数据生成技术研究

首先介绍了软件结构测试数据生成的研究现状，然后探讨了用遗传算法解决该问题的方法和技术，在上述研究成果的基础上，已开发了一个用遗传算法实现最优搜索，生成测试数据的工具原形，初步实验表明该方法是有效的可行的。