税控收款机自动化测试的研究

研究目的是设计并实现一款针对税控收款机进行自动化测试的工具,该工具能在不修改税控收款机本身任何代码(包括源代码和目标代码)的情况下进行测试。文章从嵌入式系统软件测试技术的基础入手,重点论述了该自动化测试工具中模拟键盘部件的软、硬件设计和实现,并对该自动化测试工具方案中关键技术点进行了详细的介绍。     

航天嵌入式软件静态测试方法研究

航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照...     

PRQA——用静态分析方法保证嵌入式软件的质量

在嵌入式系统中很多软件是采用C或C++语言编写的,但C或C++语言并不是安全的编程语言.来自英国的编程研究公司PR(Programming Research Ltd)公司提供了一种很好的对代码进行检测的工具,其QAC/QAC++产品是专业的进行C和C++语言规则检查的工具,它采用了静态分析的方法,在过去的十几年里,QAC/QAC++一直处于静态编程规则检查领域的领先地位.在中国,北京旋极信息技术股份有限公司(WaterTek)引进并全面代理PR公司的产品,目前在军工行业已大量应用.     

ARM核微处理器 Bootloader的分析与应用

Bootloader的编写是嵌入式系统软件开发中非常重要的环节,以S3C4510B为例,结合已经成功运行的代码,详细介绍了Bootloader的主要功能及具体实现,重点分析了系统中断向量的设置、存储系统的配置、堆栈的初始化以及用户程序执行环境的初始化,并着重阐释了地址重映射的方法与意义。     

代码审查-实施软件工程化不可忽视的环节

主要强调了软件工程化实践中不可忽视的环节-代码审查的重要性;指出了静态分析和代码审查在软件开发过程中的位置;结合工程实践详细讨论了代码审查的侧重范围;最后,简要给出单元测试的常用方法。     

RVM验证中的代码覆盖分析及其应用

本文首先阐述了进行代码覆盖分析的必要性;然后,简单介绍了RVM(参考验证方法学)验证中代码覆盖分析的类型以及覆盖结果的产生过程;最后,结合实例,详细说明了如何在验证过程中进行代码覆盖分析,以达到芯片设计的代码覆盖率目标.本文的主要目的就是通过论述代码覆盖分析学,为验证人员提供一定的参考,使用的工具是VCS仿真工具,平台搭建方法是RVM参考验证方法学.     

基于AADL和SCADE的模型驱动软件设计

模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。     

基于S3C2440的CAN总线接口设计与驱动实现

介绍了一种采用CAN总线控制器MCP2510对嵌入式处理器S3C2440进行CAN接口扩展的设计方案,并给出了详细的硬件电路,同时在研究分析了Linux系统下CAN设备驱动程序的开发流程的基础上,结合CAN总线技术规范和MCP2510的特点设计了相关的数据结构和软件代码,从而实现了对CAN设备的驱动。     

嵌入式实时操作系统μC/OS-Ⅱ的移植实例

随着科技的发展,嵌入式系统的应用越来越广泛,为了进行射频功率校准系统的嵌入式软件开发,需要将嵌入式实时操作系统μC/OS-Ⅱ移植到sharp lh79520微处理器上。分析了嵌入式实时操作系统μC/OS-Ⅱ的代码结构,接着,对目前流行的嵌入式微处理器sharp lh79520的特点进行了说明,详细介绍了μC/OS-Ⅱ在sharp lh79520处理器上的移植过程,特别对OS_CPU_A.ASM文件的修改给出了详细的移植代码,最后对移植的代码进行了严格的测试,结果表明移植后的μC/OS-Ⅱ操作系统内核运行稳定可靠,验证了移植的成功。     

软件静态代码检查工具引入及效益分析

介绍了所在组织引入静态代码检查工具的试用过程,包括静态代码规范检查、BugDetective以及从功能性、易用性、性能等方面进行与其他开源工具的分析对比,其作用及性能皆优于开源工具.并对试行前后的的效益进行了分析,该工具的引入极大化提高了代码评审覆盖率和代码质量.最后,给出了具有实践意义的经验总结.     

基于S3C44BOX的Blob启动程序分析

S3C44B0X作为以ARM7TDMI为内核的微处理器得到广泛的应用;Blob因功能强大、使用方便、可移植性好而成为S3C44B0X开发板上非常适合uClinux的BootLoader。文中重点介绍了基于S3C44B0X的嵌入式系统在上电启动后应用程序或操作系统运行前,对处理器及其内部功能模块进行初始化的过程,并结合代码详细地分析了Blob的运行过程。     

MATLAB在TFT-LCD屏显示MURA缺陷检测的应用

提出一种以MATLAB为主要工具的TFT-LCD屏显示缺陷检测方案,该方案根据CMOS工业摄像机采集到的数字图像,结合二维图像拟合技术和以韦伯定律为原理的自动阈值获取技术,使用MATLAB作为数字图像分析工具实现对屏幕缺陷的检测。介绍了该方案的硬件组成和检测原理,给出了MATLAB算法流程和部分代码、介绍了GUI检测界面的设计和详细的检测步骤及结果,为TFT-LCD液晶屏显示缺陷的检测提供了一种快速有效的方法。     

BDI3000在嵌入式系统调试中的应用

本文使用先进的嵌入式调试工具BDI 3000在GDB下实现嵌入式系统的调试,分别详细介绍了BDI3000与GDB的使用配置及注意事项,并结合PXA 270和PowerPC405处理器进行具体分析和实现,为处理器的进一步开发奠定了良好基础。     

MIPS系统异常现场分析工具的设计与实现

众所周知,嵌入式系统中CPU的应用快速增长,快速推出新产品并推向市场也变得越来越重要。但是开发和完成一个稳定的产品很困难,特别是复杂的嵌入式系统。在所有的负面影响因素中,嵌入式系统死机是最不能接受的。本文将讨论一种专门用于在一些特定现场解决系统死机问题的有用分析工具。本文通过对为嵌入式应用设计的CPU的异常现场检测机理进行分析,对一种程序运行堆栈分析方法进行介绍。该方法可追溯引起系统异常的代码所在及列出其调用栈清单。为了验证分析有效性并理解导致嵌入式系统异常的原因,该工具可以列出函数/子程序调用树状图,而不用修改正常使用的嵌入式系统产品生成版本。本文介绍的工具已经在MIPS芯片嵌入式系统配置平台MSTAR-7821上进行测试和验证。     

嵌入式操作系统编译器优化技术分析

介绍嵌入式CPU的层次图和编译器在嵌入系统中的作用，并结合嵌入式操作系统编译器的最新发展，讨论了进程分析、基于静态变量和全局变量的实时变量分析、内嵌函数分析、体系结构分析及代码选择分析等五种编译器优化技术，并分别举例来验证该技术的可行性。工程实践表明，这几种技术对提高嵌入式产品性能，降低成本，缩短开发周期有积极意义。     

基于μC/OS-Ⅱ与T-Kernel的RTOS比较分析

实时操作系统在嵌入式系统中占有重要地位,它是嵌入式应用程序开发的基础平台.目前市场上的RTOS种类繁多,选择使用时存在一定难度,因此,将介绍两款应用前景广阔的嵌入式实时内核μC/OS-Ⅱ与T-Kernel,根据二者主要性能指标做出详细的比较分析,并给出各自的适用领域,为嵌入式系统设计者提供参考.     

基于嵌入式开发板远峰2410的Boot Loader程序的研究与实现

嵌入式系统具有软件代码小、高度自动化、响应速度快等特点,特别适合于要求实时和多任务的体系.文中详细介绍了基于嵌入式开发板远峰2410中的OS启动加载程序Boot Loader的概念、软件设计的主要任务以及结构框架等内容.     

基于ARM S3C2410嵌入式系统的Bootloader分析与设计

在嵌入式系统中系统引导加载程序Bootloader是非常重要的,但对不同的系统板其Bootloader不完全相同,因此需要针对系统板移植Bootloader。分析了基于ARM$3C2410嵌入式系统的启动流程,给出了每一环节的关键代码。介绍了在线仿真和烧写步骤,并通过实际操作对本次设计进行了成功的验证。结果表明该Bootloader代码量小、便于维护、执行效率高。     

嵌入式Linux下基于ARM9的媒体播放的设计

针对在嵌入式系统中实现播放MP3音乐和MPEG视频等多媒体文件,提出了基于ARM9的嵌入式Linux下媒体播放系统设计方案,Linux下有许多媒体播放器,系统移植了2种不同的工具:madplay和mplayer,其中,Madplay是一个根据MAD算法写的MP3播放器,解码效果相当出色,而且支持命令行,特别适合于在嵌入式系统使用.该多媒体播放系统的实现过程和核心的代码与同类应用有很好的通用性,只需要较小的修改就能移植到不同的操作系统和平台上,可广泛使用在各种多媒体播放器中.     

关于Klocwork测试规则的二次开发测试规则的本地化

代码走查和程序分析是软件测试中的重要环节,如何能方便的进行代码检查并规范程序的书写,成为软件编码的迫切需求,本文介绍了软件程序分析的一些方法,在阅读Klocwork代码检查规则开发的相关文档后,添加成功了软件编码自己制定的一些规则,希望本地制定的编码规则能够被自动化的测试出来,从而实现测试规则的本地化。