工程重构过程的质量控制

本文从软件开发过程、软件验证与测试、软件配置管理等方面探讨了如何对工程重构过程进行质量控制和管理。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

软件测试软环境的构建与优化

软件测试是软件质量保证的一个重要组成部分,除了要具备一定的客观条件外,还受到许多主观因素特别是测试人员、组织和管理等方面的影响。在对这些主观因素以及软件测试软环境的构成与优化作了一些研究和探讨后,提出了一些可行性建议。     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

基于CMMI的软件测试项目过程管理

针对独立的第三方软件测试项目特点,运用基于CMM I的软件项目管理方法,将需求管理、测试项目策划、项目监督与控制、质量保证和配置管理要求贯彻在软件测试过程中,给出了软件测试项目过程管理解决方案。该方案保证了软件测试项目的质量,提高了测试项目的技术水平和管理水平。     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

嵌入式软件仿真测试环境实时脚本技术的研究

针对嵌入式软件仿真测试环境中,测试脚本对激励数据的实时控制和结果数据的实时收集的问题,研究并实现了一种嵌入式软件仿真测试环境中的实时脚本技术,给出了实时脚本设计实现的方法,并通过实例验证了实时脚本技术的有效性。