软件故障

摘要： 安卓移动应用兼容性故障是指应用程序在不同的环境或内部状态发生变化时,实际结果与预期结果不相符合而导致的一类软件缺陷.安卓平台的高度开源的特性,使得安卓平台下移动应用的兼容性故障频繁发生.这类软件故障在最严重的时候,甚至可以导致程序崩溃,程序崩溃一方面会影响到用户体验,另一方面因其突发性也会对用户带来难以估量的损失.因不同设备型号和安卓操作系统版本所组成的大量组合,使得开发人员无法对其应用程序进行充分的测试.在安卓生态系统碎片化异常严重的开发背景下,如何有效地应对兼容性问题成为当前软件质量保障领域的一个热门研究问题.从安卓移动应用兼容性故障的分析、检测、定位和修复3个方面出发,简要介绍了安卓移动应用兼容性故障的发展历程及该领域所面临的主要挑战,并回顾和总结了近些年来该综述主题的实践探索和理论成果.最后,对该领域的未来工作进行了展望,以期为兼容性测试研究人员提供有价值的参考.

摘要： 一台创维24E510E型液晶电视有时二次开机正常,有时关机重启不能二次开机。拆开机壳,目测主板上无明显损坏的元件。该机主板板号为5800-A8R730-OP40。另找一个12V/4A的电源适配器给主板供电,故障依旧,由此可判断故障点在主板电路中。先从软件故障开始检修,焊下数据块U10,找到一只写有同样数据的存储器换上,通电,故障不变。

摘要： 医院彩超常见的故障包括设备启动异常、使用过程中频繁报错、设备部分功能缺失等,维修方法的总结可以为彩超快速准确的维修提供保障。本文以飞利浦IU22彩色多普勒超声诊断仪为例,总结了两例超声设备初始化异常的故障,一例为软件故障导致的设备无法正常引导;另一例为硬件故障导致的启动过程中的死机现象。针对以上两例故障,本研究将更换配件法、常规检查法、逐步排除法、参数调整法相结合来确定故障点,并最终通过重装软件系统与更换供电电池排除故障。本研究提出的维修方法可以帮助工程师快速锁定故障部位,提高维修效率,缩短维修时间,为医院彩超设备的正常运行提供有效保障,提升患者就医体验。

摘要： [目的]棒位和棒控系统RGL(Rod Position Indication and Rod Control System)是核电机组重要的控制系统之一,其性能好坏直接关系到核电机组的可用性。当该系统出现双夹持故障时会将整个控制棒组闭锁,在机组进行瞬态试验、升降负荷或甩负荷期间控制棒组不能及时动作,可能导致反应堆停堆。[方法]结合某CPR1000核电机组出现的RGL系统双夹持故障经验反馈案例,从设计原理的角度对双夹持故障出现的原因进行了分析研究。[结果]分析结果指出控制器软件中的时刻控制器误判MG机架状态,从而输出错误信号导致了双夹持故障触发。[结论]软件缺陷是造成RGL系统双夹持故障的重要因素。

摘要： 聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。

摘要： SpaceX第5艘载人龙飞船即将发射,波音星际线载人飞船载人遥遥无期11月11日升空的"Crew-3"任务是SpaceX龙飞船的第五次载人飞行,也是根据美国宇航局的合同进行的第三次正式机组人员轮换飞行。反观波音的星际线载人飞船,2019年的第一次无人试飞遭遇软件故障(波音承认星际线载人飞船存在致命软件缺陷),2021年再次尝试无人试飞,发射前一刻发现燃料阀门问题导致发射再度无限期推迟,波音可能因为其载人飞船的一再延误面临1.85亿美元的额外损失。

摘要： SpaceX第5艘载人龙飞船即将发射,波音星际线载人飞船载人遥遥无期11月11日升空的"Crew-3"任务是SpaceX龙飞船的第五次载人飞行,也是根据美国宇航局的合同进行的第三次正式机组人员轮换飞行。反观波音的星际线载人飞船,2019年的第一次无人试飞遭遇软件故障(波音承认星际线载人飞船存在致命软件缺陷),2021年再次尝试无人试飞,发射前一刻发现燃料阀门问题导致发射再度无限期推迟,波音可能因为其载人飞船的一再延误面临1.85亿美元的额外损失。

摘要： 在CTCS-3级列控系统中,单电台软件故障是ATP车载侧设备导致无线传输超时的主要原因.通过分析单电台软件故障导致系统降级的原因,指出以往应急处置措施的弊端;研究在软件中增加AT指令,控制车载电台软重启,以降低单电台软件故障;并结合现场应用效果和特殊场景,提出优化建议措施.

摘要： 一台索尼KDL-48R550C型液晶彩电,开机显示“SONY”字符后出现暗淡的光栅,无图像;输入AV信号,伴音正常。经过咨询,得知该故障为软件故障,可通过U盘刷机,恢复正常,其升级方法如下:先将该机升级软件的U盘插入该机USB端口上,然后一只手按着本机“电源”键不放,另一只手将本机电源插头插入220V电源中,最后观察面板指示灯,先为绿色,且不闪烁,约60s后,指示灯变为橙色,且闪烁,这时放开压在本机“电源”键的手,机器进入自动升级状态。

摘要： PC互联网遗民:鲁大师的辉煌时代鲁大师的创始人名为鲁锦,作为软件工程师的鲁锦开发了一款优化计算机系统的软件,取名“Z武器”,后改名为鲁大师。鲁大师的业务其实很简单,仅是检测系统软件故障,提供一些优化建议,但鲁大师被广泛关注是因为其股东中有360的影子。

摘要： 本文通过分析和总结引发装备故障的环境因素构成及特点，设计了一种软件故障案例框架表示模板，通过引入区域权重因子，提高了基于VSM(向量空间模型)的案例数值化表示的有效性和准确性，针对故障案例框架表示模板的故障症状中文描述特征项，提出了一种基于词典的相似性匹配算法，以此为基础，给出了基于案例推理(CBR)的装备软件故障诊断算法描述。

摘要： 本文将直推式支持向量机用于预测有限标注样本下的模块故障倾向，针对软件故障样本中存在正负样本数量不平衡、比例不确定等特点，对训练样本的惩罚项引入权重因子，并采用单样本调整准则以解决直推式支持向量机没有考虑样本不平衡、需要事先确定未标注样本正负比例等问题。在7种不同规模的公开失效数据集上的实验结果表明：改进的直推式支持向量机算法利用了未标注数据隐含的信息，能够获得比归纳式分类算法更好的性能。

摘要： 本项目开发的分析器能够对能见度仪出现的软件故障进行现场故障分析、指令操控,帮助维护人员在现场能及时对能见度仪的故障做出准确的判断,更好更准确的对能见度仪进行连接与操控,分析器具有显示模块,能反馈当前能见度仪工作的实时状态,电路处理器选用低功耗处理芯片(STM32单片机),利用Cortex-M3内核和频率介于32kHz至32MHz的CPU时钟扩展了超低功耗理念,且不降低性能,为野外维护提供方便.

摘要： 梧州新一代天气雷达从2009年开始安装试运行,到正式运行考核以来,资料传输方面经常碰到各种各样的问题,现在总结雷达资料在传输过程中碰到的主要问题和简单的解决办法.主要是介绍软件故障方面引起雷达资料传输不正常.

摘要： 本文对FY2E业务系统作业流程管理软件出现停止派发作业现象给业务系统造成较严重影响的异常情况进行了深入的技术探讨与实验分析，并对该问题在仿真系统进行了复现，最终定位引起该异常的诱因是由于操作系统某一参数配置较低造成的，并针对此问题提出了对业务系统的改进建议。

摘要： 在嵌入式领域,目标系统的应用日趋复杂,开发技术日新月异,同时硬件的发展日益稳定,而软件故障却日益突出.软件的重要性逐渐引起人们的重视,越来越多的人认识到嵌入式系统的软件测试势在必行.通过对嵌入式系统以及嵌入式系统的软件特点进行研究分析.对嵌入式软件系统的测试提出了相应的策略与方法.

摘要： 本文介绍了大量软件存在问题的现状，在分析通用功能软件的故障特性基础之上,提出了基于软件故障类型软件可靠性设计方法。

摘要： 本文考虑软件故障严重程度,并采用C&K面向对象度量集,以支持向量机分析方法为数学工具,建立一种基于面向对象软件易发性故障预测模型.实验结果表明,与基于朴素贝叶斯的预测模型、随机预测模型和NNge预测模型相比,本文提出的预测模型对于高严重程度故障、低严重程度故障以及未划分故障严重程度的情形均获得较好的预测效果.

摘要： 提出并实现了一种基于模型检验的源程序分析方法,该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析,实验验证表明,该方法能够给实现对源程序分析的目标.

摘要： 提出并实现了一种基于模型检验的源程序分析方法,该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析,实验验证表明,该方法能够给实现对源程序分析的目标.

摘要： 一种基于硬、软件故障注入相结合的在线故障注入方法，随机、定时、按既定模式在线注入开路、对电源短路、对地短路、信号间短路、特殊故障信号；故障注入单元与系统串联实现正常信号路由，故障注入总线引入预定故障信号，故障控制计算机灵活实现信号开路、电源短路、对地短路、信号间短路、特殊故障信号等故障在线注入功能；故障回收单元采集、比较系统输入、输出响应；CPU模块故障、看门狗故障、总线故障、计算机机内部I/O级信号故障采用软件故障注入系统。本发明的优点：实现了基于硬、软件故障注入相结合的综合在线故障注入方法，所采用的技术方案和故障注入思想可推广应用于其他领域的容错重构系统的试验考核。

摘要： 本发明涉及一种基于软件故障传播的软件系统关键实体挖掘方法，用于解决大型复杂软件质量难以保证，可信性难以控制，维护费用高等问题，具体包括：建立软件网络；构建软件网络的节点攻击策略；针对构建的节点攻击策略建立软件网络的故障传播模型，计算相对失效比率S来评估故障传播结束后软件网络的损坏情况；利用相对失效比率S识别出软件系统中的关键实体。本发明为提高软件系统的抗攻击性做好了前期准备，提高了整个软件系统的可信性；可以在进行软件体系结构设计时，提高软件系统的抗毁性；另外，对于理解软件系统的拓扑结构、定位软件错误、预防软件漏洞、辅助软件测试、控制和降低软件维护费用等具有重要的实践意义。

摘要： 本发明属于故障树分析技术领域，具体地说是一种基于软件功能分析的软件故障树生成方法。本发明通过对系统的功能分析，创建数据流图和控制流图后，根据数据流图和控制流图来建立软件故障树。本发明有效地结合了演绎法和合成法，从系统功能分析入手，逐步推导生成软件故障树，可以兼顾各节点的故障原因，全面而准确的进行分析。本发明可以有效的进行软件故障树的建立，辅助软件的可靠性分析与设计。

摘要： 一种基于硬、软件故障注入相结合的在线故障注入方法，随机、定时、按既定模式在线注入开路、对电源短路、对地短路、信号间短路、特殊故障信号；故障注入单元与系统串联实现正常信号路由，故障注入总线引入预定故障信号，故障控制计算机灵活实现信号开路、电源短路、对地短路、信号间短路、特殊故障信号等故障在线注入功能；故障回收单元采集、比较系统输入、输出响应；CPU模块故障、看门狗故障、总线故障、计算机机内部I/O级信号故障采用软件故障注入系统。本发明的优点：实现了基于硬、软件故障注入相结合的综合在线故障注入方法，所采用的技术方案和故障注入思想可推广应用于其他领域的容错重构系统的试验考核。

摘要： 本发明提供一种车端软件故障告警方法及系统，该方法包括：云端的云平台下发软件故障信息拉取指令至车端的远控模块；所述远控模块将所述软件故障信息拉取指令发送至车端的SDK模块，其中，所述SDK模块集成在车端系统的中间件或者应用中；所述SDK模块基于所述软件故障信息拉取指令向车端的数采模块上报存储的软件故障信；所述数采模块向所述云平台上报所述软件故障信息。本发明提供了一种针对车端软件故障的上报机制，使得对车端系统的软件故障的精确排查和定位成为了可能，且软件故障信息数据流向简单，节省了计算资源，成本低。

摘要： 本发明公开了一种计算机软件故障监测系统，硬件信息采集模块、软件运行检测模块、故障分析模块、数据备份模块、故障提醒模块；硬件信息采集模块，启动软件后，生成计算机的硬件信息，所述硬件信息包括处理器信息、显卡信息；运行检测模块，记录计算机在软件运行时的负载信息，所述负载信息包括处理器负载状态、显卡负载状态、网络负载状态、内存负载状态；故障分析模块，记录软件运行效果，记录软件卡顿状态、闪退状态，异常状态，本发明通过运行检测模块对软件在启动过后，电脑各部分的负载状态进行监测，对CPU、显卡、内存、磁盘以及网络五部分进行，负载状态的判断，并对故障提醒模块发出指令进行提醒。

摘要： 本发明提供了一种软件故障分析系统及其构建方法、系统，包括专家系统和神经网络系统，其中：所述专家系统包括专家知识库、推理机，专家知识库用于收录基于软件故障的因果关系编写的规则；所述推理机基于专家知识库的规则，推理分析软件出故障的原因；所述神经网络系统通过专家系统的数据导入初始训练集进行初始训练进行构建，通过人工定位软件故障，将数据结构导入到修正训练集修正训练进行修正。本发明通过软件故障因果关系进行规则设定，并基于规则分析推理故障原因。本发明通过神经网络实现了大量的，复杂的软件故障数据分析。本发明通过不断修正训练集，能够逐步提高软件故障定位能力。

摘要： 一种软件故障定位与修复的方法，包括检测目标应用程序的运行状态；当监测到目标应用程序运行异常时，获取目标应用程序的版本信息、配置信息、内存堆栈调用信息文件、日志信息，应用程序的必要文件的哈希值；检测并修复异常的应用程序配置参数、运行环境、运行文件；其他情况则上传获取到的故障信息到服务器；服务器通过版本信息找到对应项目工程的仓库地址，加载对应项目工程的代码并附加上发生故障时的内存堆栈调用信息文件，解析出故障的发生位置和原因；通过检索代码仓库的更新日志，判断分析的故障位置是否得到了修正；若故障已经修正，则进行代码的自动化构建、集成打包生成升级包；客户端下载并安装升级包，修复故障问题。

摘要： 本发明涉及一种基于软件故障补充用例库的方法，包括：通过用例库产生标识序列；使用所述标识序列对软件故障进行打标，生成打标数据；使用解析器对打标数据进行解析，生成解析数据；使用用例生成引擎对解析数据进行处理，生成测试用例；将测试用例插入用例库。本发明基于软件故障自动生成测试用例并插入用例库，能够将软件故障的潜藏价值第一时间形成测试用例并应用到下次测试中，不再需要依赖测试人员的自身测试经验，节约了人力成本；解决了通过人工方式分析软件故障、设计测试用例、补充用例库的方法，耗时耗力，不利于大范围推广实施的问题。

摘要： 本发明公开了一种基于网络谱的软件故障定位方法，包括如下步骤：收集待测软件源代码；基于逆向工程建立软件网络；设计软件测试用例并执行，记录其覆盖信息和执行结果，建立模块级的程序谱；基于程序谱扩展建立的软件网络，建立包含程序谱信息的网络谱；基于路径相似度分析，对网络谱规模进行约简，实现特征降维；基于约简后的网络谱，构建特征矩阵和代表软件网络结构的邻接矩阵；基于邻接矩阵和特征矩阵，使用图神经网络进行软件故障定位。本发明可以完成对基于网络谱的软件故障定位技术的构建。本发明可以帮助软件测试人员在测试中加速软件故障的定位，进而对软件进行更新，提高其使用可靠性，具有实用价值。