QJ 2622-1994 ADA交叉编译系统技术要求.pdf

1、 中国航天工业总公司航天工业行业标准QJ 2622-94 Ada交叉编译系统技术要求1”4-03-25发布1994叩1025实施中国航天工业总公司发布中国航天工业总公司航天工业行业标准QJ 2622-94 Ada交叉编译系统技术襄求l :t:题内容与滔用范围本标准规定了Ada交叉编译系统的构成、支持环境和技术要求本标准活用于航夭濡统嵌入式ll算机Ada交叉编译系统的研制，1B适用于评价守泼的Ada交义编译系统2 I用标准GB/T 11457 软件工稼术语GJB 437 在用软件开发规币2GJB 438 军用软件文梢编制规施GJB 439 牢用软件质丢在保证规前EGJB 1383 程序设计语言A

2、daQJ 2646 计算机软件给构化设计约定3术语凡在本主宫中没有定义的软件术话，参见GB/T11457幸HGJB 1383, 3. 1 Ada编谦系统评价能力Adacompil旧evaluationcapability 测试Ada编译系统的做能”3. 2 Ada编锋系统确认能力Adacompiler validation capability 测试Ada编译系统的滔滔符合性3. 3排错程序debul(ler 月1于发现、跟踪及排除计算机程序或其它软件中的错误的程序3. 4 宿:t:系统ho耐町耐cm用以开发供另一台计算机用的软件的计算机系统3. 5 臼棕系统target町stem们算在其上运

3、行程序的计算机系统中国航天工业总公词E”中03-25批准1994斗0-25实施4系统构成与支持环境4. 1构成QJ 2622 94 根据图书录机上是好自己有操作果统，Ada交叉编译系统的构成分为下商附种情况，4. 1. l 阻串串机上配有操作系统时“a编译穰￥；b.程序库管理程序；c应战科序；d. Ada编译系统中依赖于实现的部分；也宿:lo机与目标机之间数据传输用软件，f.调试工具，如l交叉调试程序、宿主机模拟调试程序4. 1. 2 目标机为裸机时.编译程序，b.草里序库管理草里序；c被人帮序；d.执行核，e. Ada编译系统中依赖7实现的部分；f. 衔克机与目标机之间数据传输用软件，g.调

4、试；L具，如)CJ.调试糕！？宿机模拟调试稳序其中编译平提序、革盟序库管1盟军要序成驶阙夜1百革统上，执行核应驶lll在阴标系统上，其它部分!JIl回校例处依赖1实现4. 2 支持环境Ada交叉编i平系统的支持环境包衔。队稿主率1光，b.目标8统，c，数据传输环境1宵主系统与阴标8统之间的数居传输环境，可采用网络、仿真终端、介照传送等方式，见阳1 描直系统在目标单统罔IAda交叉编译系统艾符环境2 QJ 2622 - 94 4. 3基本程序设计支持环境在研制Ada交叉编译系统的同时，应考虑Ada语育基本程原设计支持环境，自仰望序开发所需要的葱本忑具建议包1li下两软件凰”正文编辑程序，b.中自

5、式美化打印稼序，c.编译和厅，d. l生接粮序（或！在人程序）；也静海分析税序，f.动态分析工具R，终端楼闪例稼，h，文件管盟秘序，i.命令解释程序，j.自？将管现草草If.5技术要求5. l 功能要求Ada交叉编译系统必须余音和实现GJB1383的规定嗣GJB1383规定某些语言成分是依锁子实现的，如穰数的表示范朗、f5F识符的最大长胶、表示f句是否实现等.Ada 交叉编译系统1iJ规定些依赖于实现的容最限制，如：一次编译所允许的标识符个数、循环诱俐的愤套：数等.GJB 1383允许不同的Ada交叉编译系统在这些依赖于实现的方面存在发界5. 1. I 朋Adal营商编Z主的、符合GJB138

6、3规定的程序单元，只婆不超过编译系统的能力范网编译系统必须正确地进行编译，所产生的目标代码必须能在目标机七拨源秸！￥的姿求正确执行Ada交叉编译系统还必须拒绝超过其能力范围的程序单元5. I. 2若在离序单y巳中出现了GJB1383列iii的踏法铺设，Ada交叉编译率统不得产生该程序幕元的日标代码5. I. 3凡GJB1383要求提供的预定义根序单元，Ada交叉编译系统必须提供b包括凰.STANDARD, b响SYSTEM;c. CALENDAR; d. MACHINECODE. c. UNCHECKED_DEALLOCATION; 3 QJ 2622 94 f. UNCHECKEDCONVE

7、RSION; 自.SEQUENTIAL IO; b. DIRET IO; i. TEXT IO; k LOW_LEVEL IO. 5. I. 4预定义凛Ii单元定义了Ada请寄的预定义请寄：环境如节a. STANDARD lE.义所有预定义类型这些类型的预定义运算符、所有预定义异常如：INTECER. CHARACTER、CONSTRAINT_ERROR、NUMERIC_ER ROR; b. SYSTEM包含某些与i1统有关的特性定义，其规格说明是依赖于实现的，主要定义各种机器常盛的值如：STORAGEUNIT按位绘出个内存单元的大小，MEMORY _SIZE按内在单元给出系统内部的大小，MI

8、N_INT给出所有预定义整数的最小值，c. CALENDAR定义TAda 任务的延迟语句所韬耍的类型、过粮和雨数，通过它们可进行定时运算如TIME.CLOCK、YEAR;d. MACHINE_CODE定义代码i暑句中类型标记的基类型，即目标机机器指争的助记符记录通过在程序中包含代码语句口J获得捕入机器代峭的效果，e. UNCHECKEDDEALLOCATION用于不加检盒的内存网收，利用该和序包中的过平iH可以不加检查地静放由访问类珊的值所指明的对象的内存单元，t盯NCHECKEDCONVERSION用于不加检查的类翻转换，通过该粮序包中的阙数1iJ以白山地:tE可种类狈（接班通常是彼此不兼容

9、的类事目）之间1互相转挟，g. SEQUENTIAL IO义j道用于给)E类哥哥的元素的顺序输入输出操作，如OPEN、READ、WRITE;h. DIRECTIO Ji:足了适用1纷.Ki:安梢的；簇的鼓楼输入输出操作，拟。OPEN、READ、WRITE;i. TEXT IO lE义了各种成文输入输出操作，如：OPEN、GET、PUT、NEWLINE、SKIP_LINE;j. IO_EXCEPTIONS lE义了SEQUENTIAL_IO、DIRECTIO、TEXTJO所帘耍的异常；k LOW LEVEL IO定义在具体设备上的操作5. I. 5 Ada交叉编译系统在用于懒人式系统时，应由编译

10、系统的研制J与使用J协阀确定F述方面的姿求。4 .编译系统在所驻留的衍系统上的时移植性；b.系统安全性，c.实性；d.专门指令（组）、专门中断c.运行系统模块的口I替换性；QJ 2622 - 94 f.与般人式系统已使用软仲的兼容性5. 2 符合性要求Ada交叉编译系统的实现必须符合GJB1383的规定，为此必须通过符合性测试u测试的内容有也检查偏译系统是否实现了一切符合规寇的语育成分，h枪查编译系统是否拒绝了不符合规定的语言成分，c.指ill诙编译系统依赖于实现的行为参见附录A（参考件）5. 3性能要求且3.1 Ada交叉编译灌统应进行做能测试，并提供测试结果以供评价主要测试内辛辛包指a.闷

11、标代码的执行时间，b“日标代峭的长度；c，编译是主肢，d. )!Ji辈辈革且在，e.符号调试粮序的能力，1诊断消息的!lll:.！最；自草草序141牙现.，统的能力；h.编译时和运行时的能力参见附没B（参考件）5. 3. 2 Ada交叉编译系统还应满足嵌入式系统tE内将资源、时间条件等方面的特殊要求，Tl.摇a.挺高所产生代码的时空效满足应用系统的实时要求，b.编译系统应能在最经济的内存上运行并具有较商的编译速度，5. 4汉等处理要求Ada交叉编i平系统的汉字处理能力包括；也可处理汉字输入输出，h.州错信息汉字化ic.注稀、字符申巾允讷出现汉字，d.允卡汉字标识符e.允许汉字文件盼5 QJ 2

12、622 94 5. s 开发要求Ada Ji:.X编译系统的开发必须符合GJB437和QJ2646的规定s. 6 )I;销簇求Ada交叉编译系统必须按照GJB438编制文衔，s. 7 mi撇襄求Ada交叉编详系统的开发必须按照GJB439的规定制定质簸保证计划6 QJ 2622附94附录AAda编慑系统符合性测试（参考件）Ada编译系统确认能力是Adat吾的符合性测试穗Ff巢，e:只检查实现是沓符合标准，并不评估编译程序的质量宣.Ada编译系统必须通过全部适用的、正确的测试程序，沓则就被认为不符合GJB1383. A 1 测试内密测试程序烧包指A、B、C、口、E平PL等六樊测试程序，分别就编译

13、系统对语言f构边的t要受、源程序锵谈识别、t普斋。你准实现、系统密数、系统特性放程序依赖性等各个万商进行严格的测试其rpA、C、口和E类程序是可执行的，它们是“自检”程序在执行期间以你准格式报岱执行的结果，即“通过（Passed）”、“失败（Failed）”或“不适用（Notapplicable). B类刷L类测试稽序是不可执行程序，应分别报出编译错误和连援错误A l. I A类测试根序检查合法的Ada根序应该能被成功地编译和执行，而不产生错.因为A培训试程序不存在这行时的检查，所以王理论上不必执行A l. 2 日类自由l试程序检查编译程序对非法请寄构造的识别，B炎测试程序应该被编译穗序拒绝对

14、于每个B类测试根序，如果白白译根序能检查出每一个非法构造，并接受所有的合法构珑，则认为该测试程序i围过测试A l. 3 C类测试税序检查合法的Ada粮序可以被lE确地铺i平相执行.坦执行时，将产生表明其执行结果的“通过”Y失败”戒“不边用消息阳Al. 4 D去是测试稳序检商编译穗序的编译和执行容盘闵为对于某县委参数，如一次编译允许的标识符数防成一个库中的编译单元数阴GJB1383没有给w辛辛最要求，所以当编译溯序拒绝编译某个。类测试粮序时.f:;仍可以是符合GJB1383的闵此，如果某个b类测试粮Ff则为超Ill了编译粮序的特f幸而没能通过编译，该测试粮序仅被认为是不iiR用的，且如果某日类测

15、试穰Ff在编i平时没有报镑，则它憔Ii被正确执衍A l. 5 E然测试草草Ff检资编译系统是好提供了某快依赖于实现地说摔成对话寄：文2扣的模糊之处的解辛苦，Ada语言允许编译稼序在编译时;Ii烧古平j）在明E:l培训试税序给出的特有巳问此如泉一个E类测试程序被成功地编译并执行，Jl.1悦生了“通过”消息，或者由于上而指出的激f!l被编ii糕！乎所拒绝，则认为该测试税Ff通过测试A l. 6 1类测试草草序来接检资涉放多个分好1）编i串的编译单元的不当毛将性，L类测试辛辛序被分别编译，并做执行尝试，如果在连接时被拒绝，即辛苦试巨型执行主程序，将使得在主禅序中的声明或主程序所引用的编译电；5i;被

16、确立之前产统一个fl!谈俗息，贝u认为i在L:l监测7 试程序通过测试阳A 2 测试准则QJ 2622 - 94 编译系统必须正确地处理测试集中的每个测试程序，通过下面两点夜明编译系统对GJB 1383的符合编译系统或者通过测试程序的测试通过准则，威者表明该测试程序对编译系统是不适用的任何被确定其中含有非法语言构造或者错误的语言构造的测试程序都从测试集中撒梢，因此不用于编译系统的测试附录BAda编译系统性能测试（参考件）Ada编译统评价能力是一个用来进行Ada编译系统性能评价的测试程序、测试工具和评估程序的集合该测试策的主要目的是测定Ada编译蕉统的性能，主要测试内容包括a执行时间，h代码长度

17、，c.编译速度，符号调试粮,If;e.诊断消息，t粮序w系统，再系统辛辛簸测试集主要由交持软件和操作软件组成支持软件包括若干栩到独立的礼兵，操作软件包括测试平静序和几个评估梅序，见附Bl.8 恻i且给占在什析报告QJ 2622 ”4 测试报骨测试报告测试报齿测试报告测试报告其它取盟的性能削试结占在分析报告f自BI Ada编详系统憔能测试艘阴9 QJ 2622 94 B 1 支持软件B !. I 包含工具使Adaff草程序包含一段11：半文的工具它将有助于根序适合于悚殊的目标系统B !. 2分街禀单调用分析穗序的交互式接口B !. 3筒缩工具从编译并执行操作软件所产生的输出巾，抽取时间数据、代码

18、扩充数据、编译速度、连接速度以及某些辅助数据并将这些信息以比较分析根序和单系统分析根序可使用的格式输tH.B !. 4 比较分析工具对级过编译并且执行操作软件而产生的问系统的性能测试结巢进行统计比较的工具，B !. 5 单系统分析工具分析来自一个系统的性能测试结泉的工具，B 2操你软件B 2. I预测试刷一绷襟序和过粮编成为执行攸能测试粮序和分析工具做l1Eilf. B 2. 2测试集-t日评估执衍时间、代码扩ft民Jll.编详和虫草按时间的你能测试科！￥.B 2. 3符号排错稳！￥评估辍序一组评估Ada编译系统符号排错粮序质矮的程序和过程，确定符号排错程序的功能，并测定穰序在排销状？.！；.

19、F运行时的做能B 2. 4诊断评估程序-m评估Ada编译系统提供的诊断消息质量量的稳序和过穗，创始一级错谈草草序和解释如何评价编L干系统对这些错误的响成的说明B 2. 5 程序障系统评估程序细评估Ada程序，库系统的程序和过程，通过组编译单元及梅！￥ft字操作，对Ada穗！￥陈迹行怀佑，主要评估内容有执行时间、磁盘空间及其它操作等B 2. 6 系统密E评估程序一组评估Ada编译系统和运行容盘限制的程序公共数据及测试使用说明，用来测试Ada编译系统的编译时和运行时的容露限制10 QJ 2622 94 附加悦明：木桥浓由中国航天工业总公词七O八所提出本书面准自中国航天工业总公司七07;所负资起草本标准主要起草人：游星辉11