1、中华人民共和国航空航天工业部航空工业标准HB/Z 195-91 基于Ada的程序设计语言(Ada PDL) 一般准则1991-08-03发布1991一10-01实施中华人民共和国航空航天工业部批准中华人民共和国航空航天工业部航空工业标准基于Ada的程序设计语言(Ada PDL) 一般准则1 主题内容与适用范围HO/Z 19591 本标准规定了基于A也编程语言语法和语义的程序设计语言(PDL)应有的各种特征，但不涉及如何使用AdaPDL进行软件设计。本标准适用于软件开发阶段程序设计的正文表示法。本标准未具体规定:a. PDL语法;b.用于实现设计的编程语言F.与AdaPDL相关的特定开发方法$d
2、. PDL.iE文的表示、存储和处理方法。2 引用标准GBjT 11457-89软件工程术语GJB 13&3-92 程序设计语言Ada3 术语3. 1 设计元件设计中的基本成分或基本构件块。3.2 设计单元逻辑相关的设计元件的集合，在AdaPDL中设计单元用Ada编译单元表示。4 Ada PDL的特征4.1 对一般设计方法的支持某个具体的AdaPDL可支持几种设计方法。例如，同一个AdaPDL可支持快速原型设计方法，也可支持面向对象设计万法。4. ,. 1 抽象Ada PDL应支障抽取最本质的概念，淡化非本质的细节。4.1.2 分解Ada PDL应支持将大型软件系统分解为较小的、较易管理的具有
3、一定的细节。航空航天工业部1991-0803发布199110-01实施HB/Z 195-91 4. 1. 3 信息隐藏Ada PDL应支持隔离不影响软件系统其他部分的某些细节，并使之不可访问。4.1.4 逐步求精Ada PDL应支持逐步增加软件细节的设计.4. .5 模块性Ada PDL应支持利用标准化单元进行设计，4.2 对具体设计的支持4. 2. 1 算法设计Ada PDL应支持算法设计。例如，数值的和非数值的计算、结构化控制流、有限状态机、Petr 闷的使用等。4.2.2 数据结构设计Acta PDL应支持数据结构设计，特别应支持:a，数据结构的定义pb.数据结构的形式化;C.书r;识1
4、、t吁接受值的约束;d.标识施于数据对象上的可用操作;e.数据对象访问点的定位;f.数据对象的修改:g.对数据结构的作用域、持续期、存储方法如存入共享存储器、文件、堆械等)和约束如对大小的限定)作l规格说明。4. 2. 3 连接性八daPlJl.应对连接(包括依从关系的标识提供支持。4. 3. 2. 1 人daPDL应形式地描述下述各项za. 成分执行的顺序.作为其中一部分，PDL应支持表达计算进程的顺序引用、并行进程的启动和终止、并行进程的同步:b.数据定义的依从关系;C.数据流;d.可能的出错条件及其后置处理:e. i9: it单之间阳设计元件之间的界面:f.异步中断-4.3.2.2 Ad
5、a PDL可形式地描述下述各项za.硬件如何工作:b.系统应布的交互行为。4. 2.4 适应性Ada PDL可具有以下能力:a.在受控制的形式下使之适于英文、中文及其他文字。b.在特定应用中对语法制语义实施某种限制参阅4.4.1); q HB/Z 195-91 c.支持设计的图形表示法。4. 3 对其他方面的支持Ada PDL可以支持产品信息和管理信息的表达。4. 3. , 产品信息有以下示例:4. 3. ,. , 性能可包含对关键时间、频度、容量等的约束。4. 3. .2 容错可包含错误检测/诊断及出错处理，备份及恢复.可靠性以及冗余性。4. 3. ,. 3 安全性可包含多级保密约束、设置/
6、使用的访问限制、侵权检测和处理、对资料本身的密级分类的标识。4. 3. ,. 4 分布性可包含有关处理、数据存储、访问的地理分布的描述。4. 3. 1. 5 适应性可包含支持不同类型、不同层次用户的设施。4. 3. 1. 6 假设可包含对算法能成立的上下丈描述，例如，一个除法函数可建立在除数不为零的假设上。4. 3. 1. 7 历史可包含的历史信息，例如:设计决策和为选定设计而否定过的其他方案以及作出这种选择的根据等。4. 3. ,. 8 可追踪性可包含以下方面;a.从详细设计到械要设计或顶层设计，进而到软件需求规格说明pb.从榄要设计或顶层设计到详细设计zC.采用过的标准。4.3.2 管理信
7、息有以下示例:4. 3. 2. 1 组织信息如工作分解、给小组成员分派任务;计划信息佣里程碑定义、资摞估算、P向开发进度的依从性分析、进度表:状态信息如备阶段完成情况:配置管理信息包括配置标识和对更改控制的限制。4.4 与Ada的关系，、钱 HB/Z 195-91 Ada PDL在以下方面应与Ada编程语言相关，4.4. 1 一致性Ada PDL在语法和语义上应和GJB1383一致，特别是，AdaPDL应由确认过的Ada编译程序处理。4.4. ,. 1 Ada PDL可由其他工具处理，如PDL预处理程序。预处理不应要求事先用已确认过的Ada编译程序为其作消除错误的处理。4.4. 1. 2 不要
8、求A由PDL具有Ada编程语言的全部功能。应允许针对应用规定一个合适的、一致的子集，并避免以下各点3a.为Ada以外目标语言作设计时用到不可翻译的Ada的结构。b.在开发嵌入式计算机的系统软件时用低效控制结构.C.在高层设计中使用过于详细的设计结构，例如，用表示法规格说明.4.4.2 扩充性允许用跑出A也语义的注释性正文以扩大AdaPDL的表达能力.注释可用两种形式:非结构式注释和结构式注释，4. 4. 2. 1 非结构式注释非结构式注释可用来:a.对Ada的语句作自然语言的解释pb.对不要求形式结构的设计过程提供所要求的信息，例如，人一人通信的信息.4. 4. 2. 2 结构式注释结构式注释
9、也叫标庄); a.可用于以面向设叶的附加语义提供设计信息;b.应与Ada语言风格保持一致，例如，在组合结构中，结构的末端应与其始端对应z一一静HghLevel D四ign-* 甲一-*-一一-怜ENDHigh Level Design C.由双横线后跟警哨字符、词或短语标识。双横线向Ada编译程序指示是个注释，例如，一一关键字或一一骨警哨符号有两个功能:突出该注释为PDL的形式结构，告诫读者该信息有特殊的意义;把PDL处理工具引导到该信息上，并可能要求工具对它加工。4.4.2. :3 限制重复凡无注梓Ada就能合理表达的概念，则均以Ada表达3人也PDL中的Ada部分能提供的信息，则不应以Ada结构或其他手段在注释正文中重复。注2各单位在制定自己具体的AdaPDL时可以参考f一个AdaPDL示例一-PDL/Ada参考手册以航空航天工业部301所出版人4 HB/Z 195-91 附加说明:本标准由航空航天工业部提出本标准由北京航空航天大学、南京航空学院与三0一所负责起草.
