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

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

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

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

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

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

Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

计算机辅助涡轮泵可靠性分析与评估系统

介绍了一个用于液氢／液氧火箭发动机涡轮泵可靠性分析与评估的软件系统－－ＴＰＲＡＥ（Ｔｕｒｂｏｐｍｕｍｐ Ｒｅｌｉａｂｉｌｉｔｙ Ａｎａｌｙｓｉｓ ＆ Ｅｖａｌｕａｔｉｏｎ）。该系统中包括了以下几种可靠性算法：故障模式、影响及危害度分析、故障树分析、单元可靠性评估、系统可靠性综合。单元可靠性评估指数分布和Ｗｅｉｂｕｌ分布两种情形，系统可靠性综合分横向综合、纵向综合两类、ＴＰＲＡＥ是在ＢｏｒｌａｎｄＣ     

Ada语言重载的分析和处理

先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得工最终的惟一合法释义，最后给出了一个例子。     

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

一个汉语语法自动分析系统的结构及其软件系统的设计与实现

本文简要介绍了汉语语法自动分析系统BH-86的结构和它的软件系统的设计与实现。此软件系统提供了一个描述规则系统的专用语言BH-86L,可在机器上同时支持用此语言描述的几个规则系统,并提供了规则系统的管理、调试工具。     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

引入缺陷的细粒度软件变更识别方法

软件开发过程中,缺陷通过变更引入软件系统。为提高缺陷发现效率,降低人工审查成本,提出一种引入缺陷细粒度变更自动化识别方法。该方法基于机器学习分类思想,将细粒度变更作为实例,从时间、地点、内容、意图以及人员5方面构造特征集;采用程序静态分析与自然语言语义分析相结合的方法挖掘软件历史库,自动化构建细粒度变更实例;使用软件历史中的细粒度变更实例训练分类器,从而识别新的细粒度变更是否引入了缺陷。在实际软件系统上运用成本有效性评估策略验证方法有效性。结果表明相比于文件和事务粒度的引入缺陷变更识别方法,该方法可显著降低人工审查成本。     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.     

软件自动测试的研究与程序实现

从介绍软件系统测试的现状及所采用的测试过程，测试方法入手，对软件自动测试的生命周期，适用范围，实现机制进行了研究，讨论了一种可行的，实用的自动测试的开发过程及方法，并且在此基础上介绍一个基于该方法的自动测试程序的实现。     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.