搜索到398篇“ ADA语言“的相关文章
- Ada语言用卫星遥测下行调度参数动态在线装订方法及系统
- 本发明提供了一种Ada语言用卫星遥测下行调度参数动态在线装订方法及系统，涉及卫星测控技术领域，该方法包括：步骤1：设计Ada语言星载嵌入式加载程序；步骤2：设计星载嵌入式综合电子应用程序；步骤3：设计第一地面软件模块；步...
- 解加华杨牧项杰周军张海张泽浩颜俊菁吴侃侃潘瑞雪南玲巧
- Ada语言用卫星遥测下行调度参数动态在线装订方法及系统
- 本发明提供了一种Ada语言用卫星遥测下行调度参数动态在线装订方法及系统，涉及卫星测控技术领域，该方法包括：步骤1：设计Ada语言星载嵌入式加载程序；步骤2：设计星载嵌入式综合电子应用程序；步骤3：设计第一地面软件模块；步...
- 解加华杨牧项杰周军张海张泽浩颜俊菁吴侃侃潘瑞雪南玲巧
- Ada语言在铁路信号系统开发中的优势分析
- 2020年
- Ada语言是欧洲铁路标准EN50128:2011强力推荐的开发语言之一。本文结合EN50128的相关要求,从强类型、指针的使用、编译方式、可靠性、易读性和易维护性等方面,阐述了与传统语言C/C++相比,Ada语言在铁路信号系统开发领域中的优势,并指出其存在的一些局限性。
- 王德春
- 关键词：铁路信号ADA语言可靠性
- 基于VectorCAST的Ada语言软件单元动态测试方法及其应用被引量：2
- 2020年
- 为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用VectorCAST测试工具进行Ada语言软件单元动态测试的技术与方法,主要包括Ada语言软件单元测试环境的构建、桩函数设置、测试用例的编制与执行、覆盖率统计以及回归测试方法等关键内容。从各项测试工作分配比例和千行代码测试工作耗时两方面的比较分析结果表明,采用本文测试方法进行千行代码测试,其测试时间可节省23 h,测试效率提高约22%。
- 曾贤福谢翔许进夏涛
- 关键词：ADA语言
- Ada语言软件测试方法探讨
- 2015年
- 软件测试是保证软件质量的重要手段。本文结合某卫星型号嵌入式星载软件的工程实施介绍Ada语言软件测试的工具和方法。
- 张驰
- 关键词：软件质量测试环境
- Ada语言可重用性技术方法研究
- 2014年
- Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。
- 张伟欣俞帆
- 关键词：卫星ADA语言可重用性
- Ada语言的发展被引量：1
- 2014年
- Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。
- 吴迪徐宝文
- 关键词：ADA面向对象程序设计
- 信息技术.程序设计语言.Ada语言
- ISO/IEC 8652:2012 specifies the form and meaning of programs written in the programming language Ada. Its purp...
- 关键词：ADA语言人工语言计算机软件信息技术程序架构程序设计程序设计语言
- 基于ADA语言的星载软件在轨编程技术研究被引量：4
- 2008年
- 随着ADA编程语言被引入到星栽软件的开发中，相比较汇编编程语言，用ADA编程语言可以大大提高软件的可复用性，缩短开发周期并进而降低开发成本。但同时，如何利用ADA编程语言更好地实现对卫星的计算机软件的在轨编程功能这一课题也被提到了桌面上来了。该文对如何利用ADA编程语言实现对卫星的计算机软件的在轨编程功能进行了研究，并提出了一种设计方案和实现技术，使其能够充分利用ADA编程语言的可复用性高的特点并同时能够满足高安全性和高实时性的要求。
- 郭勇朱宏明贺彦博
- 基于ALI的ADA语言静态分析器的研究与实现
- 2008年
- Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。
- 朱烨朱宏明
- 关键词：ADA语言LEX静态分析器
相关作者
- 王振宇
- 作品数：60被引量：120H指数：6
- 供职机构：武汉数字工程研究所
- 研究主题：ADA 软件体系结构 ADA语言 体系结构 软件工程
- 李赣生
- 作品数：19被引量：95H指数：5
- 供职机构：浙江大学计算机科学与技术学院计算机软件研究所
- 研究主题：软件体系结构 ADA语言 ADA ADL HR
- 钱红兵
- 作品数：41被引量：126H指数：8
- 供职机构：北京航空航天大学计算机学院
- 研究主题：软件过程度量 软件质量 ADA ADA语言 软件测试
- 陈曦
- 作品数：67被引量：40H指数：4
- 供职机构：北京航空航天大学
- 研究主题：罚函数 ADA ADA语言 磁轴承系统 辐射计
- 高仲仪
- 作品数：47被引量：284H指数：9
- 供职机构：北京航空航天大学计算机学院
- 研究主题：软件工程 软件测试 ADA 软件质量 软件开发
