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

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

C3I系统仿真测试环境的设计与实现

C^3I系统仿真测试环境的真实性、准确性、可控性影响系统测试效能的评估。在分析舰载C^3I系统的测试和评估需求基础上,提出了C^3I系统仿真测试环境的功能、系统框架、信息流程,研究了建立仿真测试环境的剧情产生、综合环境模拟、测试和评估等主要技术,介绍了通过HLA和半实物仿真技术建立的仿真测试环境的硬件和软件组成,以及用于C^3I系统功能、性能和效能测试的情况。     

防空作战C3Ⅰ系统仿真测试环境构建技术研究

首先针对防空作战C3I系统功能性能指标的灵活测试需要,对防空作战C3I系统组成、主要功能以及主要指标测试项目与方法进行了深入研究,然后介绍了防空作战C3I系统仿真测试环境的组成、主要信息交互关系和运行工作流程,最后介绍了测试环境构建以及分布交互式互联测试中的通用装备仿真模型设计、分布式时间同步、空情作战态势生成、半实物系统互联的时空一致性等关键技术的设计实现。     

1553B总线通用仿真测试系统运行支撑平台的实现

航电系统是现代飞机的一个重要组成部分,构建一个1553B机载总线通用仿真测试系统,该系统可以实现对飞机航电系统的测试及故障定位,并为航电设备的开发提供一个调试平台。为了对某新型国产飞机航电设备进行测试及故障定位,搭建了1553B机载总线仿真测试系统运行支撑平台。该平台采用了组件技术,使其具有通用性及可扩展性,分析了该平台的组件结构,给出了各功能组件的具体实现。采用"应用程序框架+可复用组件"的开发方法,设计了1553B机载总线通用仿真测试系统运行支撑平台开发框架。     

基于Qt组件的仿真智能车辆二维地图系统的设计与实现

本文介绍了自主式智能车辆仿真测试系统中的二维地图系统的基本设计思想与实现方法。在基于Qt组件的Linux环境下，本系统共设计了与地图相关的三类组件：地图组件、地图视图组件和地图符号组件，通过Qt提供的signals和slots机制实现组件间的通信。同时对基于对象的地图存储方式进行了介绍。     

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

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

网格调度仿真测试环境中自动机模型的研究

网格调度仿真测试环境通过模拟广域范围内的异构资源以及网格中间件的部分功能,为网格调度算法提供了测试环境.自动机模型来源于形式语言与自动机领域,在GridSim的基础上应用自动机模型,设计了仿真处理自动机实现了模拟过程的状态化,使得仿真测试环境具有了层次清晰、可配置和可扩展等优点.     

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

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

基于组件的软件系统自动化测试研究

本文重点研究基于组件的软件系统自动化测试问题。在对现有自动化测试框架进行总结的分析的基础上，提出了一个基于组件的软件系统自动化测试过程模型，将软件的自动化测试过程有机融入软件开发过程中，分析了每个测试阶段的主要任务和应该注意的问题，实现了不同测试框架的整合应用。     

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

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

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

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

一种面向TTCN 3测试系统的共享内存管理框架*

为了提高TTCN-3测试组件间通信的性能,在基于TTCN-3的基础测试平台上设计并实现了一套支持动态切换内存管理策略的共享内存管理框架,并在该框架下实现了三套不同的共享内存分配和自动回收策略.框架能够根据系统运行时刻的共享内存统计特征在这些策略中选择性能预期最好的一套,并动态地将当前内存管理策略切换为该套方案.在基础测试平台上运行一系列并发测试用例表明,该框架能提升内存管理以及整个系统的平均性能.     

基于脚本的构件测试自动化框架

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。     

Flexible Real-Time Linux*: A Flexible Hard Real-Time Environment

This paper presents a framework appropriate for Flexible Real-Time Systems (FRTS) and a run-time support system based on that framework, called Flexible Real-Time Linux (FRTL). The framework proposes to build each task as a sequence of mandatory and optional components and to separate their execution in two scheduling levels. This approach is shown to provide both hard guarantees and flexible behavior. The FRTL system has been implemented by enhancing the original capabilities of Real-Time Linux (RT-Linux), while maintaining its predictability and efficiency features. This paper also shows a complete schedulability test on which all sources of overhead of the FRTL itself have been introduced. By applying this complete test, the designer is able to safely guarantee a real-time application running on the FRTL system.     

机载TAWS设备测试考核系统的设计与实现

地形提示和告警系统能有效避免飞机可控撞地事故，对于保障飞行安全具有重要意义，为保证TAWS的实际装机使用，研制过程需要对其功能和性能进行完整的测试考核。在梳理适航规章和某型TAWS系统研制要求基础上，首先分析了系统测试考核需求，由此给出了测试考核系统总体框架；在设计测试考核系统所需的激励器基础上，搭建了测试考核环境，以实现对TAWS的功能和性能测试。通过测试考核系统与被测TAWS的对接和试验，验证了测试考核系统的有效性。     

An integrated runtime QoS-aware middleware framework for distributed multimedia applications

Future-generation distributed multimedia applications are expected to be highly scalable to a wide variety of heterogeneous devices, and highly adaptive across wide-area distributed environments. This demands multiple stages of run-time support in QoS-aware middleware architectures, particularly, probing the performance of QoS parameters, instantiating the initial component configurations, and adapting to on-the-fly variations. However, few of the past experiences in related work have shown comprehensive run-time support in all of the above stages – they often design and build a middleware framework by focusing on only one of the run-time issues. In this paper, we argue that distributed multimedia applications need effective run-time middleware support in all these stages to be highly scalable and adaptive across a wide variety of execution environments. Nevertheless, the design of such a middleware framework should be kept as streamlined and simple as possible, leading to a novel and integrated run-time middleware platform to unify the probing, instantiation and adaptation stages. In addition, for each stage, the framework should enable the interaction of peer middleware components across host boundaries, so that the corresponding middleware function can be performed in a coordinated and coherent fashion. We present the design of such an integrated architecture, with a case study to illustrate how it is simple yet effective to monitor and configure complex multimedia applications.     

分布式系统综合集成测试技术

提出一套用于分布式系统综合集成测试技术的方案,以系统软件配置项为对象来实现典型应用场景的建模,通过解析顺序图文件实现基于应用场景模型的测试用例生成和测试流程的定义,建立分布式系统的测试开发、设计环境,提供了在实验室环境和实际运行环境下支持测试过程自动化协同执行的分布式测试框架技术,给出了性能测试的解决方案,在该平台下能够进行分布式系统的用例设计及多种测试类型的即插即用和测试结果的诊断分析.     

面向构件化软件的合约检查测试框架

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B. Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架 (contract-checking test framework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。     

开放网络环境下软件运行时故障诊断研究

在开放网络环境中,软件运行时的故障诊断与查找是必要的.利用软件运行时的外在表现特征与所有可能的故障建立隐马尔可夫模型,在应用中收集软件运行时外在表现特征的数据,可以诊断出用普通方法不易诊断出的软件故障.在建立隐马尔可夫模型过程中,文中提出使用"3σ原则"来离散化连续型随机变量,其在变量离散化及确定参数先验值方面具有独特优势,操作既方便又符合实际情况,且具有严格的理论依据;同时,给出一个开放网络环境的应用案例.通过仿真实验,证实本文所提出的方法在软件运行时故障诊断方面较其他方法具有独特的优势.