一种嵌入式软件覆盖和分析测试方法

如何进行嵌入式软件的覆盖测试和性能测试,是嵌入式软件测试工程师较为关心的热点问题之一。介绍了一种基于PowerPc755目标板的嵌入式软件覆盖和分析测试方法。方法借助于嵌入式软件测试工具TestBed和实时硬件数据采集工具RTInsight,搭建了嵌入式软件动态测试平台,并在该嵌入式软件动态测试平台上进行了覆盖测试和性能测试,同时给出了相关的覆盖率测试和时间性能测试的测试结果。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

基于虚拟机QEMU的嵌入式全系统仿真测试环境的研究与实现

为了能节省测试设备的成本和提高嵌入式软件系统测试的效率,本论文设计了一个基于QEMU虚拟机技术的通用嵌入式全系统仿真测试环境,来实现嵌入式软件的系统测试。本文将着重介绍本测试系统中被测设备硬件仿真部分的设计与实现,以及针对该部分进行测试的测试结果。     

基于ARINC429总线数据仿真测试方法的研究与应用

由于嵌入式软件对目标硬件平台的依赖性,在宿主机环境下无法编译运行。因此,在宿主机环境下通常采用仿真的方法来实现对嵌入式软件的测试。提出了一种基于ARINC429总线数据仿真的方法,通过对被测嵌入式软件代码中的读写硬件接口进行仿真,实现被测嵌入式代码在宿主机环境下动态运行,从而达到在宿主机环境下对嵌入式软件进行系统功能测试的目的。     

软件复用在航空嵌入式软件测试中的应用研究

伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。     

嵌入式软件仿真测试环境实时脚本技术的研究

针对嵌入式软件仿真测试环境中,测试脚本对激励数据的实时控制和结果数据的实时收集的问题,研究并实现了一种嵌入式软件仿真测试环境中的实时脚本技术,给出了实时脚本设计实现的方法,并通过实例验证了实时脚本技术的有效性。     

机载嵌入式软件的系统测试

针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。     

基于T-VEC 的需求模型建立和用例设计验证

在需求和设计层面上介绍了基于T-VEC 的建模与分析方法,生成的测试向量达到路径、决策和条件 的全测试覆盖,保证了每个需求功能点得到充分的测试。本文以调光控制系统为例,针对自动调光算法提出并 建立了迟滞环控制模型,通过模型分析识别需求中的缺陷、生成测试向量和测试驱动、编译和执行测试驱动、 执行结果分析。验证结果表明了该方法在航空嵌入式软件测试中的有效性和实用性。     

嵌入式软件测试技术在机电综合管理系统中的应用

软件测试已在各领域越来越受到重视。为了使直升机机电综合管理系统得到更好的发展,介绍了机电综合管理系统,对软件测试技术的重要性进行分析,并简要阐述了软件测试技术。文章中介绍的嵌入式软件测试技术已经在直升机机电综合管理系统软件开发中得到了应用。     

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

基于Eclipse平台的嵌入式软件集成开发环境目标机通信管理

基于Eclipse平台的嵌入式软件集成开发环境已经成为嵌入式软件集成开发环境的主流。嵌入式软件集成开发环境中的各种交叉开发工具依赖于目标机服务器提供的目标机通信管理功能。提出了一种目标机通信管理系统结构,描述了其各功能部件的功能和接口及其主要的工作流程,介绍了其软件架构及其主要的难点技术与解决方法。     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

航空电子装备嵌入式软件质量管理研究

嵌入式软件的成败对航空电子装备效能发挥愈发重要.随着航空电子装备技术与能力的不断提升,软件的规模和复杂性也急剧增长.目前大部分航空电子装备能力分阶段迭代生成,软件不断升级已成常态.复杂的装备及其复杂的开发过程给质量管理带来了难度,为提升航空复杂电子装备的软件质量,高效保障装备效能稳定发挥,本文聚焦技术状态管理与测试验证...     

嵌入式软件仿真开发系统的实现

为降低嵌入式软件开发成本和难度,对嵌入式系统硬件功能进行抽象,完全采用软件模拟真实硬件环境,提供了嵌入式软件的运行和调试“软”平台。建立了一套集编辑、编译、调试、运行等功能于一体的集成化开发系统。本文介绍了该开发系统的设计思想,着重阐述了硬件系统仿真和仿真调试器等关键技术的实现。     

自适应驯服铷钟的实现

介绍了时统设备中驯服铷钟的工作原理和硬件的具体实现电路,以及单片机的嵌入式软件设计方法和数据处理方法。     

基于ATL引擎的UML到Simulink模型转换方法研究

针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法,建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。     

自动驾驶仪软件开发与管理

以自动驾驶仪软件开发实践为基础,总结和分析自动驾驶仪软件开发的经验和教训,提出应以良好专业素养的人员定义软件的需求、以严格的需求追踪确保需求实现的完整性和正确性、以需求设计和实现人员分离的方式进行软件工程化开发、以独立的手段开展软件设计验证和确认、以严格的控制措施确保软件技术状态清晰等基本开发原则,保证机载嵌入式软件的产品和过程质量,保障飞行安全,确保机载嵌入式软件的成功开发。     

交会对接成像敏感器成像参数设计

基于交会对接成像敏感器在轨成像目标相对距离变化较大的特性,分析了敏感器嵌入式软件对曝光积分时间、激光发光功率等各项成像参数配置的方法。针对有先验数据、无先验数据初始捕获、跟踪模式等三个不同的工作模式特性与模式切换逻辑,设计了一种初始捕获参数试配方法,并将其与跟踪模式下的最优化参数实时计算相结合,形成了完整的交会对接成像敏感器成像参数设计方案,并进行了仿真测试,结果表明该方法能够有效确保在轨实时图像清晰度满足位姿测算要求,可为交会对接末段制导相对位姿测算提供保障。该方法拟应用于我国后续交会对接任务中。     

机载嵌入式软件的体系结构框架设计与应用研究

本文介绍了嵌入式软件体系结构框架设计的思路,将面向对象的设计模式应用到机载嵌入式系统软件设计中,以实现可重用的应用程序框架。框架的实现,将可为上层嵌入式系统应用程序的开发提供架构上的支撑。建立通用的应用程序框架,也为架构的重用打下了基础。