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