摘要：针对嵌入式软件中广泛开展的软件机内测试(BIT)设计,分析通用嵌入式系统结构,提出3种软件BIT的结构模式,结合实例对每种模式的算法设计进行描述。以故障模式的概念为核心提出一种基于故障注入的软件BIT测试方法,阐述方法中的需求分析、故障注入、测试设计和结果分析4个关键步骤。

摘要：自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.

摘要：从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法。

摘要：传统NOR FLASH并行地址和数据总线的引脚过多,使电路设计的复杂性增大,同时也会增加电路板布线空间。为了解决这一弊端,部分微控制器支持SPI eXecute in Place(XIP)接口,SPI NOR-FLASH应运而生。基于此,文中提出一种嵌入式软件设计方案。该方案充分发挥XIP FLASH片上执行代码的关键属性,利用GNU编译器的工作原理,通过链接器的链接脚本将嵌入式软件程序存储在XIP FLASH中,运行时代码段和只读数据段存放在XIP FLASH中,只需将数据段及操作XIP FLASH的关键代码搬运至RAM中运行。此外,对嵌入式软件的执行流程进行设计与说明。所提方案简单、易操作,已在单相和三相表载波通信单元、Ⅰ型采集器通信单元、Ⅱ型采集器、集中器载波通信单元得到充分验证,可广泛应用于用电信息采集系统、输配电系统的本地通信等领域。

摘要：针对嵌入式软件中的内存泄露、内存写溢出等问题,提出嵌入式Linux平台下数据采集和测试分离的交叉测试方法,设计实现一个嵌入式软件动态内存的检测工具。该工具可以检测软件的内存泄露、内存写溢出、释放野指针和内存管理函数不匹配等问题,通过一个实例验证其有效性和可靠性。

摘要：在FT-C6713J400(双片数字信号处理器)的基础上,提出了一个信号处理嵌入式软件的设计方法,针对该软件中的硬件设计、软件设计内容、开发工具等相关内容进行分析。从功能上来看,提出的在FT-C6713J400基础上开发的信号处理嵌入式软件设计方案科学有效,该软件的功能强大,能够满足长期值守的要求,为远程监控以及自动化管理等功能提供了必要的技术支持,具有推广价值。

摘要：仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体系结构设计,并对其中的任务管理与调度和通讯协议两个模块的软件体系结构设计进行了详细的描述,最后对全文进行了总结。

摘要：结合功能安全对汽车电子软件单元测试的要求,对不同结构覆盖度的测试用例设计方法进行分类研究,涉及MC/DC覆盖、分支覆盖、语句覆盖,并基于等价类、边界值及判定嵌套对算法进行了优化。基于提出的算法开发的软件单元测试用例可以满足不同结构覆盖度、等价类覆盖、边界值覆盖的要求,从而帮助提升软件单元测试用例开发效率的同时保证用例开发的质量,更高效地发现软件单元中的质量问题。

摘要：使用架构和模式进行嵌入式软件的设计和开发，是一种全新的理念。本文提出了一种面向对象的嵌入式软件平台的设计和实现，阐述了平台体系结构，分析了架构和模式在嵌入式软件设计和开发中的运用，最后描述了基于该平台的上层多任务应用程序的开发模式。

摘要：为了保证机载嵌入式软件的安全性和可靠性,根据实际项目的测试需求提出了一种基于机载嵌入式软件的自动化测试方法。首先介绍了机载嵌入式软件测试的基本概念,然后分别对测试平台的硬件构成、软件设计、测试过程以及应用效果进行了阐述。实验结果表明:该测试平台可以根据不同的测试需求进行硬件环境的搭建和相应软件的设计,同时能够自动化执行测试脚本并进行实时监控,最后生成日志报告。该设计明显提高了测试设备的重用性,同时也提升了产品测试效率,为机载嵌入式软件的系统测试提供了强有力保障。