嵌入式软件回归测试错误定位方法的研究

由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

基于构件的软件测试模型及方法

采用基于构件的软件设计方法是软件设计的新趋势.介绍了构件及基于构件的软件（CBS）的概念、特点以及由此引发的测试问题.概述了构件软件测试方法的现状,阐述了基于构件的软件黑盒测试方法及模型、白盒测试方法及模型,讨论并比较了两种方法的使用场合和异同之处.在此基础上,列举并比较了几种常见的自动测试方法和工具的基本原理.对构件软件的集成测试和性能测试等问题进行了讨论和分析,给出了构件软件测试的存在问题和研究方向.     

基于构件测试的探索

软件测试是指发现并且指出软件错误的过程。通过对传统软件测试和构件测试的比较,分析了构件测试存在的问题,进行了的构件中基于分域和模型的测试方法的思考。     

基于航空领域嵌入式软件的测试模型探讨

测试模型是指导软件测试工作的流程和框架。针对航空领域嵌入式软件项目开发周期短、需求变更频繁的特点,在探讨传统软件测试过程模型的基础上,提出了领域基准模块复用的方法,目的是加快航空嵌入式软件测试效率和提高软件测试质量,从而提高航空软件的安全性和可靠性。     

基于宿主嵌入式软件白盒覆盖测试系统的设计

随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的错误也在逐渐增多。本文实现了基于宿主的嵌入式软件覆盖测试系统,该系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效的解决了传统的基于目标带来的软件测试依赖硬件等问题,基本满足了用户对嵌入式软件测试的需求。     

基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.     

嵌入式软件测试的实践与研究

随着社会的发展,嵌入式系统在人们的工作和生活中起到了越来越重要的作用,手机作为嵌入式系统的代表已经成为人们生活中不可或缺的物品.目前,嵌入式系统中软件系统的比重越来越大,也越来越复杂,嵌入式软件的可靠性正面临严峻的挑战.本文主要工作包括从嵌入式系统的介绍着手,分析了嵌入式系统的硬件及软件构成.分析了软件测试的基本方法和软件测试的过程.重点分析了嵌入式软件测试的特点、测试技术及测试工具.     

基于构件和面向方面的模型驱动开发

本文讨论了使用MDA的模型转换建立基于构件和方面的分布式应用系统的过程,还特别的指出了在文档描述、复用和实现的过程中遇到的问题,可以使用MDA来很自然的解决这些问题.MDA提供了一个很好的框架,可以从不同的角度描述模型.     

复杂嵌入式系统中基于状态的控制体系结构研究

状态分析是对当前实际状态加以改进的系统工程方法。通过基于状态的控制体系结构,以产生系统和软件设计中所需的系统行为模型。该模型为系统工程师和软件工程师的沟通提供了一种公共语言,从而消除了软件需求和软件实现之间的差距。     

嵌入式系统的设计过程

本文简述了嵌入式系统的定义,详细分析了嵌入式系统的特点和结构。并且阐述了嵌入式系统的设计过程和技术。     

嵌入式系统软件抗干扰技术

嵌入式系统中,抗干扰性能是系统可靠性的重要指标,结合自身的实践,介绍了嵌入式系统软件的基本要求及软件抗干扰的特点,并提出了若干行之有效的软件抗干扰措施.     

软硬协同在嵌入式系统教学中的探讨

针对嵌入式系统课程教学中存在的问题,以＂提高学生分析问题、解决问题的能力＂为出发点,探索软硬协同的嵌入式系统教学改革,并提出嵌入式软硬协同教学的设计思路和方法。实践证明,嵌入式软硬协同教学法遵循＂教学做合一＂的教学理念,能有效化解课程中的难点,提高学生的实践能力。     

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.     

基于虚拟机的嵌入式VxWorks实验教学平台

针对各高等院校嵌入式系统软件开发课程大多采用嵌入式系统实验箱作为嵌入式软件开发实验的目标机,其实验箱投资大、占用空间的现状。文章分析了用虚拟机作为嵌入式开发目标机的软硬件可行性和网络连接可行性,介绍了一种节省投资、节约空间、方便教学、利于学习的基于虚拟机Vmware构建嵌入式VxWorks软件开发实验平台的方法,并给出了建立交叉开发实验环境的具体步骤。     

嵌入式系统软件可靠性模型的研究

针对嵌入式系统中软件和硬件密切相关,都会导致软件故障这一问题,提出了一种考虑硬件相关的软件可靠性模型,并利用MATLAB软件对真实的项目数据进行仿真实验,结果表明:新模型随着测试的进行对实际数据的拟合性能比传统模型好.该模型提供了更准确的软件可靠性估计,能够帮助人们在嵌入式软件早期测试阶段制定出更好的的测试策略.     

嵌入式软件设计中的关键技术及其实现

针对“非功能”因素如何进行重新抽象的问题,提出了一个“面向参与者”的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对“非功能”因素进行了重新抽象。     

嵌入式软件开发环境中操作系统抽象层的设计与实现

论述了嵌入式软件开发环境中操作系统抽象层存在的必要性,并对其如何实现进行了探索,特别是对利用面向对象的思想实现抽象层方法给出了源代码级的阐述