论Ada对DOD国防系统软件开发标准的适应性

On Adaptability of Ada Language to Defense System Software Development Standard

Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。

Ada language and DOD-STD-2167A are two most important standards of US DOD in software aera, and it is very necessary and significant to study the consistency and adaptability between them. The key of the study is to research the adaptability of Ada program structure to DOD-STD-2167A static structure. In this connection, this paper analysed DOD-STD-2167A static structure in detail, studied the correspondence of Ada program structure to the static structure, showed the problems existing in the correspondence, and introduced a new notion, the library unit group, on the basis of the above discussion. At last, the paper discussed the Ada software development strategy adaptable to DOD-STD-2167A.