软件及高新技术企业所得税优惠政策培训.pptVIP

SFMEA概述 软件失效模式和影响分析（SFMEA）是在软件开发阶段的早期，通过识别软件失效模式，分析造成的后果，研究分析各种失效模式产生的原因，寻找消除和减少其有害后果的方法，以尽早发现潜在的问题，并采取相应的措施，从而提高软件的可靠性和安全性。 SFMEA的优缺点 优点： 突出需要更改的部分 分析底层故障如何在整个系统中逐级向上传播 分析应在何处采取容错、故障检测和运行监控等设计手段 识别将导致系统崩溃的单点故障 可以按照对设备和人员影响的严重程度对软件失效严重性进行分级 局限性： 不能识别人为错误造成的潜在失效 作为一个工具尚未广泛的应用于对软件错误的评估 用于分析路径十分复杂或相互交联的软件时，SFMEA是一项繁琐、劳动强度高的工作 圈复杂度115的控制流图 圈复杂度10的控制流图 启发规则 模块的作用域应该在控制域之内 力争降低模块接口的复杂程度 QUAD-ROOT(TBL,X) =QUAD-ROOT(A,B,C,ROOT1,ROOT2) 设计单入口单出口的模块 模块功能应该可以预测 软件避错设计 慎重使用容易引入缺陷的结构和技术 浮点数 指针 动态内存分配 并行 递归 中断 继承 别名 默认输入的处理 GJB/Z 102-97软件可靠性和安全性设计准则 ——5.12 防错程序设计 5.12 防错程序设计 参数化 公用数据和公共变量 标志 文件 非授权存取的限制 无意指令跳转的处理 程序检测点的设置 寻址模式的选用 数据区隔离 安全关键信息的要求 信息存储要求 算法选择要求 软件查错设计 软件查错设计 软件查错设计是指在设计中赋予程序某些特殊的功能，使程序在运行中自动查找存在错误的一种设计方法。 被动式错误检测 在程序的若干部位设置检测点，等待错误征兆的出现 主动式错误检测 对程序状态主动进行检查 被动式错误检测 检测原则 相互怀疑原则：在设计任何一个单元、模块时，假设其它单元、模块存在着错误； 立即检测原则：当错误征兆出现后，要尽快查明，以限制错误的损害并降低排错的难度。 负效应 所设置的“接收判据”不可能与预期的正确结果完全吻合，导致错判 或漏判； 软件增加了冗余可能降低可靠性 被动式错误检测的实施方法 看门狗定时器 当出现潜在不安全的系统状态或有可能转移到这种状态时，将系统转移到规定的安全状态。 循环等待次数控制 配合硬件进行处理的设计 如：电源失效、电磁干扰、系统不稳定、接口故障、干扰信号，以及错误操作等。 按照已知的数据极限检查数据； 按照变量间恒定关系检验； 检查所有多值数据的有效性； 对冗余的输入数据进行一致性检验； …… 看门狗的设计 看门狗技术是控制运行时间的一种有效方法。看门狗实际上是一种计时装置，当计时启动后看门狗在累计时间，当累计时间到了规定值时触发到时中断（即狗叫），看门狗在不需要时可以关闭。看门狗的设计要首先明确其目的性。如： (1)要防某段程序可能的死循环，则在此段程序前启动狗，在此段程序后关闭狗，在狗叫中断中进行超时异常处理。 (2)要防外来的信息长时间不来，则在开始等外来信息时启动狗，在接收到外来信息时关闭狗，在狗叫中断中进行超时异常处理。 (3)要防计算超时，则在开始计算时启动狗，在计算完毕后关闭狗，在狗叫中断中进行超时异常处理。 显然，不可能要求一个狗可以看管好所有的超时情况。 避免潜在的死循环 在等待外部信号的程序段中，不允许无限制地等待。正确的做法应是，或采用循环等待次数控制，或使用定时器，使得规定时间内（无论成功或失败）必须保证退出等待外部信号的程序段。 不允许的设计方法 建议采用的设计方法 注意通过双口RAM进行握手 通过双口RAM进行信息交换是设计师经常采用的一种设计方案。的确双口RAM提供了信息交换双方的方便读写，但仅靠双口RAM要做到读写的时序要求就要格外小心。 如此的设计是要避免的：通过双口RAM交换信息，在双口RAM中设置了握手信号单元。读方检查到握手信号为01H，表明对方已准备好数据，再读数据，读完后将握手信号置为00H；写方检查到握手信号为00H，表明对方已取走数据，再写数据，写完数据后再将握手信号置为01H，表明自己已准备好数据。 这种设计不一定可靠，可能会出现写方要写握手信号时，读方正在读握手信号，则写方要写的值写不进去。可靠的设计应用硬件连线保证握手，而不要靠双口RAM中的握手信号。如果一定要靠双口RAM进行握手，则写握手信号单元数据时一定要写完后接着再读出，经验证确实写成功后再进行下面的操作，否则需继续写。 当然这必须与避免潜在的死循环的设计准则联合使用。 可靠的设计方法 握手标志置不上的可能 数据采集的多路冗余设计