HB Z 195-1991 基于Ada的程序设计语言(Ada PDL)一般准则.pdf
《HB Z 195-1991 基于Ada的程序设计语言(Ada PDL)一般准则.pdf》由会员分享,可在线阅读,更多相关《HB Z 195-1991 基于Ada的程序设计语言(Ada PDL)一般准则.pdf(6页珍藏版)》请在麦多课文档分享上搜索。
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
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
下载文档到电脑,查找使用更方便
5000 积分 0人已下载
下载 | 加入VIP,交流精品资源 |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- HB 195 1991 基于 Ada 程序设计语言 PDL 一般 准则
