线性驱动的分布式数据库容错性自动化测试

大规模的分布式数据库中,诸如网络分区、信息丢失、节点宕机等软硬件故障无法避免.为了提高分布式数据库的可靠性、验证容错协议的正确性,分布式数据库应定期进行故障注入测试,即在系统运行过程中人为引发故障.然而各种故障的组合空间太大,无法枚举.已有的测试方法:一类是随机式故障组合,其实现方法简单但不能保证探索了所有的故障组合;另一类是通过专业知识分析系统构成并设计的故障组合,其测试结果更加完善但不具备普及性.以线性数据驱动的故障注入测试LDFI (Lineage-Driven Fault Injection)为原型,在分布式数据库的基础上,实现了一种同时具有完备性和普及性的自动化故障注入测试工具.实验结果表明,该测试工具能够以更少的测试案例,发现随机式故障注入无法发现的复合故障组合所引起的系统漏洞(bug),提高了数据库的可信度.     

新能源汽车硬件在环测试系统环境搭建及测试流程综述

硬件在环测试系统在新能源汽车电控系统的开发、测试、验证过程中具有重要的地位,基于硬件在环(HIL)测试设备的环境搭建和测试流程是电控系统开发过程中的关键技术环节,通过建立完善的环境搭建和测试流程技术体系,并结合HIL测试的完整实施方案,实现HIL测试的完整测试平台体系建设,对于汽车电控系统的测试具有重要的意义。     

分布式实时系统的软件故障注入

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。     

基于PC机的汽车故障诊断系统研究

通过对ISO 9141诊断通信协议的分析,针对使用该协议的汽车车载诊断(OBD)系统,开发了协议转换电路板、基于PC机的汽车故障诊断应用软件。它通过数据连接口(DLC)与车载电控单元(ECU)通信,以获取故障诊断数据。软件部分的设计采用Visual C++编程,这使串口通信模块能够为应用程序提供良好的软件接口,达到更好地处理数据、分析数据的目的。诊断软件采用了基于对话框的MFC编程,实现对诊断信息采集、故障码读取和消除、数据流显示和分析、实时动态曲线展示的功能。     

VXI总线汽车电控装置测试系统设计

阐述基于VXI总线的汽车电控装置自动测试系统的设计原理与实现方法．软件上提出了模块化的设计方法,利用测试数据库和测试控制字的方法来控制测试流程．系统已成功应用于三型汽车电控装置的检测．实践证明：该系统具有测试精度高、测试时间短、可靠性高、实用性强等特点．     

一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。     

基于RX850实时操作系统的柴油机高压共轨电控系统软件开发

柴油机电控系统软件是整个控制系统的关键.为了提高柴油机电控系统性能,将RX850实时操作系统引入到系统软件的开发过程中.开发电控系统软件时,采用先将软件系统模块化、然后进行详细任务划分的方法,有效地提高了软件的开发效率.结果表明,基于实时操作系统进行电控系统软件开发,是提高柴油机电控系统性能的有效途径.     

传感器在环自动泊车仿真测试系统设计

针对智能网联汽车自动泊车功能实车测试成本高、周期长、重复性差问题,基于硬件在环及计算机数值模拟仿真技术,以自动泊车传感、控制系统为主要测试对象,搭建实验室环境下传感器在环自动泊车仿真测试系统,借助美国国家仪器公司(National Instruments,NI)软硬件实时平台、CarMaker虚拟仿真场景软件模拟仿真自动泊车交互场景、车辆底盘动力学特性及超声波传感器特性,集成开发摄像头视觉注入板卡、超声波物理回波仿真板卡仿真模拟传感器物理信号,虚实结合构建了完整的传感器在环自动泊车测试验证环境.以某车型实车带自动泊车功能的智驾控制器、超声波传感器为被测对象,搭建垂直停车位场景对仿真测试系统进行测试验证,仿真实验结果证实测试系统能够为自动泊车提供安全、高效的测试验证平台,助力自动泊车控制算法开发.     

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

线控转向系统关键技术综述

汽车转向系统先后经历机械转向、液压助力转向和电动助力转向几个阶段,然而目前电动助力转向或电控液压助力转向等难以满足智能汽车对转向技术的需求。线控转向系统作为线控智能底盘重要组成部分,是智能汽车架构中必不可少的智能转向系统。为剖析线控转向中的关键技术和发展趋势,本文将从线控转向的发展概况谈起,之后分别针对线控转向系统关键软硬件技术进行了全面概述,包括对比分析了4种路感反馈策略、智能算法在位置闭环的应用及双电机协同控制策略、基于线控转向中主动前轮转向的车辆稳定性控制研究、面向功能安全方面的软件冗余方案和硬件冗余方案;最后,对线控转向系统的未来研究趋势进行了展望,指出线控转向系统将朝着真实舒适、精准快速、安全可靠和集成控制的方向发展。     

单片机应用系统的可靠性设计

可靠性设计是单片机应用系统设计必不可少的设计内容。本文从现代电子系统的可靠性出发,详细论述了单片机应用系统的可靠性特点,提出了芯片选择、电源设计、PCB制作、噪声失敏控制、程序失控回复等集合硬件系统的可靠性设计技术和软件系统的可靠性设计技术的解决方法,可供单片机应用系统的开发人员借鉴与参考。     

基于CAN总线的汽车发动机智能电子控制器

ECU 作为汽车发动机控制系统的核心,对其进行自主知识产权的智能研究是十分必要的。结合国内实际和总结分析现有系统,采用世界先进技术和综合设计思想,给出了基于 CAN 总线的汽车发动机智能电子控制器的设计方案,包括系统硬件控制结构和软件控制算法,这是进一步设计整体控制系统的前期基础工作。     

CAN总线汽车仪表系统的抗干扰分析与设计

抗干扰设计始终是电子应用设计的重要环节。基于汽车工作环境的复杂,对CAN总线汽车仪表系统的抗干扰进行了分析和设计。在设计时,充分考虑可能出现的各种干扰及其产生的影响,通过从系统的软硬件方面采取相应措施,尽量提高系统的抗干扰性能。     

随动转向汽车前大灯定位控制研究

建立随动转向机构的定位反馈环路和归零处理,改进电控单元对步进电机的控制方式可以减少机构的滞后响应.软件实施静态测算预处理和动态非线性变换算法.可以提高系统定位精度、改善动态响应速度.所研究的定位系统通过了台架试验和道路试验.结果表明,系统能够有效地消除积累误差,实现大灯光束精确定位和准确控制.     

微型传感器在汽车工程中的应用

介绍了基于微机电系统(MEMS)技术的微型传感器的特点和发展概况,以及应用在汽车发动机控制、安全系统等方面的微型传感器的原理、特点和主要技术参数。并简要介绍了高温微电子在汽车上的应用。同时,预测了未来汽车微型传感器的发展趋势和市场应用前景。     

汽车电子桩考仪语音系统的设计研究

采用ISD2560语言芯片和AT89C52单片机设计应用于汽车电子桩考仪中的语音系统.介绍了汽车电子桩考仪和ISD2560芯片的特点,根据芯片特点和所需实现的功能进行软硬件设计并给出了系统的硬件电路以及录、放音使用的源程序,实现语音提示的分段录音、循环及组合播放.现场实际应用表明,与其他语音电路比较,本系统具有电路简便、软件编程方便灵活、集成度高、使用方便等特点.     

智能汽车防撞报警系统设计与实例分析

基于AT89C51原理设计了智能汽车防撞报警系统,给出了系统的硬件构成和软件程序设计,系统采用了温度补偿装置,提高了测距的精度。     

计算机实时应用系统的几种容错技术

重点介绍了计算机实时应用系统软件及硬件的几种容错方法，这些方法对提高系统的功能、性能及可靠性有着重要的意义。     

基于单片机的智能广播系统

针对学校教学与管理的具体需要，本文介绍了一种以单片机为核心的校园广播系统，硬件上结合了时钟、语音芯片和液晶显示屏，给出了硬件基本的框图和系统软件结构，并对控制字作了简单介绍，实践表明其与专人管理校园广播相比有很大的优越性．