Ada软件测试与认证模型及支持系统

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

遗传算法在软件测试数据生成中的应用

测试数据生成是软件测试中的关键环节，它的实现对于软件测试过程的自动化具有重要意义．本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术，其中讨论了编码策略、评价函数构造及插装等问题的解决方案，并重点说明了如何对遗传算子进行改进，使算法在解决本问题时更加有效．实验数据证明该方法是高效的．

软件质量评价技术

首先分析了传统软件质量评价过程模型的不足 ,提出了可操作性更强的软件质量评价过程模型 .在此基础上 ,明确提出了以软件度量为基础、软件质量预测模型为依托、基于用户评测历史信息库的预测模型调整技术为优化手段的完整软件质量评价体系 。

遗传算法及其在软件测试数据生成中的应用研究

文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后，介绍了一个实用的Ada软件测试数据生成工具——TCAG。

软件构件质量度量

基于软件质量标准ISO/IEC9126:2001《软件工程产品质量》,探讨了软件构件的质量度量问题,首次提出了完整的软件构件质量模型:外部和内部质量模型以及使用质量模型,为度量软件构件质量提供了新的方法。最后以外部易组装性度量为例,给出了软件构件质量度量的量化方法。

软件构件的可复用性质量度量

依据国家信息产业部有关制定构件质量度量标准的要求,研究并提出了对软件构件可复用性有着直接影响的六个子特性(接口成熟性、独立性、易组装性、通用性、演化兼容性和可复用依从性)以及软件构件可复用性质量度量和构件可信度使用质量度量方案,并给出了它们相应的度量元素和量化方法。

基于UML用例图与顺序图模型的操作剖面构造

探讨了由面向对象用例模型构造操作剖面的可行性 ,结合一个实例 ,详细介绍基于统一建模语言UML(UnifiedModelingLanguage)的用例图和顺序图构造操作剖面的具体方法 ,并对基于UML用例图和顺序图构造操作剖面方法的有效性进行了分析 .结果表明 ,将操作剖面构造与软件系统建模相结合 ,可大大简化构造过程 。

集成化过程工程环境及其体系结构

现代化的企事业是一个极其复杂的集成化的人机系统，其内部运作需要基于计算机的应用系统的支持．因此本文讨论了一个以过程工程为核心的，将过程工程和软件工程融合为一体的集成化过程工程环境ＩＰＥＥ，提出了以过程模型为中心的ＩＰＥＥ的总体结构，并设计了分布式的过程运作环境的体系结构．

Ada软件测试用例生成工具

软件测试是软件开发过程的一个重要环节，它的主要工作是测试用例的选择．由于人为地选择测试用例带有很大的盲目性和倾向性，因此开发一个能够自动生成测试用例的工具是十分必要的．本文阐述了软件测试用例生成的一些概念和方法，重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用。

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

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

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于基元关系模型的VC ++6.0程序静态分析器 .对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍 .实践证明 ,该分析器可以高效正确地提取出模型中描述的各种关系 。

IPEEE结构化图形支持工具的研究与实现

由于图形信息一目了然，几乎所有科学和工程技术领域都采用了可视化技术。本文首先描述了集成化过程工程环境ＩＰＥＥ的组成及系统结构和可视化过程建模语言ＶＰＭＬ的基本特点，然后详细介绍了该环境的图形支持工具结构化图形编辑器的生成工具ＳＧＥＧ。

上下文无关文法测试充分性

讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 .

应用遗传算法自动生成测试数据的实验分析

将遗传算法应用于覆盖指定路径的测试数据生成已得到了广泛的研究.具体实现中,影响测试数据生成效率的因素很多,如先验知识,GA参数,路径复杂度等.本文在简要介绍应用GA生成测试数据的关键技术后,设计实验分析了影响测试数据生成的部分因素,并据此得出了一些结论.

ADA程序通信死锁的动态检测方法

针对ＡＤＡ并发多任务程序的特点，文中提出一个新的ＡＤＡ程序动态死锁检测方案，并且在这个理论的基础上实现了一个动态死锁测试工具ＤＤＴＴ（ｄｙｎａｍｉｃｄｅａｄｌｏｃｋｔｅｓｔｉｎｇｔｏｏｌ）．此工具能够正确检测ＡＤＡ多任务程序由于通信关系不当而造成的死锁．文中详细介绍了动态死锁测试工具ＤＤＴＴ所依赖的全部概念及判定规则，以及它的工作原理．

软件质量度量元的理想取值区间反推技术

针对软件质量度量元理想取值区间难以确定的问题，指出在推导一个度量元的理想取值区间时，应结合特定的（用户关心的）外部质量指标进行考虑，研究并提出了基于正交设计思想的度量元理想取值区间反推技术，该技术能够量化地给出度量元的理想取值区间，初步解决了度量元质量需求定义的问题。

软件质量评测系统的系统集成与用户界面设计

系统集成关系到一个大型软件能否成功构建，用户界面则在很大程度上决定了系统能否为用户所接受。可见，系统集成与界面设计是决定一个软件系统成功与否的重要因素。文章将对软件质量评测系统（SQEvaluate）的上述两方面问题进行讨论。

基于组装的过程工程环境

描述了一个基于组装的过程工程环境．该环境包括过程定义、过程实例化、过程模拟、过程运作４个部分，采用了基于组装的过程建模方法，能够对可重用过程库中的过程部件进行组装，生成新的过程模型。

静态检测Ada任务死锁的Petri网方法

文中提出了一种利用Ｐｅｔｒｉ网对Ａｄａ任务静态检测其死锁的方法．在检测时，首先建立Ａｄａ程序各单元的Ａｄａ网，再根据程序中各单元的关系将Ａｄａ网组装成完整的Ａｄａ网，然后对其作可达性分析来检测死锁．本文介绍了Ａｄａ网的建立和组装方法，对Ａｄａ网的特点作了理论上的分析。

用遗传算法实现软件结构测试数据的自动生成

软件结构测试数据的自动生成是实现软件测试自动化的关键,这一技术的实现可大大节省用于软件开发的时间和费用,因而意义十分重大,本文首先阐述了软件结构测试、按路径生成结构测试数据等基本概念,然后就目前按路径生成结构测试数据的两种主要方法——符号执行和程序直接执行进行了论述和比较。接下来本文着重介绍了采用遗传算法作为搜索策略来解决软件结构测试数据自动生成的思路和方法及在实现上的技术问题。最后本文用一个示例就系统的工作过程做了进一步说明。实验证明,此方法是有效的、可行的。