ADA语言

作品数：208被引量：59H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王振宇李赣生钱红兵高仲仪陈曦更多>>
相关机构：北京航空航天大学武汉数字工程研究所浙江大学北京系统工程研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于VectorCAST的Ada语言软件单元动态测试方法及其应用被引量：2
《控制与信息技术》2020年第5期79-83,共5页曾贤福 谢翔 许进 夏涛 
湖南创新型省份建设专项(2019GK4015)。
为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用VectorCAST测试工具进行Ada语言软件单元动态测试的技术与方法,主要包括Ada语言软件单元测试环境的构建、桩函...
关键词：VectorCAST工具 ADA语言 单元测试 
Ada语言在铁路信号系统开发中的优势分析
《铁道通信信号》2020年第6期10-12,15,共4页王德春 
Ada语言是欧洲铁路标准EN50128:2011强力推荐的开发语言之一。本文结合EN50128的相关要求,从强类型、指针的使用、编译方式、可靠性、易读性和易维护性等方面,阐述了与传统语言C/C++相比,Ada语言在铁路信号系统开发领域中的优势,并指出...
关键词：铁路信号 ADA语言 强类型 可靠性 
CTCS2-200C列控车载设备软件测试方法研究被引量：3
《铁道通信信号》2019年第5期6-10,共5页赵东旭 周永健 刘聪 
中国铁道科学研究院通信信号研究所.200C设备应用软件优化和安全认证研究.2016HT04
简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试...
关键词：列控车载设备 ADA语言 软件测试 Understand工具 VectorCAST工具 
Ada语言
《科学家》2017年第8期I0029-I0029,共1页
Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同。它不仅体现了许多现代软件的开发原理，而且将...
关键词：ADA语言 程序设计语言 软件开发 开发原理 美国国防部 计算机语言 表现能力 软件系统 
“狂风”战斗机改进计划
《国际航空》2016年第7期8-8,共1页
为使“狂风”战斗机服役期延长到2030--2040年，项目主承包商帕那维亚飞机公司一直致力于推进“狂风”Ada语言航电系统软件螺旋升级包（ASSTA）。升级内容包括增加“多功能信息分发系统”（MIDS）和新的无线电设备，以及在后座安装一个...
关键词：战斗机 狂风 LINK16 功能信息 ADA语言 无线电设备 航电系统 飞机公司 
Ada语言软件测试方法探讨
《科技传播》2015年第10期137 132-,共2页张驰 
软件测试是保证软件质量的重要手段。本文结合某卫星型号嵌入式星载软件的工程实施介绍Ada语言软件测试的工具和方法。
关键词：软件质量 测试方法 测试环境 
Ada语言可重用性技术方法研究
《电脑知识与技术（过刊）》2014年第1X期308-310,324,共4页张伟欣 俞帆 
Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的...
关键词：卫星 ADA语言 可重用性 类属单元 C++绑定 
AADL模型的ada代码自动生成及集成技术
《实验科学与技术》2009年第4期42-44,84,共4页李建一 桂盛霖 尹立孟 罗惠琼 
国家高技术研究发展计划(863计划)资助(2007AA010304)
基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器Generator-ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。
关键词：嵌入式 AADL语言 模型驱动 ADA语言 映射规则 自动生成 
基于ALI的ADA语言静态分析器的研究与实现
《电脑知识与技术》2008年第11X期1406-1410,共5页朱烨 朱宏明 
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实...
关键词：Ali文件 ADA语言 LEX 静态分析器 
基于ADA语言的星载软件在轨编程技术研究被引量：3
《电脑知识与技术》2008年第12期1641-1644,共4页郭勇 朱宏明 贺彦博 
随着ADA编程语言被引入到星栽软件的开发中，相比较汇编编程语言，用ADA编程语言可以大大提高软件的可复用性，缩短开发周期并进而降低开发成本。但同时，如何利用ADA编程语言更好地实现对卫星的计算机软件的在轨编程功能这一课题也被...
关键词：在轨编程 星栽软件 ADA编程语言 软件可靠性 
全选清除导出
共21页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部