嵌入式软件目标码仿真测试平台的研究与设计

为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案.分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿真测试平台的设计结构,给出了虚拟运行平台构建,目标文件静态分析、测试用例加载、测试信息采集记录和目标码覆盖率统计的解决方法.通过设计TMS320C67x目标码仿真测试平台,验证了该设计的有效性.     

Keil C51总线外设操作问题的深入分析

阅读了《单片机与嵌入式系统应用》2005年第10期杂志《经验交流》栏目的一篇文章《Keil C51对同一端口的连续读取方法》（原文）后,笔者认为该文并未就此问题进行深入准确的分析。文章中提到的两种解决方法并不直接和简单。笔者认为这并非是Keil C51中不能处理对一个端口进行连续读写的问题,而是对Keil C51的使用不够熟悉和设计不够细致的问题,因此特撰写本文。     

基于Keil C51嵌入式系统多任务实现技术

基于Keil C51嵌入式操作系统的开发,把整个应用程序划分成多个任务,可大大减少错误率,加快产品开发速度。Keil C51生成的目标代码效率高,而在C51下的所有函数的局部变量都放在RAM的一片共同的区域里,给实时操作系统下的应用程序开发带来一定的难度。文章提出了单任务法、变量覆盖分析法、寄存器变量法、利用重入栈四种解决方法,结合实例验证了其有效性和正确性。     

基于ADS2的嵌入式软件测试环境研究

如何构建测试环境是嵌入式软件测试需要解决的一个关键问题。由于半实物仿真能够较好地兼顾真实性和可控性,受到国内外的广泛重视。对ADS2半实物仿真测试工具的关键实现技术进行了研究。通过某型DSP处理板测试实例,介绍了利用ADS2进行测试的基本方法和步骤。研究表明,利用ADS2构建半实物仿真测试环境,能够有效进行嵌入式软件测试,具有很大的应用价值。     

基于Keil51汇编与C语言混合编程方法研究

分析基于Keil51汇编与C语言混合编程的基本方法,给出每种方法的具体操作步骤。在应用实践中,为了充分发挥两种语言的优势,提高程序的执行效率,可根据问题的特殊性选择相应的编程方案,以期达到缩短程序设计过程的目标。     

Keil为嵌入式软件开发提供简化的开发环境

ARM发布Keil u Vision 4集成开发环境（IDE）,用来在微控制器和智能卡设备上创建、仿真和调试嵌入式应用。uVision4 IDE是为增强开发人员的工作效率设计的,有了它可以更快速、更高效地开发和检验程序。通过uVision4 IDE中引入的灵活的窗口管理系统,开发人员可以使用多台监视器,在可视界面任何地方全面控制窗口放置。新用户界面可以更好地利用屏幕空间,更有效地组织多个窗口,为开发应用提供整齐高效的环境。     

基于Multisim 10和Keil C51的单片机仿真

阐述了改革传统单片机实验的必要性,介绍了Multisim 10软件的特点和功能,并以流水灯为例,给出了运用仿真软件Multisim 10和单片机开发环境Keil C51进行单片机仿真的方法。该方法可加深学生对单片机应用的理解,提高单片机教学的效果,而且可以锻炼学生软硬件综合设计的能力,激发学生的学习兴趣。     

Keil C51程序设计中几种精确延时方法

实际的单片机应用系统开发过程中,由于程序功能的需要,经常编写各种延时程序,延时时间从数微秒到数秒不等,对于许多C51开发者特别是初学者编制非常精确的延时程序有一定难度.本文从实际应用出发,讨论几种实用的编制精确延时程序和计算程序执行时间的方法,并给出各种方法使用的详细步骤,以便读者能够很好地掌握理解.     

Keil C下基于AT89C51单片机双极型PWM的软件实现

介绍了PWM技术的原理和软件实现的方法,提出了双极型PWM在软件上的实现过程,并给出在Keil C下实现基于AT89C51的双极型PWM信号的详细步骤和程序。     

嵌入式软件仿真测试环境中实时控制器的设计

嵌入式软件是软件中最难于测试的一类软件,具有软硬件高度相关性和实时性,前期基于自动化测试工具TestQuest构造的软件仿真测试环境是基于windows平台的,存在实时性差和任务调度困难等缺陷,针对以上问题,对基于TestQuest构造的测试环境扩展了基于vxworks操作系统的实时控制器(RCC),详细说明了其软硬件的设计、vxworks操作系统的移植和BSP的开发、实时控制器的任务调度机制和原型系统的验证。     

用Keil C51开发大型嵌入式程序

结合在8051系列单片机平台上的实际开发应用的经验，介绍用Keil C在8051单片机上进行大型嵌入式程序开发的技术。主要阐述了大型嵌入式开发中在存储器的管理、动态内存的使用、C语言调用汇编语言和程序调试方面的知识，并就所遇到的问题提出相应的解决方法。     

基于Keil C51的软件看门狗系统设计

介绍了一种基于Keil C51环境的软件看门狗设计方法.通过设置程序、喂狗程序和中断服务程序的有效配合,解决软件模块的稳定性问题.设置程序在模块开始处对看门狗系统进行初值设定,喂狗程序在模块结束时进行参数设置.通过T0中断服务程序监视软件模块的运行,T1中断服务程序监视T0定时器的运行,设置程序监视T0和T1的运行,以达到看门狗系统的循环监视.此设计方法可以提高程序模块的稳定性,特别是对于顺序控制结构的软件尤为适用.     

嵌入式软件覆盖测试工具的研究

随着嵌入式系统的复杂性不断提高,嵌入式软件测试变得越来越重要;通过对ARM系统软件进行深入的研究,提出了一种应用于ARM嵌入式软件系统的覆盖测试工具的设计原理、系统模型及组成模块,分别就各个模块的具体设计进行了详细说明,着重探讨了词法语法分析和插装方式,提出了一种新的词法语法分析和插装方式;该工具能够实现ARM系列嵌入式软件的自动测试,测试了代码执行的覆盖情况,检查出代码死区,从而提高了测试效率,使嵌入式软件质量得到保证.     

基于Keil C51编译器的程序优化设计

介绍基于Keil C51编译器的程序优化设计方法。通过C51程序优化,使程序代码执行效率高、移植性好、可读性强,同时提高其可靠性、易维护性。     

基于覆盖测试的嵌入式软件自动裁剪

针对软件移植嵌入式平台时的裁剪问题,提出一个通用的、自动化的裁剪方案。该方案基于覆盖测试思想,利用源代码静态分析技术,在每个函数的首尾插入桩代码,通过执行已插桩的程序,动态地获得函数的覆盖信息。根据函数的覆盖信息,能对软件进行自动化的裁剪。该裁剪方案可以将软件体积减少30%左右。     

嵌入式软件测试工具中间结构的设计与实现

实现一种实时嵌入式软件测试工具的中间结构,描述中间结构的生成、存储、转换过程,给出生成类继承图、生成控制流图的实现代码。设计一个针对C/C++的解析器,对源码进行预处理,以实现由源码生成中间结构,并利用XSLT技术实现中间结构为后端应用提供的接口。     

基于Python的实时嵌入式软件测试脚本

基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境（ESSTE）的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。     

基于模型的嵌入式软件设计方法

介绍了基于模型的嵌入式软件设计开发方法.通过对Simulink/Stateflow及RTWEC工具软件的分析研究,提出了一种适用于嵌入式软件基于模型的开发方法.并通过两个实例验证了这种方法的有效性和易操作性,体现了与传统开发方法相比的优越性.     

基于场景模式的嵌入式软件测试用例设计

将场景和模式方法用于嵌入式软件测试用例的设计与生成,通过对被测软件系统需求进行分析建模,将建立的场景模型划分到不同的场景模式中,依据场景模式构建测试场景的状态图,遍历场景状态图以获取测试执行路径,确定相关的测试数据,设计并生成测试用例。实验结果证明,该方法可以较快地设计和生成测试用例,提高测试用例的可重用性,实现对嵌入式软件的有效测试。