嵌入式软件可靠性仿真测试环境框架

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍，对测试环境中的测试运行时组件进行了功能需求的分析，构建出测试运行时组件的框架实现，借助于UML中的抽象类图和顺序图描述对框架的静态特征和动态特征作了介绍，总结了利用框架实现仿真测试环境的优势。     

通用嵌入式软件测试环境在武器装备软件测试中的应用

阐述了武器装备嵌入式软件的系统测试的重要性,论述了利用通用嵌入式软件测试环境(GESTE)对武器装备嵌入式软件进行系统测试的方法和过程,最后给出了一个实例应用.     

嵌入式软件仿真测试环境的软件体系结构设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体系结构设计,并对其中的任务管理与调度和通讯协议两个模块的软件体系结构设计进行了详细的描述,最后对全文进行了总结。     

星载设备嵌入式软件可靠性仿真测试系统设计

在分析了嵌入式软件可靠性仿真测试环境的功能需求和组成结构的基础上,设计了一种嵌入式软件可靠性仿真测试系统,专用于星载设备嵌入式软件的可靠性测试.阐述了星载嵌入式软件可靠性仿真测试系统的设计实现目标,设计了系统的组成结构,详细介绍了各个部分的具体实现.系统的实现采用了现代微机的高性能、多线程以及USB技术.最后通过一个星载设备嵌入式软件的可靠性仿真测试验证了所设计的仿真测试系统对于嵌入式软件可靠性仿真测试是适用的,并且是完善、灵活并极具实用价值的.     

嵌入式软件仿真测试环境中实时控制器的设计

嵌入式软件是软件中最难于测试的一类软件,具有软硬件高度相关性和实时性,前期基于自动化测试工具TestQuest构造的软件仿真测试环境是基于windows平台的,存在实时性差和任务调度困难等缺陷,针对以上问题,对基于TestQuest构造的测试环境扩展了基于vxworks操作系统的实时控制器(RCC),详细说明了其软硬件的设计、vxworks操作系统的移植和BSP的开发、实时控制器的任务调度机制和原型系统的验证。     

嵌入式软件全数字仿真测试环境设计

嵌入式软件所具有的实时性、嵌入性特点,使得仿真测试成为保证嵌入式软件质量的一种重要测试方法.首先分析了当前仿真测试方法现状及存在的问题,然后提出了一种基于宿主机的嵌入式软件全数字仿真测试环境设计方案,用软件来仿真嵌入式软件运行所需的目标机硬件及外部设备,能够在不具备目标硬件系统情况下,进行非干涉、实时的嵌入式软件闭环测试,最后提出了通过建立仿真构件库实现快速建立全数字仿真测试环境的方法.     

嵌入式软件的分布式仿真测试环境支撑系统的实现

分布式仿真测试环境在嵌入式软件的测试中有着重要的作用。首先给出了分布式仿真测试环境的概念及其任务分析和开发模式，然后提出了通过实现仿真测试环境的支撑系统来实现仿真测试环境的方法，并且给出了构建支撑系统的具体实现方案。     

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

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

基于虚拟机的嵌入式软件测试环境

嵌入式软件的系统测试需要系统测试环境的支持,而当前使用最多的专用测试环境,因为可移植性较差,极大的限制了测试用例的可重用性.文中提出了一种全新的基于测试虚拟机的软件测试环境,并且详细介绍了测试虚拟机的原理以及利用微内核模式对测试虚拟机的体系结构进行设计.     

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

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

保持拓扑和尖角特征的网格简化算法

提出了一种有效的保持拓扑和尖角特征的网格简化算法。由于曲率刻画了模型的尖角特征，该文利用顶点曲率的高斯加权函数对经典边折叠算法的二次误差测度矩阵进行了修正，增强了尖角点对新点位置的影响。鉴于网格的拓扑保持具有重要的工程应用，论述了网格简化中各种可能的拓扑错误，并给出了相应的解决措施。平衡二叉树和半边匹配数据结构的引入，提高了拓扑信息重建的速度。最后，几个网格简化实例显示了该文算法的有效性。     

颅面外科手术仿真中的网格简化研究

快速高质量的网格简化是颅颌面手术仿真中的影响网格的实时绘制和软组织变形建模的一个关键步骤.文中提出了一种改进最小二次误差准则网格简化算法.该算法中将边折叠代价计算、边折叠生成点的最优值计算和边折叠操作集成到一个管道中,并且用固定大小的最小代价选择替代堆来取代传统渐进网格算法中的大数据量的贪婪队列结构,从而大大减少了计算运行复杂度.计算机仿真结果显示,三角形面片的数目简化到原来的20%时仍能满足手术仿真中交互绘制的要求.与基于贪婪队列结构的渐进网格简化算法相比,所提出的改进算法能够将网格简化速度提高三倍左右,而内存的占用仅为原来的50%不到,Hausdorff距离误差也相对变小.     

可减少模型简化误差的边折叠简化算法及应用

基于三角形网格边折叠简化思想,提出一种基于边顶点重要度简化算法,简化算法能有效保持模型局部特征,减小简化模型和原始模型之间的误差;采用一种改进的三角形网格数据结构,利用二叉树对顶点重要度进行快速排序并记录三角形合并关系,得到所需分辨率下的近似网格模型。数据结构具有层次清楚、操作简单、可扩充性等特点,能有效支持多分辨率简化与快速可视化。     

一种边折叠三角网格简化算法

针对目前自动网格简化算法在大规模简化时往往丢失模型重要几何特征的问题,该文提出了一种改进的边折叠三角网格简化算法。在Garland算法基础上引入三角形重要度概念,并加入到误差测度中,使得二次误差测度不仅能够度量距离偏差,而且能够反映模型局部表面几何变化。实验结果表明新的算法在保持二次误差测度快速特点的同时,使得简化模型在较低分辨率下能够保持更多的重要几何特征,有效地降低了视觉失真。     

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

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

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

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

实时嵌入式软件可靠性测试数据自动生成方法

可靠性测试是软件可靠性工程中的一项重要工作内容.为了更好地支持可靠性测试数据的自动生成,提出了一套形式化建模方法,通过系统视图、使用类视图、剖面视图和操作描述视图,实现对被测系统的分析、可靠性测试输入建模.根据这些形式化描述信息,计算机可以自动抽取出适用于软件可靠性测试的测试数据.