嵌入式软件安全性测试研究

安全性测试作为一种常见的测试类型,在嵌入式软件测试中发挥着重要作用,可以有效保证嵌入式软件稳定、安全运行。本文对常见的安全性测试要点和测试方法进行研究和介绍,为软件开发人员和测试人员提供参考。     

测试工具在军用嵌入式软件测试中的应用

阐述了对军用嵌入式软件进行单元测试、静态测试、动态测试时的基本测试方法,以及如何将一些测试工具与测试工作进行有机地结合,从而使测试工作更加高效。     

嵌入式软件的覆盖测试

覆盖测试是验证软件功能结构正确性以及查找问题的非常重要的方法和手段。它要借助一定的工具才能取得较好的效果，满足软件在质量和时间上的双重要求（纯粹的人工测试工作量大、不方便、周期长）。如何利用好这方面比较成熟的工具，对其机理的研究及适应性改造是很重要的。本文着重描述这类工具的工作机理，以及对嵌入式软件测试的特殊要求，并以对自主知识产权嵌入式操作系统的测试为例进行说明。     

嵌入式软件机内测试的设计与测试

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

无线传感器网络的嵌入式软件测试

介绍了无线传感器网络软件模块的基本组成和其中的数据中转器嵌入式软件部分的功能设计,重点介绍嵌入式软件测试的基本概念、测试方法和关键技术。在此基础上给出了数据中转器的嵌入式软件测试系统的基本框架图和必要的软件测试工具介绍。     

CodeTEST在嵌入式软件测试中的特殊应用

首先简要介绍CodeTEST测试工具的基本原理及功能模块,在此基础上详细介绍CodeTEST的Trace工具在嵌入式软件测试中的特殊应用,该工具已经应用到了XX型交换机的测试中并取得良好的效果。     

嵌入式软件测试系统执行框架研究

为提高测试系统开发的可复用度、降低开发成本,研究并设计了一种嵌入式软件测试系统的软件框架。首先给出嵌入式软件测试环境的领域模型,然后在领域模型基础上给出其执行框架,该执行框架利用面向对象技术,定义了一组系统类和一组支持类,并可进行扩展以实现特定应用。设计的框架提供了较为通用的测试执行系统基础设施实现方案,能够支持各种体系结构的测试环境设计。     

嵌入式软件的覆盖测试

覆盖测试是检验嵌入式软件功能结构正确性以及查找问题的重要方法和手段。纯粹的人工测试工作量大、操作不方便、周期长,需要借助一定的工具才能取得较好的效果。使用测试工具LDRA Testbed进行了覆盖率测试,达到了一定的语句、分支以及LCSAJ覆盖率。测试过程说明了该工具能够有效获取被测软件的动态覆盖率信息,评价测试用例的完整性,并有针对性地补充测试用例,进而提高软件测试的覆盖率,帮助决定何时终止软件测试。     

嵌入式软件测试平台配置

本文总结了建立软件评测中心必要条件,论述了软件测试过程并给出了各阶段的软件测试工具。在对市场充分调研的基础上,结合嵌入式软件的技术特点及具体工作需求,构建了一个嵌入式软件测试平台。     

软件测试工程化的研究和实践

软件测试是保证软件产品质量的一种重要手段,软件测试工程化的管理对于提高软件测试效率、保证软件测试质量具有重要的作用.根据工程化管理的思想,分别对软件测试模型、测试人员要求、测试生命周期、软件问题管理和测试辅助工具等软件测试相关要素的工程化要求进行了研究,提出了一种实用有效的软件测试工程化管理方案,并结合一个具体的软件项目,描述了该软件测试工程化管理方案的成功应用情况.     

规范化嵌入式软件自测试方法

根据嵌入式软件特点,提出了集文档审查、含编码规则扫描的静态分析、代码审查、动态单元测试、部件测试和配置项测试的规范化自测试模型,并重点阐述了可定制编码规则的静态分析、基于宿主机的动态单元测试、部分增量的部件测试及基于故障注入的配置项测试等关键技术.该方法测试级别、测试类型全面,统计数据表明其有效减少了冗余测试工作时间,提高了测试效率,并在不同层次上消除了软件缺陷.     

基于组件的嵌入式软件开发方法

根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的自动生成,以DDF定义的系统可以被有效地分解为一系列独立的组件,合适的DDF调度算法一致地表示了系统组件的执行语义,使得并发开发的组件具有良好的可集成性。该方法充分考虑了嵌入式开发的特点,能有效地降低系统复杂性和支持系统组件的并发开发和复用,从而提高了开发效率并降低了开发成本。     

嵌入式计算机软件测试技术探究

嵌入式计算机属于计算机技术的一种,这种技术比较先进。在科技迅速发展的背景下,嵌入式计算机实际适用范围变得越发广泛,对其软件进行测试,可以确保软件处于运行状态时的可行性以及稳定性,促进软件水平的发展与提升。展开测试时﹐需充分了解测试技术。     

嵌入式软件仿真测试环境接口通讯协议研究

目前通常采用仿真测试的方法对嵌入式软件进行系统测试。通过总结嵌入式软件仿真测试的特点,分析了被测系统真实的交联环境和仿真测试环境以及它们对通讯接口的需求,在此基础上提出了利用分层模式实现的测试环境数据通讯机制,最后重点阐述了通讯协议的设计和实现途径。     

基于MVC模式的嵌入式软件测试开发环境设计

嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时、闭环测试的基础。MVC(Model-View-Controller)是一种开发交互式软件系统的典型体系结构模式,在分析和研究ESTDE功能、组成和工作原理的基础上,将MVC应用于ESTDE的设计当中,不仅保证了ESSTP的成功开发,而且提高了系统的可复用性和可适应性。     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

基于UML的嵌入式软件测试用例生成方法研究

基于嵌入式软件实时性、嵌入式和反应式等特点 ,对 UML进行了实时性扩展 ,运用多种 UML视图描述嵌入式系统的结构和行为 ,提出了如何从基于 UML的模型中自动生成测试用例的设计思路。     

通用嵌入式系统软件测试平台的设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。     

嵌入式软件语句覆盖率测试插桩技术

针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所在项目组开发的嵌入式软件仿真测试平台ARMtest上。利用这些方法,在嵌入式硬件系统未完成开发之前,可通过宿主机环境和仿真环境及时发现嵌入式软件开发初期的一些不足并加以完善。