第二章故障及故障模型.pptVIP

第二章 故障及故障模型 杨秋伟 湖南大学 计算机与通信学院 2.1 故障模型及分类 故障模型的动机 故障是降低系统可信性的根源 故障形式千变万化、举不胜举 抽象化、逻辑化的数学模型易于处理——故障模型 抽象化、模型化故障属性并进行归类形成故障模型 故障模型与故障检测 2.1 故障模型及分类 故障模型的分类 结构类故障模型——系统(或部件、模块)的静态结构发生改变 硬件：假定每个元件工作正常，仅连接信号线发生故障(例如 固定型故障“s-a-V”、桥接故障和开路故障) 软件：违反语法规则等 功能类故障模型——系统的功能发生改变，具有继发性(/原发性) 硬件：例如某连接信号线输入逻辑值为“1”而输出端为“0” 软件：例如某变量被规定在一定值域范围，而实际值超出该范围 2.2 硬件结构类/功能类故障模型 前提条件 硬件系统只考虑具备“0”和“1”两值的物理元件——逻辑元件 硬件故障模型视为逻辑故障模型 物理问题转化为逻辑问题 故障与物理器件、物理性能、工艺技术无关 逻辑模型化后对表现形式过于复杂的物理故障能进行较为彻底的研究 硬件逻辑故障模型 显式故障模型——每一个故障都可以被清晰的枚举、区分开来 隐式故障模型——只能列举一类性质相同的故障，无法逐一枚举 2.2 硬件结构类/功能类故障模型 硬件故障模型的分类 故障的静/动态模型——静态和动态 故障的持续性模型——永久和暂时 故障的对称性模型——对称和非对称 另一种比较重要的分类 单故障模型——考虑至多一个故障发生 多故障模型——考虑同时多个故障发生 2.2 硬件结构类/功能类故障模型 硬件结构类/功能类故障模型 结构类故障模型——原发性 功能类故障模型——继发性 2.3 软件结构类/功能类故障模型 软件结构类故障模型——例如违反语法规则的错误 2.3 软件结构类/功能类故障模型 软件功能类故障模型的分类 故障的静/动态模型——静态和动态 故障的持续性模型——永久和暂时 另一种比较重要的分类 单故障模型——考虑一个故障发生只影响到一个模块（单元） 多故障模型——考虑一个故障发生影响到多个模块（单元） 2.3 软件结构类/功能类故障模型 软件功能类故障模型——源代码级 源代码级的功能故障主要由程序语义上的错误所引起 程序未返回结果值 子程序的参数变量未初始化 子程序执行完后对它的输出变量没有赋值 变量越界 存储器（内存）泄露 任务调用失败 空指针等 2.3 软件结构类/功能类故障模型 软件功能类故障模型——可执行代码级 可执行代码级的功能故障主要由可执行代码的属性错误所引起 子程序未返回失败故障——错误的跳转或恶意修改返回地址 执行堆栈溢出故障——堆栈容量不足（包括编译阶段） 2.3 软件结构类/功能类故障模型 软件功能类故障模型——一个实例 2.4 故障模型的建立标准 故障模型——一类具有相同属性的故障集合 相同属性是相对的 属性规定比较模糊则包含的故障模型比较多 例如:固定型故障可归纳到桥接故障 属性规定比较确切则包含的故障模型比较少 故障模型包含的故障类型要恰如其分!! 2.4 故障模型的建立标准 几条建立故障模型的标准 确保故障模型的合理精确性 确保故障模型的合理分布性 具有良好的描述故障的能力 能很好的描述每一个(种)故障的能力 具有明确的区分性 具有良好的实践性和可操作性 理论模型与实际应用存在偏差,应该选用实用型的模型 2.4 故障模型的建立标准 故障模型的不足——一个实例 单固定型故障模型分析 7 * 2 = 14 多固定型故障模型分析 37 – 1 = 2186 逻辑设计原理分析 216 = 65536 故障模型所定义的故障所产生的错误行为的集合永远是系统所有可能发生的故障产生的错误行为的子集！！！！ 2.5 课后习题 Page22 习题2.2 故障样本集 模型化 模型一 模型二 . . . 故障检测(属性匹配) 某种故障 由其它故障引起的故障 G x y z s-a-0 while(c 0) cout c endl; c--; if(a 5 b 10) x = 10; else x = 0; while(c 0) { cout c endl; c--; } if(a 5 b 10) { x = 10; } else { x = 0; } float Average(float * M, int Number) { float S = 0.0; for(int i = 0; i Number; i++) { S = *(M + i) + S; } return (M / Number); } 数据敏化故