P-NHPP量化缺陷注入在软件可靠性中的应用

为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种基于PNHPP的软件可靠性研究的故障注入机制。该机制在生成故障注入方案时应用构件化的软件体系结构,充分考虑故障数量分布、故障注入方案生成器等因素,实现了基于P-NHPP可靠性模型的设计,从而能够合理地反映程序真实的失效情况,并集成到自行设计的实验场景中进行验证。实验结果表明,基于P-NHPP量化缺陷注入的软件可靠性评估方法的有效性和合理性不亚于传统的方法,大大提高了软件开发的质量和效率。     

一种面向软件可靠性评估的故障注入机制的设计与实现

为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地反映程序真实的失效情况.实现了故障注入方案生成器,并集成到自行开发的基于Intel PIN框架的动态软件故障注入工具软件中.为了验证所提出的故障注入机制的合理性和有效性,以TINY语言编译器、LZ77压缩程序、CRC32程序为例,分别通过测试和故障注入实验的方式收集了相应的失效数据,然后用Jelinski-Moranda模型计算得到了2组很接近的可靠性指标值.实验结果表明,基于故障注入的软件可靠性评估方法的有效性和合理性不亚于传统的基于测试的方法,故障注入方法更适用于较大规模程序的可靠性评估,采用指数分布的故障发生时间分布假设更能反映程序真实失效情况.     

软件可靠性测试方法新探

针对传统软件可靠性测试方法在对软件因长期使用软件性能下降,甚至完全失效这种严重影响软件可靠性的测试存在不足的现状,通过对软件自身特性以及软件可靠性估算面临问题的深入分析和研究,结合传统的软件可靠性测试方法,提出了基于操作剖面的软件可靠性压力测试思想和操作剖面、压力测试点相互结合、互为补充的软件可靠性测试方法,并给出了软件可靠性测试新方法实施的技术途径.该思想与方法既是对传统软件可靠性测试方法的一个大胆探索,也是对软件可靠性测试方法的一个有益补充.     

基于软件故障注入模型的容错软件可靠性评测

为了灵活准确地用故障注入技术对容错软件进行可靠性评测,通过对故障注入及容错软件可靠性评测的分析,采用分布式结构,提出了一个动态生成一静态存储一动态触发的故障注入模型,它将故障生成和故障触发分开在不同的机子上实现,从而在保证评测准确性的前提下,解决了故障需求复杂、故障生成困难及目标系统额外负载过大等问题,实现了一个较为理想的故障注入模型;最后,通过在航天某型号容错软件上的试验,证明了该模型的可行性。     

MVB总线故障注入方法研究与实现

为满足列车通信网络(TCN)中多功能车辆总线(MVB)设备的测试验证要求,基于一般总线测试方法,结合MVB总线协议特点,提出一种基于故障注入技术的测试方法。通过对板卡寄存器的定义与配置,开发了基于VS平台的MVB故障注入设备驱动程序,从电气层、物理层、协议层三方面,详细给出了MVB总线故障注入方法和部分驱动程序。通过Wireshark抓取报文的方式,验证了故障注入的准确性,证明了此方法的可行性和正确性。     

基于软件故障注入的容错性能评测技术

软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows2000系统的双机网络容错系统评测方法。     

软件可靠性加速测试方法研究

文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点,对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总结和论述,探讨了软件可靠性加速测试中存在的问题和难点并对其发展前景进行了展望。     

基于故障注入的仿真测试方法过程框架

在嵌入式系统组成特性和嵌入式软件测试抽象分析基础上,提出了一种基于故障注入的嵌入式软件仿真测试方法.结合故障注入试验过程特点,将故障分析、故障建模和故障注入技术有效地应用于嵌入式软件仿真测试过程中,并对该方法的测试过程框架进行了探讨.     

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法．分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。     

基于STAF的故障注入自动化测试平台

为提高高端容错计算机故障注入自动化测试的执行效率,基于开源的自动化测试工具STAF,设计一个可集成多种故障注入工具的分布式自动化测试平台。论述分布式运行环境与平台软件架构,给出任务控制算法的流程,对故障注入模块进行分析。实验结果表明,该平台可提高测试任务的复用性,缩短测试时间。     

基于CAN总线气体监测系统的通讯可靠性分析

对基于CAN总线的大型气体监测系统的通讯可靠性从网络容量、系统硬件、系统软件和CAN总线上层通讯协议等方面进行了详细的分析，并给出了相应的设计方法，经过对样机的系统测试，可靠性得到了显著提高。     

基于DSP的CANopen通讯协议的实现

CANopen是一种开放的应用层协议,其应用可以进一步提高系统的可靠性、通讯效率及灵活性,而且可以使产品具有很好的兼容性。本文采用CANopen通讯协议实现了CAN总线DSP系统与上位机CAN卡之间的通讯,并通过测试实验验证了信息传递的可靠性,保证了全数字网络化伺服驱动系统中对电机控制的准确性和实时性。     

一种测控通信平台的数据发送机制

根据UDP协议的特点,介绍了测控通信平台的功能和逻辑结构。通过对数据通信流程的分析,提出了数据发送机制设计的新方法,同时,针对发送定时器带来的负面影响,提出可行的处理方法。本设计有效地提高了测控通信系统的可靠性和实时性。经过测试,本设计能够满足测控通信系统功能要求。     

以太网分布式测试系统中实时传输技术研究

介绍了分布式测试系统中通信的特点;分析交换式以太网的工作方式及以太网中端到端延时的因素;针对测试系统中实时传输的要求,利用UDP传输的高效性,提出一种基于UDP用于测试领域的可靠传输协议RUT(Reliable UDP for Test System);通过设置接收缓冲区,发送缓冲区,以及对发送的数据进行确认等措施,保证数据在测试网络中可靠传输;经过测试该传输协议具有较好实时性和可靠性,并应用于工业测控领域。     

基于μC/OS-Ⅱ系统的HISLIP代理的设计与实现

针对目前已有的测控系统实时性差、准确性不够、操作不便等缺陷提出了基于μC/OS-Ⅱ系统的HISLIP(High Speed LAN Instrument Protocol)远程测控代理的设计方案。该系统底层硬件采用恩智浦公司的LPC1768微控制器,操作系统采用可靠性、移植性和安全性较好的μC/OS-Ⅱ操作系统;网络层基于TCP/IP(Transmission Control Protocol/Internet Protocol)协议。传输层以客户端服务器(C/S)模式实现HISLIP协议,并将其作为整个测控系统的通信协议。设计实现了以HISLIP协议为主的仪器通信的软件系统,在对代理的软、硬件的设计、编程和测试,实现了远程测控通信的功能模块的实时性、准确性、操作便利的设计要求。     

主从式矿用组合开关通信系统的研究

介绍了3.3kV智能型矿用组合开关控制系统的拓扑结构和各模块工作原理;针对该控制系统对于通信可靠性和实时性的需求,提出了一种基于C8051F040单片机和RS485总线的主从式矿用组合开关通信系统设计方案,详细介绍了该通信系统的硬件设计、通信协议及上下位机之间通信的实现过程。测试结果表明,该通信系统数据传输准确可靠,实时性高。     

基于VB6.0的变频器与计算机通讯程序设计

针对在摩擦磨损测试系统中,计算机通过变频器控制试样的速度,介绍了变频器工作参数设置、连接、变频器的通讯协议(USS),分析了VB6.0通讯控件MSComm的基本属性,提出了利用MSComm控件进行变频器与计算机通讯程序的设计,给出了程序设计流程图和系统中变频器与计算机通讯的关键源程序代码。在所设计的摩擦磨损测试系统中,实现了计算机对变频器的任意控制。实际运行结果表明,所设计的变频器通讯控制程序,具有很好的稳定性及可靠性。     

基于Ethernet的分布仿真实时通信技术研究

在现有Ethernet网络环境下,为了满足分布仿真系统对网络通信的要求,提出了一种面向分布仿真的实时通信协议。该协议结合TCP和UDP网络协议的优点,采用了点播和广播相结合的混合通信方式、运用了差错控制级别可调技术,实现了一种经济高效的网络数据传输。试验结果表明:使用该协议进行数据通信时,具有实时性好,可靠性高等优点。     

3GPP中基于拥塞控制的协作DSR路由协议研究

针对现行的3GPP网络路由协议在路由选择时存在的可靠性低、路由开销大等问题,分析了网络中通信节点的工作状态,综合考虑协同合作方式的DSR路由机制和拥塞控制策略对3GPP网络性能的影响,提出了一种基于拥塞控制的增强型协作DSR路由协议,并通过3GPP网络系统级仿真验证改进后的协作路由协议的通信性能。仿真结果表明,所提的协作DSR协议显著提高了3GPP网络通信性能,在提高网络资源利用率的同时改善了数据传输的可靠性。     

一种高效的串行通信协议的制定及实现

探讨了一种基于串行通信的简单、高效的通信协议制定方法.实验结果证明,该协议有效提高了串行通信的通信效率.