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

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

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

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

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

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

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

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

Ada编译器评估系统ACES综述

本文描述了Ａｄａ编译器评估系统ＡＣＥＳ的目的和简要历史，讨论了设计测试基准集的原则，测试集的组织和三种潜在用户，给出了终端用户如何解释运行测试集的结果，也描述了如何实现特定的语言特色及特定的优化，除了测试集本身以及帮助性能评估的工具之外，文中还简述ＡＣＥＳ所具有的对诊断系统、库管理系统、符号调试器以及运行时和编译时容量的四个评估器。     

Ada软件SLICE分析器（ASA）

对程序进行分析和测试是提高软件可靠性有效途径，本文介绍的Ａｄａ软件ＳＬＩＣＥ分析器是一种对被测软件进行静态数据流分析的工具，它能缩小用户分析与检查被测程序的范围，帮助用户及时找到所关心的程序段和语句，为保证Ａｄａ软件系统的质量，提高开发与维护大型复杂软件系统的效率提供支持。     

Ada95与面向对象的程序设计

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

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

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

Ada95语言评述

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

Ada程序的会合次序图

针对Ａｄａ程序提出了一种会合次序图，用以表达程序中的会合次序和任务的流程。同已有的其他多任务描述工具相比，更容易理解，可以用做并发程序的设计描述手段和程序理解工具。它也适用于其他具有舍并并发机构的语言。