排序方式： 共有58条查询结果，搜索用时 23 毫秒
1.
代码审查是航天嵌入式软件开发中的重要环节.近年来，随着嵌入式软件开发需求的增多，传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力，提升审查效率，研究者们逐渐将目光转向以深度学习技术为首人工智能领域，尝试寻求技术上得突破，以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动，即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况，对未来代码审查的发展方向作了进一步的探讨. 相似文献
2.
由中航一集团计算机软件可靠性管理与测评中心(CATC)自行研发、拥有独立知识产权的通用嵌入式软件仿真测试环境(GESTE)在京隆重发布二代产品——GESTE2.0。GESTE的成功面市打破了国外对我国在相关领域的技术垄断和封锁,填补了我国实时嵌入式软件缺乏通用仿真测试环境的空白,对于相关领域之快速定制需求亦具有非凡的革新意义。 相似文献
3.
4.
由于嵌入式软件对目标硬件平台的依赖性,在宿主机环境下无法编译运行。因此,在宿主机环境下通常采用仿真的方法来实现对嵌入式软件的测试。提出了一种基于ARINC429总线数据仿真的方法,通过对被测嵌入式软件代码中的读写硬件接口进行仿真,实现被测嵌入式代码在宿主机环境下动态运行,从而达到在宿主机环境下对嵌入式软件进行系统功能测试的目的。 相似文献
5.
6.
嵌入式软件测试开发环境的框架设计 总被引：7，自引：0，他引：7
采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用. 相似文献
7.
基于Eclipse的航天嵌入式软件集成开发环境设计与实现 《空间控制技术与应用》2015,41(4):44-48
针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴. 相似文献
8.
星载计算机软件自动化测试平台研究 总被引：2，自引：0，他引：2
自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。 相似文献
9.
针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。 相似文献
10.
嵌入式软件的成败对航空电子装备效能发挥愈发重要.随着航空电子装备技术与能力的不断提升,软件的规模和复杂性也急剧增长.目前大部分航空电子装备能力分阶段迭代生成,软件不断升级已成常态.复杂的装备及其复杂的开发过程给质量管理带来了难度,为提升航空复杂电子装备的软件质量,高效保障装备效能稳定发挥,本文聚焦技术状态管理与测试验证... 相似文献