嵌入式软件故障诊断技术研究.pdfVIP

嵌入式软件故障诊断技术研究 杨顺昆额林刘斌 北京航空航天大学14系，北京100083 摘要针对嵌入式软件中随机出现的一些关键疑难故障，提出一套新颖的自动化故障诊断方法， 综合应用SFFA和SFMEA技术，对软件进行故障建模以夏故障分析，将软件的故障分析定位到相 应的模堤中，然后通过遣待算法在嵌入式软件仿真测试乎台上实现软件故障的自动化再现及定位。 关键词故障诊断故障树故障模式与影响分析连待算法嵌入式软件 嵌入式软件在开发、测试、使用和维护过程中，往往会遇到一些关键疑难的故障，很难对其进 行故障再现及定位，特别是一些“随机发生”的故障，即在一定的条件下，有一定几率才发生的故 障。对于开发和测试人员而亩，定位这种“随机发生”的故障。将会耗费大量的时间和糟力。 随着软件复杂度的增长，系统越来越庞大、代码耦合性增长，对定位软件故障更加造成了重 重障碍。但这些故障问题，必须要加以解决，特别是对于大型的国防软件系统，如果发生这样的 一个故障．往往会导致重大的人员伤亡或设备损害。而随机发生的故障，隐蔽性更大，危害性更 强，因此需要提供一种行之有效的方法，实现故障的再现与定位，指导开发人员解决问题，为大 型田防软件项目的质量保证，应提供一种切实可行的方法。一 另一方面，我们认为这种故障再现与定位方法是可以自动化实现的。因为随着软件的日益庞 大、数据输入条件日益复杂，测试人员和开发人员短期内是无法从众多输入条件中找到适当的输 入来复现和定位故障，这时兢需要通过某神皂动化途径来再现，即可以自动搜索导致故障的测试 用例，来复现故障，揭示故障的根源。并利用各种具体的技术手段分析软件。实现故障定位。 目前国内外针对软件故障诊断作了很多相关的研究工作，包括切片法、数据流法、算法定位 法、知识库法等，另外也有专门针对某种特定故障类型的诊断方法，如处理并发、死锁等特殊的 故障诊断方法。但是很少有人有针对性地解决随机出现的关键疑难故障。本文从这个角度出发， 综合利用软件FFA、软件FMEA、遗传算法、嵌入式软件仿真测试平台等技术、方j虫和工具，提出 一整套针对嵌入式软件关键疑难故障的自动化再现与辅助定位的解决方法。 Fault Tret)是用于表明软件中哪些模块的故障或者外部事件或者它们的 软件故障树(Sol,rare 组合导致软件发生故障的逻辑图。对软件进行故障树分析，针对所要诊断的关键疑难问题，建立 故障树，分析出与其对应的故障模块及故障路径。 ModeEffects 软件故障模式影响分析(softwa∞Failureand Analysis)是分析软件系统中每一个 模块、组件所有可能产生的故障模式及其对软件系统造成的所有可能影响的一种归纳分析方法。 利用SFMEA可以针对于模块进行故障模式分析，得到所需要的所有故障模式，然后对应每种故障 模式，进行故障原因分析，给出了每种故障对应的可能原因。 460 因此可以将Sb-T,A．与sFM队有机结合起来，分析引起故障的模块、故障模式以及相应的原因，实 现故障的定位分析。具体的过程是这样的：首先对软件FI：避行研究．为特定的关键疑难故障．进行 故5事树分析。找出导致故障的模块。利用s琢删该模块进行故障摸式分析．得到所需要的所有故 障模式，然后对应每种故障模式．进行故障原因分析，通过F队建模和舳～的分析，将软件故障定 位到可能会导致故障的相应软件模块、故障模式和故障原因，从而为进一步的复现软件故障作准备。 { ? l交换 l I函t值向遗值lI射l 。 I突变 I I 。f 囵／j‘。国 2遗传算法在软件故障诊断技术中的应用 遗传算法是一种基于自然选择原理和自然遗传机制的通用搜索寻优算法，通过模拟自然界的 生命进化机制，在人工系统中实现特定目标的优化