数据流相关软件故障的静态检测 被引量：5

1

作者 张广梅 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第11期2477-2483,共7页

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

关键词 数据流相关的软件故障 数据流分析 引用-定值链 故障检测

在线阅读 下载PDF 职称材料

基于多模态数据流的系统故障演化过程研究

2

作者 李莎莎 黄丽达 +1 位作者 张晶 崔铁军 《中国安全生产科学技术》 北大核心 2025年第6期191-197,共7页

为基于多模态数据流研究系统故障演化过程,以多模态数据流为基础发展系统故障演化的概念模型、网络拓扑模型和数学模型,论述多模态数据与系统故障演化关系,讨论多模态与因素映射和因素与事件映射,并重点研究事件之间的关系及多模态数学... 为基于多模态数据流研究系统故障演化过程,以多模态数据流为基础发展系统故障演化的概念模型、网络拓扑模型和数学模型,论述多模态数据与系统故障演化关系,讨论多模态与因素映射和因素与事件映射,并重点研究事件之间的关系及多模态数学表达。研究结果表明:多模态数据流融合多种信息,引入多模态数据流拓展系统故障演化研究范围;建立从模态层到因素层的全映射关系,以及因素层与事件层的映射关系;事件间关系复杂,包括逻辑、演化和存在相关性;存在相关性考虑2事件融合可能,提出5种情况及数学计算方法;描述多模态数据、因素、事件及其关系,实现系统故障演化过程的数学描述和状态计算;通过实例展示算法。研究结果可为将系统故障演化理论从因素拓展到多模态,解释事件存在相关性对演化的作用提供理论支撑。 展开更多

关键词 安全系统工程 多模态数据流 系统故障演化 事件作用 存在相关性

在线阅读 下载PDF 职称材料

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

3

作者 吴士力 唐振民 陈成勇 《汽车工程》 EI CSCD 北大核心 2017年第4期462-470,485,共10页

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

关键词 汽油机 空燃比故障 实时故障检测 数据流趋势 累积和算法 相关性

在线阅读 下载PDF 职称材料

基于数据链的软件故障定位方法 被引量：9

4

作者 杨波 吴际 刘超 《软件学报》 EI CSCD 北大核心 2015年第2期254-268,共15页

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

关键词 故障定位 数据流 变量 数据链 软件测试

在线阅读 下载PDF 职称材料

考虑故障相关的软件可靠性增长模型研究 被引量：21

5

作者 赵靖 张汝波 顾国昌 《计算机学报》 EI CSCD 北大核心 2007年第10期1713-1720,共8页

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

关键词 软件可靠性增长模型 故障相关性 测试环境 运行环境

在线阅读 下载PDF 职称材料

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

6

作者 王湛 刘耀宗 +1 位作者 刘凤玉 张宏 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第9期2311-2315,共5页

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

关键词 软件抗衰 重启相关度 重启层 数据流

在线阅读 下载PDF 职称材料

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

7

作者 刘阳 刘晓东 +1 位作者 孙首群 牛道森 《计算机应用与软件》 CSCD 2015年第1期229-233,258,共6页

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

关键词 安全相关 软件故障 控制措施 算法

在线阅读 下载PDF 职称材料

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

8

作者 刘宏伟 杨孝宗 +1 位作者 李香 曲峰 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1178-1182,共5页

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

关键词 软件测试 数据流分析 测试准则 划分测试 故障检验能力 包含关系

在线阅读 下载PDF 职称材料

基于分支相关性分析的不可达路径检测方法 被引量：1

9

作者 姜淑娟 韩寒 +3 位作者 史娇娇 张艳梅 鞠小林 钱俊彦 《计算机研究与发展》 EI CSCD 北大核心 2016年第5期1072-1085,共14页

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

关键词 软件测试 不可达路径 分支相关性 关联分析 数据流分析

在线阅读 下载PDF 职称材料

IR46智能电能表软件可靠性设计与测试研究 被引量：6

10

作者 欧习洋 曾幼松 +3 位作者 冉晓红 王新华 欧熙 陈坚 《电测与仪表》 北大核心 2019年第19期147-152,共6页

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

关键词 IR46 智能电能表 软件可靠性 数据流 软件升级 软件加速 故障注入

在线阅读 下载PDF 职称材料

是德科技全新X系列信号分析仪通过全面提升的新界面、改善的性能和功能特性,为用户带来卓越的测量体验

11

《电子测量与仪器学报》 CSCD 北大核心 2016年第3期332-332,共1页

创新的交互式操作使开发和故障诊断工程师更直观地发现和定位问题优化的多点触控界面,最多只需两次触摸便可完成测量参数设置单台仪表集成1 GHz分析带宽,可以简化测试设置,让雷达研发和5G早期研发工程师更容易完成宽带系统分析超宽... 创新的交互式操作使开发和故障诊断工程师更直观地发现和定位问题优化的多点触控界面,最多只需两次触摸便可完成测量参数设置单台仪表集成1 GHz分析带宽,可以简化测试设置,让雷达研发和5G早期研发工程师更容易完成宽带系统分析超宽实时数据流传输,带宽高达255 MHz,能够更好地分析瞬态信号和难以捕获的信号所有型号均具有业界领先的相位噪声性能, 展开更多

关键词 信号分析仪 交互式操作 宽带系统 研发工程师 实时数据流 瞬态信号 相位噪声 故障诊断 应用软件 频率范围

在线阅读 下载PDF 职称材料

EZ-Wire乘客信息系统

12

《中国铁路》 北大核心 2006年第5期70-70,共1页

在列车发生运行故障时，提供合适、最新的相关信息，对提高铁路运输服务水平有重要的作用。EZ-Wire乘客信息系统具有成本低、易操作两大优点，无需任何特殊的基础设施辅助，其显示设备也很容易安装，仅需一个电源和一根双数据线。控制... 在列车发生运行故障时，提供合适、最新的相关信息，对提高铁路运输服务水平有重要的作用。EZ-Wire乘客信息系统具有成本低、易操作两大优点，无需任何特殊的基础设施辅助，其显示设备也很容易安装，仅需一个电源和一根双数据线。控制软件可以安装在操作中心的个人电脑上，输入程序的使用界面易于操作。传输给乘客的信息来自现有的数据库或者最近的记录，只需轻点鼠标就能决定哪个车站即将得到显示信息和显示持续的时间。该系统还可选择“自动操作”——自动监测晚点运行的列车， 展开更多

关键词 乘客信息系统 自动操作 铁路运输服务 运行故障 显示设备 相关信息 基础设施 个人电脑 控制软件 使用界面

在线阅读 下载PDF 职称材料