数据流相关软件故障的静态检测

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.

一种基于数据流趋势与相关性分析的汽油机空燃比故障实时检测方法

本文中根据汽油机空燃比故障的特点,提出了一种基于数据流趋势异常和相关性分析的故障实时检测方法。为了提高准确率和运行效率,通过衰减和时间判断法在误差累积和算法CUSUM基础上进行改进,对数据流之间的相关性进行快速估计,使整个系统能运行在对资源比较敏感的车载平台上。在长安福特发动机上的实验结果表明,相比传统的基于SVM和神经网络的故障检测方法,该方法能以较低的资源消耗获得更好的故障检测效果。

基于数据链的软件故障定位方法

软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果.

考虑故障相关的软件可靠性增长模型研究

软件可靠性增长模型是用来评估和预测软件可靠性的重要工具.目前,绝大多数的软件可靠性增长模型并没有考虑故障之间的相关性,也没有考虑测试环境和运行环境的区别.文中提出了一种随机过程类非齐次泊松过程(NHPP)中的考虑故障相关性、测试环境和运行环境差别的模型.在两组失效数据上的实验分析表明:对这两组失效数据,文中提出的模型比其他一些非齐次泊松过程类模型的拟合效果和预测效果更好.

基于数据流的软件抗衰重启技术研究

制定准确实时的细粒度软件抗衰策略可以进一步增强策略的准确性,优化重启效果,提高软件可靠性。在数据流的基础上,结合了软件抗衰重启理论,定义了基于数据流得软件系统模型,制定了较为全面的系统性能参数,并且通过异常模式提取和趋势分析的方法有效地对软件异常子系统进行预测,确定出系统的重启层;同时给出了新型告准确度的重启相关度的计算方法,增强了其实时性和准确性,从而为执行高效准确的细粒度软件抗衰提供支持。

嵌入式可编程安全相关系统软件故障控制措施及算法研究

针对MCU安全相关系统的软件故障,开发了可编程控制系统软件故障控制措施及算法,适用于MCU内部结构故障控制和输入输出故障控制,包括CPU、可变和不可变存储器、中断、时钟及I/O接口等部件的故障控制。这些控制措施及算法经过第三方检验机构确认,符合IEC60730/IEC60335/UL1998/CSA.08等标准对软件故障控制的要求。这些控制措施及算法不仅适用于家用电器等低复杂度产品,也可以拓展适用于其他更高要求的产品的可编程安全相关系统的软件故障控制。

基于流类型的SDN数据平面故障恢复算法

软件定义网络(software defined networking,SDN)的网络拓扑中,链路故障恢复目标是保证故障恢复时延在可容忍范围内、减少数据包丢失和节约交换机存储资源。现有研究方法对链路故障恢复考虑了恢复时延、数据包丢失率、网络吞吐量等因素,没有考虑数据流对网络带宽的要求及运营商/用户的一些特殊限制。为了解决以上问题,同时满足故障恢复时延要求和运营商/用户定制化需求,提出了基于流类型的SDN数据平面故障恢复算法(failure recovery algorithm based on flow type in SDN data plane,FR-FT)。该方法根据服务质量要求将数据流分为3类,将运营商/客户的定制化需求绑定到不同数据流上,根据对应约束条件对不同类型数据流制定不同故障恢复策略。仿真结果表明,该方法可以减少交换机流表项消耗、故障恢复时延、数据包丢失率。

面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可行性的测试准则FDF的基础上 ,给出了三类新的基于数据流的测试准则 ,并且证明其中两类准则比FDF测试准则具有更强的故障检测能力 .

大数据背景下飞机与发动机故障诊断技术课程改革研究

飞机与发动机故障诊断技术是航空机务维修专业机械方向学员的一门核心课程,主要通过对飞机和发动机故障诊断技术的学习,培养学员分析问题、解决问题的能力。大数据时代的来临给故障诊断技术课程教学带来挑战和机遇。为了顺应大数据发展的趋势,针对大数据对故障诊断理论和方法的影响,分析目前飞机与发动机故障诊断技术课程教学存在的问题,进行课程教学改革,为进一步提升教学效益、进而提高育人质量进行探索与尝试。

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。

基于分支相关性分析的不可达路径检测方法

软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了一种利用关联分析和数据流分析确定分支相关性的方法,进而实现不可达路径的自动检测.首先,结合静态分析和动态分析,构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集;然后,利用关联分析和数据流分析技术确定分支的相关性;最后,根据分支相关性信息检测不可达路径.基于一组基准程序和开源程序,开展不可达路径检测实验.实验结果表明,该方法能够准确地检测出程序中的不可达路径,可以有效地提高软件测试的效率.

嵌入式系统软件可靠性模型的研究

针对嵌入式系统中软件和硬件密切相关,都会导致软件故障这一问题,提出了一种考虑硬件相关的软件可靠性模型,并利用MATLAB软件对真实的项目数据进行仿真实验,结果表明:新模型随着测试的进行对实际数据的拟合性能比传统模型好.该模型提供了更准确的软件可靠性估计,能够帮助人们在嵌入式软件早期测试阶段制定出更好的的测试策略.

IR46智能电能表软件可靠性设计与测试研究

基于IR46关于计量特性的防护等相关特殊要求,结合国内关于双芯智能电能表的设计理念,从软件可靠性角度出发,提出了一种基于数据流的、模块化的智能电能表软件实现方案,设计了以分钟电能为核心的电能、需量计算方法及流程;基于上述设计框架,提出了一种不影响计量的、安全可靠的软件在线升级方法;最后,结合电能表软件特点,提出了软件加速、故障注入的电能表软件可靠性测试方法。通过这些设计及测试方法,有效保证了基于IR46的新型智能电能表的软件可靠性。

面向空空导弹飞控软件的软件容错技术研究

随着临近空间飞行器的发展,空空导弹作战空域也向超高空域拓展,因此在空空导弹设计时需要考虑高能粒子引起的计算机系统瞬时故障。本文从软件防护的角度出发,针对该故障提出了一种基于冗余备份及校验和的软件数据流加固方法。试验表明,该算法对单粒子翻转引起的瞬态故障具有良好的防护性,具有通用性好、易移植等优点。

通用公司Tech 2故障诊断仪的使用操作

Tech2是通用公司专用手持式汽车故障诊断仪，它除了具有读取车辆故障码，测量动态数据流，控制执行元件动作等普通诊断仪共有的功能外，还具有显示传感器波形，捕捉并存储车辆运行时的有关数据，通过RS232通信端口连接网络下载通用公司最新软件，通过VCI接口为车辆更新控制软件等功能。

基于FMECA-FTA的软件安全分析方法研究

软件在安全相关产品中的比重持续上升,与之相关的失效会使设备和用户处于危险之中。为了预防和减少软件失效带来的风险,有必要在设计实现阶段进行安全相关的分析,尽早明确软件可能有的失效。本文结合软件开发的特点,研究并提出一种通过"失效模式影响及危害性分析(FMECA)"和"故障树分析(FTA)"迭代执行的软件安全分析方法。以功能为基础,依据不同开发阶段的活动特点,本文给出了该方法的具体要素和步骤。实际应用表明,该方法能够有效识别大量潜在深层次的软件失效模式。

基于向量自回归模型的软件可靠性评估与预测方法

针对目前大多数软件可靠性模型未考虑故障相关性和参数估计求解较难的问题,本文提出了一种基于向量自回归模型的软件可靠性评估与预测方法,该模型考虑了软件各组件之间的相关性并利用组件的故障数据来进行建模。所提出的软件可靠性预测模型被应用于两个真实的软件故障数据集,实验结果表明,本文提出的基于向量自回归的软件可靠性预测模型效果更优。

日志过大服务器出故障

日志文件通常记录着系统或软件的访问、错误等相关信息，利用日志文件能给故障排查带来很大的好处。但是如果管理不善，日志文件也会引起一系列问题。

OTC3409故障扫描仪

该故障扫描仪是OTC公司新近推出的一款功能强大．使用简单．操作方便的故障扫描仪。3409可以检测所有满足OBDⅡ要求的汽车．同时可以检测使用CAN—BASED的汽车并读取CAN—BASED的数据流。3409可以记录数据．回放数据．以曲线方式显示数据并可在数据流检测时随时锁定数据同时3409可以做汽车I／M硷测之前的预检测监测氧传感器的工作状况。3409软件可以升级，以满足未来汽车发展的需要。