嵌入式软件测试中的仿真建模方法研究

对嵌入式软件测试中的仿真建模方法进行了研究，根据嵌入式软件测试的特点，探讨了仿真建模在整个测试环境中应实现的功能，并给出模型的体系结构，同时，对仿真模型的通用性，实时性等关系技术进行了研究。     

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

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

嵌入式软件仿真测试环境实时任务调度的研究

Vxworks操作系统是一个功能强大、而且独立于处理器的实时操作系统,它具有多任务处理能力和保证软件实时性的各种通信机制;在分析嵌入式软件仿真测试环境的多任务性和实时性需求的基础上,基于任务权重优先调度算法和系统的功能模块的紧急度调度算法,对系统的各个模块进行了合理的任务划分,并提出了单处理器下的基于信号量通信的静态权重优先级抢占的任务调度算法;确定了需要调度的任务集合,并给出了测试环境任务总体关联图及具体实现方法,通过Windview工具对任务调度和实时性进行了验证。     

基于需求的航空嵌入式软件测试技术研究

针对航空机载软件的特点，提出了一种基于需求的航空嵌入式软件测试模型，并对该模型中主要部分的功能及其相互关系进行了阐述，最后，最介绍了该模型在实际工程项目中的应用情况。     

面向嵌入式软件测试的仿真建模

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。     

基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。     

面向嵌入式软件测试的脚本语言CATScript

提出了一种基于仿真构件、面向嵌入式软件测试的脚本语言CATScript,介绍了脚本解释器体系结构,并将它们应用到计算机辅助测试系统中,取得了显著的效果,达到了预期的目标。     

嵌入式软件仿真测试平台的建模环境设计

从嵌入式软件仿真测试平台的建模环境的特点出发,分析了嵌入式软件仿真测试平台中建模环境的功能和结构,提出了以体系结构为中心的仿真建模环境的设计方案.     

嵌入式软件测试技术研究与应用

嵌入式软件测试技术被应用于多种领域,它与一般软件的测试相比有所差异,嵌入式系统具有实时性、通道少、内存小、开发工具昂贵、与硬件联系紧密、种类繁多等显著特点,这些特性极大地增加了软件测试的难度。本文从软件测试的基础着手,阐述了软件测试的目的、技术和嵌入式软件系统的自身特点对软件测试的影响等问题,并介绍了嵌入式软件测试技术在石油开采中的应用。     

基于ADS的UHF低噪声放大器仿真研究

从放大器电路、放大器芯片的S参数扫描、阻抗匹配特性,分析低噪声放大器的外围器件参数设计原理,采用ADS仿真软件实例研究基于MAX2640的低噪声放大器电路设计过程,提出综合考虑增益、噪声系数和阻抗匹配的方法。     

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

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

嵌入式软件仿真测试环境实时数据处理研究

分布式仿真测试环境是对嵌入式软件进行测试行之有效的手段.大量测试数据在仿真模型之间的实时通讯、收集和分布节点之间的传输是分布式仿真测试环境的设计难点.提出了一种实时数据处理的层次设计,应用代理模式和批处理双缓存区模式,解决了分布式仿真测试环境实时数据处理的关键技术,据此设计和实现的分布式仿真测试环境产品已成功应用于型号软件系统测试工程中.     

基于软件故障注入的嵌入式系统鲁棒性测试

以研究对嵌入式系统鲁棒性进行评价和基于软件故障注入技术的嵌入式系统鲁棒性测试为目的。对嵌入式系统鲁棒性测试的相关概念以及软件故障注入技术原理进行了介绍,以Linux操作系统内核函数测试为例,通过对系统API参数的故障注入接口进行分析,提出基于GDB工具的软件故障注入方法来实现系统鲁棒性故障注入测试。完成了相应的Linux操作系统API接口故障注入测试实例并给出了测试结果。为嵌入式系统鲁棒性测试提供了更为直观、有效的方法。     

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

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

Applying simulation and design of experiments to the embedded software testing process

This paper presents some original solutions with regard to the deployment of the U.S. Department of Defense Simulation, Test and Evaluation Process (DoD STEP), using an automated target tracking radar system as a case study. Besides the integration of modelling and simulation, to form a model‐based approach to the software testing process, the number of experiments, i.e. test cases, have been dramatically reduced by applying an optimized design‐of‐experiment plan and an orthogonal array‐based robust testing methodology. Also, computer‐based simulation at various abstraction levels of the system/software under test can serve as a test oracle. Simulation‐based (stochastic) experiments, combined with optimized design‐of‐experiment plans, in the case study have shown a minimum productivity increase of 100 times in comparison to current practice without DoD STEP deployment. Copyright © 2004 John Wiley & Sons, Ltd.     

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

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

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

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

国产化嵌入式实时操作系统软件测试方法研究

随着自主可控战略的实施,国内多家基础软件厂商推出了相关的国产化嵌入式实时操作系统软件,作为底层系统级软件,目前业界普遍缺少相关的测试经验和规范。分析并给出了国产化嵌入式实时操作系统测试内容、测试方法和测试技术等,为从事嵌入式实时操作系统测试验证活动提供参考指南。