Ada任务的结构测试

Ａｄａ语言中，任务的运行方式与顺序执行的程序的运行方式完全不同。本文重点介绍对Ａｄａ软件进行结构测试时，任务单元的一些特殊问题及其解决方法。在建立分支表示插装时，需分析任务语句的不同特点及其语法现象，按不同的情况作相应处理，从而使测试结果能真实地反映被测程序的结构特性。     

Ada软件源代码分析器（ASCA）

论述了Ａｄａ软件源代码分析器的结构，功能以及一些特点。该工具是保证Ａｄａ软件系统质量的工具这一，可为高效地开发和维护大型，复杂的软件系统提供支持。     

PSS／Ada程序切片系统的设计与实现

ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面，本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。     

SSAC,一个基于软件科学法的Ada程序复杂性度量工具

ＳＳＡＣ是一个基于软件科学法的Ａｄａ程序复杂性度量工具，其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ａｄａ程序中并发操作符和并发操作元的定义和识别。同时提出在Ａｄａ程序复杂性综合度量中，并发复杂性的加权思想。     

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。     

基于Ada的交叉引用语言CRL/Ada

本文介绍一种基于Ａｄａ的交叉引用语言ＣＲＬ／Ａｄａ,它用于描述Ａｄａ程序实体的定义与引用信息,在软件维护的过程中,利用它可以方便地获得软件源程序中的实体信息。本文将介绍它的设计思想、程序结构与应用。     

Ada语言与其它语言的接口问题

本文着重讨论了Ａｄａ语言与其它语言的接口问题，提出了一种能在Ａｄａ程序中使用现存有Ｃ库和程序的方法，尤其是Ａｄａ同Ｃ并发程序的数据共享问题。本文中的大部分例子同样适用于解决在多种操作系统上的接口问题。     

Ada95语言评述

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。     

关于Ada并发可重用软件包的设计

文中首先分析了一般Ａｄａ顺序可重用软件包在用于开发Ａｄａ并发软件时所存在的问题，然后给出了几种可以支持并发软件开发的Ａｄａ可重用软件包的实现方案，并同时指出了各种方案的不足及可取之处。     

Ada异常处理机制在容错可重用部件中的应用

软件容错是提高软件可靠性的重要手段，可重用软部件必须提供软件容错的措施，本文将Ａｄａ提供的异常处理机制作为容错的工具，分析了用这种工具实现多版本程序设计、恢复块技术和防卫式程序设计等容错技术的途径，介绍了在可重用部件中构造异常处理程序直接实现软件容错的方法，最后还讨论了异常处理机制在容错软件中的应用准则。     

Ada对软件标准化的支持

９４０３６Ａｄａ对软件标准化的支持／／计算机杂志。一１９９３（３）．－１７～２０本文根据国、军标４３７－８８《军用软件开发规范》对军用软件开发所提的总体要求和具体要求，分析Ａｄａ语言对该军标的支持能力，并提出有关的程序设计建议。Ada对软件标准化的支持...     

实现Ada 9X保护对象和控制异步转移

为了更好支持实时系统中使用并行机制，Ａｄａ程序设计语言的修订标准－Ａｄａ９Ｘ扩充了Ａｄａ的任务机制模型，这些扩充需要新的实现方法，该文讨论了有关技术问题，并且概述了实现方案－ＧＮｕＡｄａ运行库，详细地讨论了两个特点：保护对象和控制异步转换，保护对象是一种数据对象，对于多任务并发存取是安全的，控制异步转换允许一个任务去响应中止当前计算的异步事件，并把控制转移到该任务中的一个恢复点。     

Ada95层次库结构与大型软件开发

Ａｄａ９５提出了层次库和后扩库单元的概念提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充。本文对层次库的概念与设施进行了详细的介绍、分析与讨论。     

基于安装个人计算机软件系统的探讨

通过对软件系统的分析,可以提高用户对软件系统的重要性认识。对于规划好个人计算机安装什么样的软件系统进行了研究,提高了个人计算机安装软件系统的认识,达到了用户掌握自己安装软件系统的目的。并探讨几个具体问题:操作系统的功能、应用软件、硬盘分区。     

BISE Ada8086／8096交叉转换系统的设计与实现

本文给出了基于机器代码程序交叉转换的Ａｄａ交叉转换系统的设计方法和实现细节，简述了系统的基本构成和工作过程，指出了掌握代码交叉转换技术的重要意义。该系统的成功实现，为用Ａｄａ开发单片机应用软件提供了强有力的工具。     

一种有效实现Ada多任务的新方法

文中提出了一种实现Ａｄａ多任务的新方法。在运行环境中，一个程序中的所有任务共享一个堆栈，并与另一种方法进行了比较。     

Ada语言在军用指挥仪中的应用初探

本文在对指挥仪系统技术特点进行讨论了基础上，论述了Ａｄａ应用于军用指挥仪的适用性和有效性，并就空地，空航导弹系统，给出了较了顶层的Ａｄａ解。     

面向对象技术在快速原型建造中的应用

本文讨论了面向对象技术在快速原型建造中的应用，提出了用面向对象技术描述事件－动物模型的实现方法，将实时需求封装成象，在实现时映射成Ａｄａ的类属程序单元，讨论了类属与面向对象技术中继承的关系，把这两种机制有机结合起来，进一步提高软件的重用性。     

基于集合与序列的Ada可复用部件及应用

分析了集合与序列部件的基本特征，对基于集合与序列的Ａｄａ可复用部件的开发和正确性进行了介绍和讨论。     

静态检测Ada程序死锁的方法

文中介绍几种常用的静态检测Ａｄａ程序死锁的方法，分析了它们的适应性和不足之处，并指出ＮＰ问题和检测结果的准确性是无锁检测面临的主要问题，死锁检测仍然是一个有待进一步研究的问题。