搜索到6079篇“ 嵌入式软件“的相关文章
嵌入式软件测试方案研究
2025年
嵌入式软件作为一类特殊的软件,具有特定的运行平台。文章探讨了嵌入式软件测试方案,比较了与运行在通用平台的独立软件测试的区别,研究了其测试方法、测试流程、测试重点以及测试中易忽视的方面。随着硬件设备智能化的提高,嵌入式软件的测试对于确保硬件设备的稳定运行具有十分重要的作用。
宋嘉
关键词:嵌入式计算机软件软件测试
航天嵌入式软件安全性验证技术
2025年
作为影响安全苛刻系统的重要因素,软件安全性问题日益受到关注。本文结合航天嵌入式软件工程实践,以软件安全性需求为线索,聚焦典型安全性问题,从源代码安全性质的形化验证、软件安全性需求的自动化测试两个维度,分析总结了包括安全性专项分析、源代码静态分析、源代码模型检测、基于故障模型的安全性测试及关键字驱动的自动化测试等若干关键技术,提出了完整的航天嵌入式软件安全性验证的技术解决方案,研制了自主可控的软件保证支撑平台及工具,以系统提升航天嵌入式软件的可信保证能力。
高猛王晓玲朱晓程
关键词:航天控制嵌入式软件形式化验证自动化测试
嵌入式软件的代码的自动重构
本公开的第一方面涉及一种用于自动重构软件的代码的计算机实施的方法,包括:至少基于代码和提示词经由机器学习模型重构软件的代码,其中将代码重构;和对重构过的代码进行评估,其中得到评估结果。本公开的第二方面涉及一种用于进一步训...
J·赫金-哈布施J·邝特M·沃尔勒M·施伦德S·E·S·洛艾萨
面向项目群的嵌入式软件配置管理
2025年
随着电子装备体系化发展,项目群成为装备研发的主流模。同时,装备硬件高度集成化,嵌入式软件占比高、规模大,软件质量对装备效能发挥的影响越来越重要。为提升嵌入式软件质量,提出一种适用于装备项目群的嵌入式软件配置管理方法。该方法围绕分机定义嵌入式软件配置项,通过组建各级软件配置管理机构,利用基线把控分机整体的软件状态,构建物料清单(Bill of Material, BOM)结构树管理产品复用等手段,自顶向下实施技术状态管理。最终实现嵌入式软件提质增效,且能适应项目群资源紧张和软件高质量要求,沉淀的实践经验丰富了组织资产,为企业项目群嵌入式软件技术状态管理提供指导。
解晶晶廖万丽熊飞
关键词:软件工程项目群管理
嵌入式软件的开发方法及装置
本发明公开了一种嵌入式软件的开发方法及装置,能够提高开发效率。其中该方法:构建主体模块,且构建的主体模块包括:第一入口表(stubs_entry_table.s),用于存放待实现的全局函数的打桩函数,以及第二入口表(en...
丁江廷
基于SmartRocket的嵌入式软件集成测试研究
2025年
随着5G、人工智能等新技术的不断发展,传统的软件集成测试方法已无法满足高效率、高可靠性的需求。在此背景下,基于SmartRocket的嵌入式软件集成测试应运而生。其不仅是验证各子系统之间的交互是否达到预期标准的关键环节,更是确保系统稳定、可靠运行的重点。因此,文中在探讨SmartRocket的嵌入式软件集成测试优势的基础上,深入分析了其集成测试的方法及流程,旨在提高软件的可靠性与安全性,确保系统的稳定运行,为物联网技术的发展打下坚实的基础。
朱丽金
关键词:嵌入式软件
嵌入式软件防复制与混淆保护系统
本发明公开了嵌入式软件防复制与混淆保护系统,涉及信息安全技术领域,包括主控芯片模块,所述主控芯片模块通信连接有EEPROM存储模块、输入输出端子模块、刷卡与投币信号处理模块、加密与校验模块、异常处理模块以及代码混淆模块,...
王要帅姜占磊殷红洋陈九超
一种嵌入式软件测试方法、装置、设备及介质
本申请公开了一种嵌入式软件测试方法、装置、设备及介质,涉及计算机技术领域,应用于Jenkins服务器,Jenkins服务器上挂载多个测试节点,测试节点上包括待测件与辅助测试设备,包括:提取测试任务的任务参数,基于任务参数...
唐冰马晓雷姬丽彭珍丽吴鹏超
电力系统自动化装置嵌入式软件测试探讨
2025年
电力系统的自动化装置包括微机保护装置、测量监控装置等,此类装置直接影响着电力系统的正常运行。针对此类自动化装置嵌入式软件进行检测,能够提升自动化装置的运行效率,提高电力系统的运行质量。基于此,本文首先分析了测试电力系统自动化装置嵌入式软件的价值,其次探讨了针对电力系统自动化装置嵌入式软件开展测试的要点,最后围绕如何实现电力系统自动化装置嵌入式软件的测试提出了几点策略。
曹冬华卢炎炎
关键词:电力系统自动化装置嵌入式软件软件测试
一种基于国密算法的嵌入式软件加固方法
本发明涉及计算机安全技术领域,尤指一种基于国密算法的嵌入式软件加固方法。包含以下步骤:使用SM2生成密钥对,结合谱聚类构建代码依赖关系图并优化密钥分发;采用SM4对称加密进行分段加密,识别敏感代码片段;通过SM3哈希校验...
邱雪雁苏煦烽官轲

相关作者

刘斌
作品数:247被引量:513H指数:14
供职机构:北京航空航天大学
研究主题:嵌入式软件 软件测试 嵌入式软件测试 测试用例 测试环境
殷永峰
作品数:84被引量:121H指数:6
供职机构:北京航空航天大学
研究主题:嵌入式软件 软件测试 PETRI网 嵌入式软件测试 软件体系结构
陆民燕
作品数:133被引量:358H指数:11
供职机构:北京航空航天大学
研究主题:嵌入式软件 软件可靠性测试 可靠性 软件测试 软件工程
郭兵
作品数:197被引量:707H指数:13
供职机构:四川大学
研究主题:嵌入式软件 嵌入式系统 功耗 ΜC/OS 功耗优化
董云卫
作品数:119被引量:262H指数:8
供职机构:西北工业大学
研究主题:AADL 嵌入式软件 架构模型 AAD L模型