【摘 要】
:
随着嵌入式系统的广泛应用,人们对嵌入式系统软件的质量提出了更高的要求,而作为保证软件质量最有效手段的测试技术,也越来越受到关注。由于汇编语言具有良好的实时性以及在
论文部分内容阅读
随着嵌入式系统的广泛应用,人们对嵌入式系统软件的质量提出了更高的要求,而作为保证软件质量最有效手段的测试技术,也越来越受到关注。由于汇编语言具有良好的实时性以及在此基础上积累了丰富的使用经验,因而被广泛的使用。但由于汇编语言的实时高效性导致汇编语言编程缺乏规范性,这给汇编语言软件的度量和测试带来了极大的困难;长期以来,缺少有效的嵌入式软件测试工具,特别是针对汇编语言的分析与测试工具。国内针对汇编代码的传统测试一般采用手工的方式进行,不仅效率低,而且存在严重的漏洞和隐患,不能达到预期的效果。为了满足国内用户对嵌入式汇编应用程序进行测试的需求,本文在对当今主流的专业覆盖测试工具及其实现方法进行深入研究的基础上,结合课题确定了论文的需求和技术路线,设计并实现了基于51 系列的嵌入式软件测试系统原型,原型系统由功能测试、代码测试、通信接口转换和数据分析与文档报告等模块组成。原型系统实现了基本的黑盒和白盒测试,其中白盒测试实现了语句和分支覆盖;实现了汇编测试的静态分析和动态分析,静态分析主要是生成程序的流程图,动态分析主要是利用程序插桩技术实现对象、子程序和文件的详细覆盖率和运行时间的计算;原型系统支持Host/Target 和Host/Host 两种测试模式,其中Host/Host 是用软件仿真目标系统,而Host/Target 模式下目标系统与测试系统之间的通信均通过通信转换接口模块完成。本文提出的技术路线和技术方案对支持其它高级语言的嵌入式软件测试具有一定的通用性。
其他文献
随着社会的发展,科学技术的进步,人们对无线通信技术的发展要求越来越高,移动通信系统正向着数字化、高速化和多媒体化方向发展,信号传输速率不断提高。因此,对移动通信系统的设计
随着数字图像处理和计算机视觉的发展,图像操作的种类和次数随之增多。手动的选择图形元素是被最频繁执行的动作之一。本文针对如何提高图形元素选择的效率展开研究。本文描述
随着企业的不断发展以及虚拟企业的出现,Web应用正成为企业内部管理和对外业务的首选,同时也成为一个企业信息化的重要标志。现代企业也越来越重视利用Web应用来宣传管理自己,拓
TCP传输协议在网络中有着非常广泛的应用,大部分文件传送,电子邮件等业务都是由它来完成。但是随着高速网络的发展,TCP的一些弊端也逐渐显现。标准的TCP协议会在发生丢包之前持
软件体系结构(Software Architecture,简称SA)自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域[1]。软件体系结构描述语言ADL(Archite
计算机和网络技术的不断发展在满足人们需要的同时也带来了负面的效应,病毒的出现就是其中最显著的一个方面。从病毒诞生至今,已经有不计其数的病毒对我们的信息系统的安全构成
随着互联网的发展与宽带的普及,数据量日益爆炸式的增长,分布式的数据存储采用可扩展的系统结构,使用多台存储服务器进行数据的存储降低了每台存储服务器的存储负荷,存储信息
工程图矢量化是计算机图像处理研究的重要内容,它以实现计算机自动读图从而重建具有领域含义的图形对象及其语义等高层信息为目标,以实现工程图信息的高效复用为目的,从事该
随着社会对信息技术的依赖性日益增长,在至关重要 (critical systems) 系统中如何提高应用软件的可靠性成为一个紧迫的问题。目前,软件开发的形式化与自动化方法被认为是提高软
Petri网适合于网络环境下的信息处理系统的描述和建模。它的主要特性包括:并行、不确定性、异步及分步描述能力和分析能力。Petri网以其简洁、直观、潜在模拟能力强等特点被广