基于嵌入式开发的白盒测试插桩技术研究

以往的白盒测试插桩方法普遍不能精准定位到目标插桩,语句覆盖率不符合要求。为了解决这个现象,提出一种基于嵌入式开发的白盒测试插桩方法。所提方法先对嵌入式开发的插桩技术原理进行介绍,提出使用在线嵌入式测试软件Code TEST进行自动插桩的理念。设计基于嵌入式开发的白盒测试插桩进程,分程序标准化、插桩顺序划分和覆盖率分析三步进行。并介绍插桩顺序块划分方法、插桩方位提取规则以及插桩信息分析方法。实验结果表明,所提方法拥有很高的语义覆盖率和分支覆盖率。     

基于顺序块的嵌入式白盒测试插桩技术研究

深入研究嵌入式软件的白盒测试技术,提出基于宿主平台的嵌入式软件测试构架。针对语句覆盖测试,提出一种基于顺序块的插桩方法,能有效减少桩的个数,从而减少桩函数对测试过程的影响。针对分支覆盖率测试,插桩后的被测程序运行在ARMulator上,桩获取器分析桩信息,得出程序运行中的实时语句覆盖率。实现了嵌入式软件测试平台ARMTest,实验证明:该模型能获取实时的语句覆盖率,有效进行白盒测试。     

基于PC/104嵌入式计算机的惯导模拟器设计

在介绍某型飞机任务系统训练模拟器原理的基础上,阐述基于PC/104嵌入式计算机的飞机惯导模拟器的研制方案,给出模拟系统的硬件电路和软件程序设计,最后用某型飞机任务系统训练模拟器进行了组网导航训练测试,测试结果显示该模拟系统性能稳定,简单可靠,满足设计要求.     

微波着陆系统信号模拟器设计

介绍了一种基于FPGA的微波着陆系统信号模拟器,采用基于函数发生器方式设计,由计算机根据微波着陆系统的信号格式计算各种信号数据,将信号数据灵活下载到存储器中,按照要求可产生正常或异常的信号及控制时序.实际测试和应用证明,信号模拟器的性能指标达到设计要求.该方法可应用于多种信号模拟器的设计.     

基于插桩技术的动态测试研究与实现

为了动态进行白盒、黑盒测试,设计实现了基于源代码插桩的动态测试工具,该工具包含了源代码的预处理方法、插桩库设计、插桩策略以及统计分析等内容。通过对源代码的语法、词法分析,对其插桩能获取最高的准确度,并且设计在函数执行,结束之前统一将桩信息写入桩文件中,减少了大量的I/O操作。最终,通过测试用例的执行获得了覆盖率、执行时间、复杂度等测试数据,正确地得到了测试用例优劣性的指标。     

嵌入式GPS/北斗双模卫星信号模拟器的设计与实现

GPS卫星信号模拟器能够模拟真实环境下的卫星信号,为测试接收机的性能提供一个仿真的信号源。我们主要讨论一种基于嵌入式系统的信号模拟器设计方案,并对其中的关键技术进行了分析,最后给出了一种可实现的硬件结构。     

基于插桩测试的XACML策略分析

基于属性声明的XACML语言,在策略表达上结构清晰,能够满足多种环境下的访问控制需求,但在策略调用过程中会出现差错。因此,在使用之前需要对策略进行分析。基于插桩测试的XACML策略分析方法,主要是针对解决访问控制策略里的一些主体的超越权限访问。文中通过在原策略中插入断言式条件语句得到新策略,后对新策略进行测试,与预期结果比较进而得出结论。实验通过向策略中插桩,对策略进行测试,分析出策略是否达到预期。     

基于S3C2440的测试系统数字稳压电源设计

通过对所需求电源的分析,结合嵌入式控制技术,提出了一种基于S3C2440的测试系统数字稳压电源解决方案,以及实现该方案所采用的方法。该系统基于ARM控制技术,对数据进行采样,运用适当的算法进行电压调节和电路保护,以达到为测试系统提供稳压电源的目的。设计的系统经过实际应用,所提供的电源稳定可靠,满足芯片测试所需电源的要求。在此给出了系统的硬件构架和软件设计流程图。     

半主动激光制导炸弹测试系统设计

针对某半主动激光制导炸弹的测试需求,设计了基于PXI总线的测试系统,同时研制了激光目标模拟器、数据链指令机等专用测试设备,利用RS422总线将相关专用测试设备与测试系统相连,并结合卫星信号模拟器构建了一套半主动激光制导武器测试系统。该系统可完成武器在挂飞段、攻击飞行段等整个工作过程的性能指标测试,保障了武器在整个研制、生产交付过程中的各种试验验证等工作。     

机载数据中继系统模拟器的设计

分析机载数据中继系统的组成和机载天线控制特性,使用真实数据接收机解调并输出数据,使用软件模拟机载天线运动和波束特性,完成半实物仿真方式的机载数据中继系统模拟器的设计.通过高速以太网和RS-485现场总线的两级控制网络的方法,两台嵌入式计算机协同完成仿真任务,中继模拟器具备单独节点可操作能力和快速实时响应特性,该方法在复杂设备的仿真中具有明显优点.中继模拟器经过了可靠性、维修性、测试性、保障性评估试验,在实际使用中效果良好.     

一种基于EPP协议的通用雷达信号模拟器设计

论述了一种通用雷达信号模拟器的设计与实现，该模拟器中计算机与外设通过EPP并行接口进行数据传输。介绍一种以存储器芯片为核心的雷达信号模拟器，并探讨了可编程逻辑器件在该模拟器中的应用。模拟器采用软硬件结合的方法，模拟生成雷达接收机末端的视频信号输出。该仪器可用于调试和测试雷达信号处理机，通过计算机输入不同的数据，以达到不同的测试要求。该仪器使用灵活、适应性强、成本低、可根据需要改动或扩展其功能。     

基于SAE J1939协议的发动机总线数据模拟器开发

为测试仪表性能,针对具有CAN总线接口的汽车仪表,开发了基于SAEJ1939协议的发动机总线数据模拟器。该系统采用USBCAN-Ⅱ作为发动机总线数据模拟器和仪表间的硬件接口．用C#语言开发设计发动机总线数据模拟器。该系统能够作为一个虚拟节点模拟发动机向总线网络发送发动机参数报文和故障报文．从而对总线网络上的另一节点仪表进行测试,检验仪表的性能。此外,该模拟器还能实现数据帧信息显示、虚拟仪表显示、帧回放等多项功能。实验结果表明,该系统能够稳定发送报文至仪表并在仪表上实时显示,可以代替真实的发动机完成测试工作．开发周期和成本至少降低了10％。     

基于ARM的I2C设备控制方法的实现

AT91SAM7X256是Atmel公司推出的基于ARM7的工业级芯片.I2C总线以其简单性和高效性而广泛用于微控制器与外设的连接中,通过分析AT91SAM7X256的TWI接口控制方法,设计电路并编写I2C设备驱动程序,采用IAR开发环境和J-LINK仿真器进行软件的在线调试和加载运行,实现时间数据的读取和存储.基于ARM实现2个I2C设备的控制,同时驱动模块可用在嵌入式系统中完成历史时间数据的记录.     

基于嵌入式Linux与QT的汽车虚拟仪表设计

为了简化汽车内部控制系统,降低汽车制造成本,提高人车交互界面的友好度,设计并实现了一种新型的汽车虚拟仪表。采用以ARM处理器S3C6410为核心的硬件平台和以嵌入式Linux系统为核心的软件平台,并在此基础上采用开放源代码的图形界面库QT开发仪表终端应用程序。经试验验证,虚拟仪表系统具有成本较低、界面友好、反应灵敏等特点,并在跨平台性、可扩展性等方面得到了显著改善。     

DSP航姿信号模拟器硬件设计

介绍了一种航姿信号模拟器的设计与实现,该模拟器是基于DSP的设计方案,硬件设计部分应用了TI公司的TMS320F2812数字信号处理芯片作为控制部分,和中船重工的12SXZ D/A转换芯片作为航姿信号产生的核心。该模拟器可与计算机接口或直接嵌入自动测试系统中,具有跟踪速度快、精度高、控制简单等特点。     

飞行模拟器仪表仿真的设计与实现

飞行模拟器正是训练飞行员的重要地面训练设备,是经济、高效、安全的训练方式。本文应用GL Studio软件对飞行模拟器的重要部分仪表系统进行仿真模拟,完成仪表系统的设计。详细介绍了仪表系统的建模过程,仪表代码的编写及实现。     

基于SOPC技术的雷达信号回波中频模拟器研制

介绍了一种基于(System on Programmable Chip,SOPC)技术并结合虚拟仪器的设计理念的雷达信号回波模拟器。分析了基于虚拟仪器设计理念的模拟器系统的结构特点,并重点论述了与片上系统模拟器研制相关的高速VLSI数模混合系统设计的关键技术。SOPC系统采用VIRTEXII2000,系统主频为200MHz可输出80MHz以下的中频信号。     

Windows CE平台下排队机呼叫系统的移植研究

Windows CE作为一种嵌入式系统在实际应用中取得了良好的效果。为了缩短嵌入式软件的开发周期,节约成本,满足日益增大的嵌入式系统应用软件需求,探讨程序移植方法在嵌入式软件开发中的可行性。介绍一种将现有的windows程序移植到Windows CE平台的方案,该方案在原有的Windows程序基础上,通过调整字符长度,修改Windows CE平台不兼容的MFC和API函数,实现了嵌入式软件的移植。采用该方案成功地将一套Windows平台下排队机呼叫系统移植到Windows CE平台上,实现了其原有的功能。实践表明程序移植是进行嵌入式软件开发的一种行之有效的方法。     

基于FPGA的Petri网模拟器设计及应用研究

Petri网模拟器是程序设计与测定的主要方法。本文结合Petri网的相关理论,着重从程序编译、网库变更等方面,分析了基于FPGA的Petri网模拟器设计思路及实际应用方法。     

短沟道GaAs功率MESFET器件的二维有限差分数值模拟

本文系统叙述了用于分析短沟道GaAs MESFET器件特性的二维稳态数值模拟通用软件。模拟中首次考虑了GaAs器件内部杂质的非均匀分布及短沟道效应,以使求解符合实际;为了加快模拟收敛速度及精度,采用改进的有限差分算法对短沟道GaAs MESFET功率器件进行了模拟计算,取得了与实验相一致的结果。本通用软件具有自动网格划分,自由格式输入及模块化结构等特点,可方便、准确地描述GaAs MESFET内部的物理图象,预测器件在不同偏置下的特性。