一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

IOTEST在某型模拟对抗终端嵌入式软件测试中的应用

由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度。嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径。以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究。依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用。测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性。在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,本文分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术。设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性。     

基于Linux 集群的EAST 实验数据在线分析及可视化

超导托卡马克装置EAST 长稳态运行的方式需要对实验有重要影响的实验数据进行在线分析和数据可视化。介绍了Linux 集群的概念, 给出了系统总体结构功能设计方案和硬件总体结构方案, 阐述了实验数据在线分析和数据可视化的实现方法。     

基于B/S模式的网络化监控系统研究

针对嵌入式网络化数字视频监控系统,结合嵌入式技术的现状和发展趋势,提出了基于B/S模式的网络化监控系统总体设计方案。设计了相应的接口和外围电路,搭建了系统的硬件平台和软件平台,进行了嵌入式Linux操作系统的移植,交叉编译环境的建立,以及嵌入式软件开发平台的建立。构建了基B/S模式的网络化监控系统原型,并根据所设计的实验方案,对系统进行了详细的测试。实验表明基于B/S模式的网络化监控系统平台成功实现了通过网络对嵌入式设备的远程访问,并且能够通过Web网页对远程监控设备进行控制。     

燃煤机组脱硝电价监控系统移动平台的设计与应用

为了满足用户对脱硝电价监控工作实时性、互动性和个性化的需求,利用移动技术建立脱硝电价监控系统移动平台,基于PhoneGap、HTML5、SQLite等技术在智能终端上实现对燃煤机组脱硝全过程的移动监控和决策分析,将在线监控平台的服务场景延伸到现场,基于消息订阅群发机制实现了数据从监控系统到移动用户的快速传播;脱硝电价监控系统移动平台以更低成本、更高成效实现了对燃煤机组脱硝工作全天候、无限制的监控,是对现有在线监控系统的有力升级和扩展,拓展了传统的监管服务模式,使监管服务更加全面和多元化。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

舰船嵌入式软件测试用例自动驱动研究

针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率。     

基于指数加权卡尔曼滤波的组合定姿算法

嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试。在总结分析嵌入式测试领域的新需求的基础上,提出了一种基于分布式仿真测试环境的嵌入式软件自动化测试系统。该系统具有较强的测试管理能力,以实时仿真机为核心,以及接口的模块化定制,实现了对系统动态特性的半实物仿真软硬件环境,很好的解决了嵌入式系统内存资源较少,与硬件紧密相关等问题。     

嵌入式软件自动化测试系统研究

嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试;在总结分析嵌入式测试领域新需求的基础上,提出了一种基于分布式仿真测试环境的嵌入式软件自动化测试系统;该系统具有较强的测试管理能力,以实时仿真机为核心,以及接口的模块化定制,实现了对系统动态特性的半实物仿真软硬件环境,很好地解决了嵌入式系统内存资源较少,与硬件紧密相关等问题。     

阵列天线控制系统的可重构技术

针对控制系统软件在线更新或升级维护的需要,构建了SoPC远程更新系统,研究了一种远程在线更新FPGA硬件配置文件和Nios II软件可执行文件的可重构方法。通过硬件配置代码和软件可执行代码引导顺序的分析,设计了高级BootLoader,可以从任意指定地址加载应用模式映像软件代码;EPCS存储用于远程更新的工厂模式映像和多份用于天线相位控制的应用模式映像;采用自定义的CAN应用层协议,用于传输及校验数据,保证了传输的可靠性。实验验证了方案的可行性,系统可进行多份配置程序的自由切换;即使远程更新失败,FPGA也能自动加载工厂模式映像,提高了系统安全性和可靠性。     

ATE软件系统研究与设计

针对自动测试软件平台的通用化和智能化,把软件测试中的模型驱动思想应用于硬件自动化测试系统中,提出了通用测试集成环境(GTIE)的概念,并进行了详细研究与设计,包括软件分析、软件设计以及软件实现过程。充分利用了UML思想对整个软件系统进行建模,其中包括软件的功能、静态结构、动态行为等,使软件的开发标准化。所实现的GTIE可有效提高测试程序的开发效率,降低开发成本,并使测试程序具有非常好的通用性。     

动态场空间分布实时测量装置的研究

描述了一套多路动态场空间分布实时测量系统，该系统是一套以微要为中心的数字化系统，可实现多路动态场空间分面睥精神病时测量。系统由微机、TMS320C50板、开关电路、检波器、传感器、放大器等设备构成硬件系统，并通过编制C50板嵌入式软件和微机主控程序实现系统功能。     

光电经纬仪电控系统数据在线调试分析研究

针对光电经纬仪嵌入式电控系统便携式调试的要求,设计了一套在线调试分析系统,上位机采用ATEML公司的哈佛处理器TSC21020-20MB为核心实现嵌入式的MCU控制系统,下位机由美国Silicon Laboratories公司的新一代具有USB2.0接口的C8051F340(简称F340)单片机和普通便携式计算机(简称PC)上运行的GUI程序组成在线调试分析系统。通过下位机在线或事后数据分析,实现了参数整定,协助上位机,进而实现对运动目标的监测、搜索与捕获、精确定向和稳定跟踪。为解决调试问题提供了一种全新的思路和新颖的方法。     

基于三重人脸识别身份验证的门禁管理系统设计

针对目前门禁管理系统存在的身份验证模式较单一、安全级别较低等问题,并且为满足高保密性、高安全性场合的需求,设计了一种基于移动Android终端、嵌入式现场终端以及上位机系统的三重身份验证的安全门禁管理系统,并且利用人脸识别技术的独特性进行控制。简单介绍了系统的软件和硬件开发平台、系统整体的网络拓扑结构,给出了系统的整体实现与运行框架,并且详细设计了基于移动Android端、嵌入式端以及后台服务器端的三个子系统的软件部分,包括流程图设计及各个软件界面设计。进行多次模拟试验,最终给出整个系统的部分运行效果图。结果表明,该系统能够进行三重身份识别验证,准确度较高,运行稳定,能够很好得满足特殊场合的需要,具有良好的实用前景和推广价值。     

J-TEXT 远程参与实验系统的设计与实现

设计了一个开放平台使研究者能够远程参与J-TEXT 装置实验,应用Representational State Transfer (RESTful)软件架构模式实现Web 应用,提供大量的开放API 给开发者开发托卡马克应用软件。认证和授权功能避免了开放的API 被用户恶意使用。J-TEXT 装置远程参与实验Web 应用使用了ASP.NET SignalR 框架,在实时刷新界面状态方面取得良好的效果,还实现了多种服务器推送信息的策略。系统具有良好的灵活性,兼容 Experimental Physics and Industrial Control System (EPICS)软件,目前已经集成到J-TEXT Control, Data Access and Communication (CODAC)系统中使用。Web 应用和Android 应用的测试和使用结果表明,系统能够连续稳定运行,可以满足装置远程参与实验的需求。     

基于嵌入式计算机的核测系统设计与应用

嵌入式系统以功能专一、集成度高、可靠性高、功耗低等优点,在核测量领域方面有着巨大的应用前景。设计基于嵌入式计算机PCM-3343核测量系统具有模拟信号采集、脉冲信号采集、开关量信号采集、模拟输出、开关量信号输出等功能,以触摸屏、液晶屏、键盘鼠标作为人机交互接口。根据功能要求,硬件上设计了基于PC104总线的具有相应功能电路模块,软件方面设计了基于FPGA的功能模块、基于Windows CE 6.0的嵌入式操作系统的应用程序和基于迪文触摸屏的软件界面。该系统在核电厂硼浓度计、反应堆集中数据采集系统、数字反应性仪等设备上均有良好应用。     

激光气体分析仪中数字滤波器的设计

由于基于可调谐二极管激光吸收光谱（TDLAS）技术的激光气体分析仪的二次谐波信号中存在较大的系统噪声,本文利用有限长单位冲激响应（FIR）,提出了激光气体分析仪的二次谐波在线滤波方法。在分析FIR数字滤波器原理的基础上,利用MATLAB窗函数设计了适合本激光气体分析仪的数字滤波器。然后,将仿真的FIR数字滤波算法移植到激光气体分析仪嵌入式系统中。最后,比较了滤波前后二次谐波信号波形,说明了在激光气体分析仪嵌入式系统中采用基于FIR数字滤波器滤波算法的可行性。实验结果表明：FIR数字滤波器对一组二次谐波信号进行滤波的运算时间为230ms,滤波后的二次谐波信号波形获得了较好的去噪效果,能够满足激光气体分析仪对含有噪声的二次谐波信号进行平滑去噪的要求,且滤波算法结构简单、运算时间短、可移植性强。     

基于数据挖掘的高校管理信息系统设计与实现

高校事务信息的数据规模较大,更新速度较快,复杂度较高,需要设计有效的高校管理信息系统,提高信息管理能力。传统的高校管理信息系统设计采用嵌入式Visual Basic的信息管理系统构架方法,系统的信息再植入能力和多线程处理性能不好,提出一种基于多元特征数据挖掘和嵌入式Linux内核的高校管理信息系统设计方法。首先在嵌入式Linux的核单元中进行高校管理信息系统总体设计和文件配置,进行系统的功能模块分析和技术指标描述。设计基于相空间重构和关联特征提取的数据挖掘算法,进行高校管理信息的有用特征挖掘和提取。以数据挖掘结果进行程序加载和引导,进行高校管理信息系统的软件开发和设计,主要包括程序加载模块、数据存储模块、交叉编译模块以及网络通信模块的设计,实现基于数据挖掘的高校管理信息系统的改进设计。实验结果表明,采用该系统进行高校管理信息的挖掘和存取调度,具有较好的可靠性和人机交互性,系统的吞吐性能和执行时间开销等指标具有优越性。