MISRA-C-:2004 - 错误提示：发生了异常

• 声 明 如 何 保 障 安 全 性
如 果 在 开 发 过 程 期 间 或 结 尾 出 现 了 对 背 离 的 需 求 , 软 件 开 发 者 应 该 提 交 一 份 特 定 背 离 请
求 (Specfic Deviation Request)。
特 定 背 离 请 求 应 该 包 含 如 下 内 容 :
• 背 离 的 细 节 , 即 被 背 离 的 规 则
• 由 背 离 产 生 的 潜 在 后 果
• 对 背 离 的 正 确 性 声 明
• 声 明 如 何 保 障 安 全 性
这 些 过 程 的 实 现 细 节 留 给 用 户 决 定 。
4.3.3 质 量 体 系 中 的 形 式 化
子 集 、 静 态 检 查 工 具 和 背 离 过 程 的 使 用 应 该 由 形 式 化 的 文 档 在 质 量 管 理 体 系 中 做 出 描 述 。
然 后 它 们 要 经 过 与 质 量 体 系 相 关 的 内 部 和 外 部 审 查 , 这 将 促 进 它 们 的 一 致 性 使 用 。
4.3.4 引 入 子 集
如 果 一 个 组 织 已 经 具 有 C 代 码 编 程 环 境 , 那 么 建 议 引 入 本 文 档 规 则 ( 见 Hatton[3] 的 第 五
章 )。 实 现 本 文 档 的 所 有 内 容 可 能 需 要 1 到 2 年 的 时 间 。
如 果 某 产 品 包 含 了 在 使 用 子 集 前 编 写 的 代 码 , 重 写 这 些 代 码 以 适 应 子 集 可 能 是 不 现 实 的 。
在 这 种 情 况 下 , 开 发 者 必 须 决 定 管 理 引 入 子 集 的 策 略 ( 例 如 : 所 有 新 模 块 要 写 成 符 合 子 集 的
方 式 , 而 对 于 已 存 在 的 模 块 , 如 果 它 们 要 做 出 超 过 非 注 释 语 句 30% 的 更 改 , 那 么 就 要 重 写 成
符 合 子 集 的 形 式 )。
4.4 符 合 性 声 明 (Claiming compliance)
只 能 为 产 品 而 不 能 为 组 织 声 明 符 合 性 。
在 为 一 个 产 品 声 明 MISRA-C 文 档 的 符 合 性 时 , 开 发 者 的 意 思 是 在 说 , 存 在 着 体 现 下 列 内
容 的 依 据 :
• 完 成 了 符 合 性 矩 阵 , 它 显 示 出 如 何 强 制 符 合 性 的
• 产 品 中 所 有 C 代 码 与 本 文 档 的 规 则 是 一 致 的 , 或 者 遵 循 了 对 文 档 规 则 的 背 离
• 维 持 了 没 有 遵 循 的 所 有 规 则 实 例 列 表 , 对 每 个 实 例 来 说 ,……
• 4.2 节 中 提 到 的 问 题 已 经 解 决 了
4.5 持 续 改 进
对 本 文 档 规 则 的 遵 循 只 是 持 续 改 进 过 程 的 第 一 步 。 用 户 必 须 要 知 道 其 他 主 题 内 容 ( 见 参
考 ), 并 且 要 主 动 使 用 度 量 寻 求 开 发 过 程 的 改 进 。
13