搜索

[16182] 2020-12-08_Fuzzbook系列：软件的安全性测试

文档创建者：s7ckTeam
浏览次数：3
最后更新：2025-01-18
2020-12-08_Fuzzbook系列：软件的安全性测试 F u z z b o o k 系 列 ： 软 件 的 安 全 性 测 试 f s t a r k   F r e e B u f   2 0 2 0 - 1 2 - 0 8 本 章 我 们 先 介 绍 软 件 测 试 的 基 本 概 念 。 为 什 么 需 要 测 试 软 件 ？ 一 个 测 试 软 件 如 何 运 转 的 ？ 如 何 判 断 测 试 是 否 成 功 ？ 如 何 判 断 是 否 测 试 足 够 ？ 在 本 章 中 ， 我 们 将 回 顾 这 些 重 要 的 概 念 ， 并 同 时 熟 悉 P y t h o n 的 基 本 用 法 。 简 单 的 测 试 简 单 的 测 试 让 我 们 从 一 个 简 单 的 例 子 开 始 ， 您 希 望 实 现 平 方 根 函 数   。 （ 让 我 们 暂 时 假 设 环 境 没 用 这 一 个 小 功 能 ） 在 研 究 了 N e w t o n - R a p h s o n 方 法 之 后 ， 提 出 了 以 下 P y t h o n 代 码 ， 通 过 函 数 计 算 平 方 根 。 现 在 ， 让 我 们 看 看 此 功 能 函 数 是 否 真 正 按 照 规 范 执 行 。 了 解 了 解 p y t h o n 如 果 您 不 熟 悉 P y t h o n ， 则 可 能 首 先 必 须 了 解 以 上 代 码 的 功 能 。 我 们 非 常 推 荐 P y t h o n 教 程 ， 以 了 解 P y t h o n 的 工 作 原 理 。 对 于 您 来 说 ， 理 解 以 上 代 码 最 重 要 的 是 以 下 三 个 ： P y t h o n 通 过 缩 进 缩 进 构 造 程 序 ， 因 此 函 数 和 主 体 是 通 过 缩 进 来 定 义 的 ； P y t h o n 是 动 态 类 型 动 态 类 型 的 ， 这 意 味 着 变 量 的 类 型 像 ， 或 在 运 行 时 才 被 确 定 。 大 多 数 的 P y t h o n 的 句 法 特 征 是 由 其 他 语 言 启 发 的 ， 如 控 制 结 构 （ ， ） ， 等 号 （ ） ， 或 比 较 （ ， ， ） 。 就 这 样 ， 你 已 经 可 以 理 解 上 面 的 代 码 做 什 么 ： 用 开 始 的 ， 它 计 算 好 近 似 直 到 值 不 再 改 变 。 这 是 最 终 返 回 的 值 。 运 行 功 能 函 数 运 行 功 能 函 数 为 了 确 定 是 否 正 常 工 作 ， 我 们 可 以 使 用 一 些 值 对 其 进 行 测 试 。 例 如 ， 对 于 ， 它 将 产 生 正 确 的 值 ： 上 面 的 上 部 是 P y t h o n 解 释 器 的 输 入 ， 默 认 情 况 下 对 它 进 行 运 行 。 下 部 （ ） 是 其 输 出 。 我 们 可 以 看 到 产 生 正 确 的 值 。 这 同 样 适 用 于 ： 调 试 功 能 函 数 调 试 功 能 函 数 为 了 解 操 作 方 式 ， 一 种 简 单 的 策 略 是 在 关 键 位 置 插 入 语 句 。 例 如 ， 您 可 以 记 录 的 值 ， 以 查 看 每 次 循 环 迭 代 如 何 接 近 实 际 值 ： 这 样 我 们 就 可 以 观 察 到 每 次 运 行 时 的 内 部 细 节 ， 以 排 查 问 题 。 检 查 功 能 函 数 检 查 功 能 函 数 让 我 们 回 到 测 试 。 我 们 可 以 阅 读 并 运 行 代 码 ， 但 是 上 面 的 值 实 际 上 正 确 吗 ？ 我 们 可 以 通 过 利 用   。 让 我 们 来 看 看 ： 看 起 来 确 实 有 一 些 四 舍 五 入 上 的 错 误 出 现 了 现 在 ， 我 们 已 经 测 试 了 上 面 的 程 序 ： 我 们 已 经 在 给 定 的 输 入 上 执 行 了 该 程 序 ， 并 检 查 了 其 结 果 是 否 正 确 。 在 程 序 投 入 生 产 之 前 ， 这 种 测 试 是 质 量 保 证 的 最 低 限 度 。 自 动 化 测 试 执 行 自 动 化 测 试 执 行 到 目 前 为 止 ， 我 们 已 经 手 动 测 试 了 上 述 程 序 ， 即 ， 手 动 运 行 它 并 手 动 检 查 其 结 果 。 这 是 一 种 非 常 灵 活 的 测 试 方 法 ， 但 是 从 长 远 来 看 ， 它 效 率 很 低 ： 手 动 测 试 ， 您 只 能 检 查 非 常 有 限 的 执 行 及 其 结 果 m y _ s q r t ( ) d e f   m y _ s q r t ( x ) :         " " " C o m p u t e s   t h e   s q u a r e   r o o t   o f   x ,   u s i n g   t h e   N e w t o n - R a p h s o n   m e t h o d " " "         a p p r o x   =   N o n e         g u e s s   =   x   /   2         w h i l e   a p p r o x   ! =   g u e s s :                 a p p r o x   =   g u e s s                 g u e s s   =   ( a p p r o x   +   x   /   a p p r o x )   /   2         r e t u r n   a p p r o x w h i l e x a p p r o x g u e s s w h i l e i f = = = ! = < g u e s s x   /   2 a p p r o x a p p r o x m y _ s q r t ( ) x   =   4 m y _ s q r t   （ 4   ） 2 . 0 m y _ s q r t ( 4 ) 2 . 0 m y _ s q r t ( 4 ) x   =   2 . 0 m y _ s q r t   （ 2   ） 1 . 4 1 4 2 1 3 5 6 2 3 7 3 0 9 5 m y _ s q r t ( ) p r i n t ( ) a p p r o x d e f   m y _ s q r t _ w i t h _ l o g ( x ) :         " " " C o m p u t e s   t h e   s q u a r e   r o o t   o f   x ,   u s i n g   t h e   N e w t o n – R a p h s o n   m e t h o d " " "         a p p r o x   =   N o n e         g u e s s   =   x   /   2         w h i l e   a p p r o x   ! =   g u e s s :                 p r i n t ( " a p p r o x   = " ,   a p p r o x )     #   < - -   N e w                 a p p r o x   =   g u e s s                 g u e s s   =   ( a p p r o x   +   x   /   a p p r o x )   /   2         r e t u r n   a p p r o x m y _ s q r t _ w i t h _ l o g ( 9 ) a p p r o x   =   N o n e a p p r o x   =   4 . 5 a p p r o x   =   3 . 2 5 a p p r o x   =   3 . 0 0 9 6 1 5 3 8 4 6 1 5 3 8 4 6 a p p r o x   =   3 . 0 0 0 0 1 5 3 6 0 0 3 9 3 2 2 a p p r o x   =   3 . 0 0 0 0 0 0 0 0 0 0 3 9 3 2 1 4 3 . 0 m y _ s q r t ( 2 ) m y _ s q r t   （ 2   ）   *     m y _ s q r t   （ 2   ） 1 . 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 6
对 程 序 进 行 任 何 更 改 后 ， 您 必 须 重 复 测 试 过 程 这 就 是 为 什 么 自 动 化 测 试 非 常 有 用 的 原 因 。 一 种 简 单 的 方 法 是 让 计 算 机 首 先 进 行 计 算 ， 然 后 让 计 算 机 检 查 结 果 。 例 如 ， 这 段 代 码 自 动 测 试 ： 这 个 测 试 的 好 处 是 我 们 可 以 一 次 又 一 次 地 运 行 它 ， 从 而 确 保 至 少 正 确 计 算 了 4 的 平 方 根 。 但 是 ， 仍 然 存 在 许 多 问 题 ： 单 个 测 试 需 要 五 行 代 码 我 们 不 在 乎 舍 入 错 误 我 们 仅 检 查 单 个 输 入 （ 和 单 个 结 果 ） 让 我 们 一 一 解 决 这 些 问 题 。 首 先 ， 让 我 们 使 测 试 更 加 紧 凑 。 几 乎 所 有 的 编 程 语 言 都 可 以 自 动 检 查 条 件 是 否 成 立 ， 如 果 条 件 不 成 立 则 停 止 执 行 。 这 称 为 断 言 ， 对 于 测 试 非 常 有 用 。 在 P y t h o n 中 ， 我 们 使 用 语 句 ， 如 果 条 件 为 t r u e ， 则 什 么 也 不 会 发 生 。 （ 如 果 一 切 正 常 ， 则 不 应 该 出 问 题 。 ） 但 是 ， 如 果 条 件 评 估 为 f a l s e ， 则 会 引 发 异 常 ， 表 明 测 试 刚 刚 失 败 。 在 我 们 的 示 例 中 ， 我 们 可 以 轻 松 地 检 查 是 否 产 生 了 上 述 预 期 结 果 ： 当 您 执 行 此 行 代 码 时 ， 什 么 都 不 会 发 生 ： 我 们 证 明 （ 或 断 言 ） 我 们 确 认 了 但 是 请 记 住 ， 浮 点 计 算 可 能 会 导 致 舍 入 误 差 。 因 此 ， 我 们 不 能 简 单 地 比 较 两 个 浮 点 数 是 否 相 等 。 因 此 ， 我 们 将 确 保 它 们 之 间 的 绝 对 差 保 持 在 某 个 阈 值 以 下 ， 通 常 表 示 为 或 。 这 是 我 们 可 以 做 到 的 ： P . S .   a b s （ ） 求 绝 对 值 我 们 还 可 以 为 此 目 的 引 入 一 个 特 殊 功 能 ， 现 在 对 具 体 值 进 行 更 多 测 试 ： 似 乎 可 以 工 作 ， 对 吧 ？ 如 果 我 们 知 道 计 算 的 预 期 结 果 ， 则 可 以 一 次 又 一 次 地 使 用 此 类 断 言 ， 以 确 保 我 们 的 程 序 正 确 运 行 。 进 一 步 生 成 测 试 进 一 步 生 成 测 试 还 记 得   普 遍 恒 成 立 吗 ？ 我 们 还 可 以 使 用 一 些 值 来 明 确 地 测 试 它 ： 似 乎 仍 然 有 效 ， 对 不 对 ？ 最 重 要 的 是 通 过   我 们 可 以 测 试 成 千 上 万 的 值 ： 用 1 0 0 个 值 测 试 需 要 多 少 时 间 ？ 让 我 们 来 看 看 。 我 们 使 用 自 己 的 模 块 来 测 量 经 过 时 间 。 为 了 能 够 使 用 ， 我 们 首 先 导 入 我 们 自 己 的 实 用 程 序 模 块 。 1 0 , 0 0 0 个 值 大 约 需 要 百 分 之 一 秒 ， 因 此 单 次 执 行 需 要 1 / 1 0 0 0 0 0 0 秒 或 大 约 1 微 秒 。 让 我 们 重 复 随 机 选 择 1 0 , 0 0 0 个 值 。 P y t h o n 函 数 返 回 0 . 0 到 1 . 0 之 间 的 随 机 值 ： 一 秒 钟 之 内 ， 我 们 现 在 测 试 了 1 0 , 0 0 0 个 随 机 值 ， 并 且 每 次 实 际 上 都 正 确 计 算 了 平 方 根 。 只 要 对 进 行 任 何 更 改 ， 我 们 就 可 以 重 复 进 行 此 测 试 ， 每 次 都 可 以 增 强 我 们 没 有 隐 患 的 信 心 。 但 是 请 注 意 ， 尽 管 随 机 函 数 在 产 生 随 机 值 方 面 没 有 偏 见 ， 但 不 太 可 能 生 成 会 极 大 改 变 程 序 行 为 的 特 殊 值 。 我 们 将 在 下 面 稍 后 讨 论 。 在 运 行 时 验 证 在 运 行 时 验 证 r e s u l t   =   m y _ s q r t ( 4 ) e x p e c t e d _ r e s u l t   =   2 . 0 i f   r e s u l t   = =   e x p e c t e d _ r e s u l t :         p r i n t ( " T e s t   p a s s e d " ) e l s e :         p r i n t ( " T e s t   f a i l e d " ) T e s t   p a s s e d a s s e r t a s s e r t a s s e r t m y _ s q r t ( ) a s s e r t   m y _ s q r t ( 4 )   = =   2 e p s i l o n E P S I L O N   =   1 e - 8 a s s e r t   a b s ( m y _ s q r t ( 4 )   -   2 )   <   E P S I L O N d e f   a s s e r t E q u a l s ( x ,   y ,   e p s i l o n = 1 e - 8 ) : a s s e r t   a b s ( x   -   y )   <   e p s i l o n a s s e r t E q u a l s ( m y _ s q r t ( 4 ) ,   2 ) a s s e r t E q u a l s ( m y _ s q r t ( 9 ) ,   3 ) a s s e r t E q u a l s ( m y _ s q r t ( 1 0 0 ) ,   1 0 ) a s s e r t E q u a l s ( m y _ s q r t ( 2 )   *   m y _ s q r t ( 2 ) ,   2 ) a s s e r t E q u a l s ( m y _ s q r t ( 3 )   *   m y _ s q r t ( 3 ) ,   3 ) a s s e r t E q u a l s ( m y _ s q r t ( 4 2 . 1 1 )   *   m y _ s q r t ( 4 2 . 1 1 ) ,   4 2 . 1 1 ) f o r   n   i n   r a n g e ( 1 ,   1 0 0 0 ) : a s s e r t E q u a l s ( m y _ s q r t ( n )   *   m y _ s q r t ( n ) ,   n ) m y _ s q r t ( ) T i m e r T i m e r i m p o r t   b o o k u t i l s f r o m   T i m e r   i m p o r t   T i m e r w i t h   T i m e r ( )   a s   t :         f o r   n   i n   r a n g e ( 1 ,   1 0 0 0 0 ) :                 a s s e r t E q u a l s ( m y _ s q r t ( n )   *   m y _ s q r t ( n ) ,   n ) p r i n t ( t . e l a p s e d _ t i m e ( ) ) 0 . 0 2 2 9 1 1 8 0 9 0 0 0 1 0 6 5 8 7 m y _ s q r t ( ) r a n d o m . r a n d o m ( ) i m p o r t   r a n d o m w i t h   T i m e r ( )   a s   t :         f o r   i   i n   r a n g e ( 1 0 0 0 0 ) :                 x   =   1   +   r a n d o m . r a n d o m ( )   *   1 0 0 0 0 0 0                 a s s e r t E q u a l s ( m y _ s q r t ( x )   *   m y _ s q r t ( x ) ,   x ) p r i n t ( t . e l a p s e d _ t i m e ( ) ) 0 . 0 2 7 7 0 4 6 6 1 9 9 9 9 0 5 5 1 m y _ s q r t ( ) m y _ s q r t ( )
除 了 为 编 写 和 运 行 测 试 外 ， 我 们 还 可 以 将 检 查 权 限 集 成 到 实 现 中 。 这 样 ， 将 自 动 检 查 每 次 调 用 。 这 样 的 自 动 运 行 时 检 查 非 常 容 易 实 现 ： 现 在 ， 无 论 何 时 我 们 用 … 我 们 已 经 知 道 结 果 是 正 确 的 ， 并 且 对 于 每 次 新 的 成 功 计 算 都 是 如 此 。 如 上 所 述 ， 自 动 运 行 时 检 查 假 设 有 两 件 事 ： 必 须 能 够 制 定 这 种 运 行 时 检 查 。 始 终 有 可 能 要 检 查 具 体 的 值 ， 但 是 以 抽 象 的 方 式 制 定 所 需 的 属 性 可 能 非 常 复 杂 。 在 实 践 中 ， 您 需 要 确 定 哪 些 属 性 最 关 键 ， 并 为 它 们 设 计 适 当 的 检 查 。 另 外 ， 运 行 时 检 查 可 能 不 仅 取 决 于 本 地 属 性 ， 还 取 决 于 程 序 状 态 的 多 个 属 性 ， 所 有 这 些 属 性 都 必 须 确 定 。 必 须 能 够 负 担 得 起 此 类 运 行 时 检 查 。 在 的 情 况 下 ， 运 行 花 费 不 是 很 大 ； 但 是 ， 即 使 经 过 简 单 的 操 作 ， 如 果 我 们 不 得 不 检 查 大 型 数 据 结 构 ， 那 么 检 查 的 费 用 很 快 就 会 变 得 昂 贵 。 在 实 践 中 ， 通 常 会 在 生 产 过 程 中 禁 用 运 行 时 检 查 ， 以 确 保 可 靠 性 为 代 价 。 另 一 方 面 ， 一 套 全 面 的 运 行 时 检 查 是 发 现 错 误 并 快 速 调 试 它 们 的 好 方 法 。 您 需 要 确 定 在 生 产 期 间 仍 需 要 多 少 种 这 样 的 功 能 。 系 统 输 入 与 函 数 输 入 系 统 输 入 与 函 数 输 入 在 这 一 部 分 ， 我 们 会 把 提 供 给 其 他 程 序 员 ， 然 后 他 们 可 以 将 其 嵌 入 他 们 的 代 码 中 。 在 某 些 时 候 ， 它 必 须 处 理 来 自 第 三 方 的 输 入 ， 即 不 受 程 序 员 的 控 制 。 让 我 们 通 过 假 设 一 个 程 序 的 输 入 为 第 三 方 控 制 的 字 符 串 来 模 拟 此 系 统 输 入 ： 我 们 假 设 这 是 一 个 接 受 命 令 行 输 入 的 程 序 ， 如 下 所 示 ： 我 们 可 以 对 通 过 一 些 系 统 输 入 进 行 调 用 ： 这 有 什 么 问 题 ？ 好 吧 ， 问 题 在 于 我 们 不 检 查 外 部 输 入 的 有 效 性 。 例 如 尝 试 调 用 。 怎 么 办 ？ 实 际 上 ， 如 果 您 使 用 负 数 调 用 ， 它 将 进 入 无 限 循 环 。 由 于 技 术 原 因 ， 本 章 不 能 有 无 限 循 环 （ 除 非 我 们 希 望 代 码 永 远 运 行 ） 。 因 此 ， 我 们 使 用 一 种 特 殊 的 构 造 在 一 秒 钟 后 中 断 执 行 。 上 面 的 消 息 是 错 误 消 息 ， 表 明 出 了 点 问 题 。 它 列 出 了 错 误 发 生 时 处 于 活 动 状 态 的 函 数 和 行 的 调 用 堆 栈 。 最 底 部 的 行 是 最 后 执 行 的 行 ； 上 面 的 几 行 代 表 函 数 调 用 – 在 我 们 的 例 子 中 ， 最 大 为 。 我 们 不 希 望 我 们 的 代 码 以 异 常 终 止 。 因 此 ， 在 接 受 外 部 输 入 时 ， 我 们 必 须 确 保 已 对 其 进 行 正 确 验 证 。 我 们 可 以 写 例 如 ： 然 后 我 们 可 以 确 保 仅 根 据 其 规 范 进 行 调 用 。 可 是 等 等 ！ 如 果 不 使 用 数 字 调 用 怎 么 办 ？ 然 后 ， 我 们 将 尝 试 转 换 非 数 字 字 符 串 ， 这 也 会 导 致 运 行 时 错 误 ： 这 是 一 个 还 会 检 查 输 入 错 误 的 版 本 ： m y _ s q r t ( ) m y _ s q r t ( ) d e f   m y _ s q r t _ c h e c k e d ( x ) :         r o o t   =   m y _ s q r t ( x )         a s s e r t E q u a l s ( r o o t   *   r o o t ,   x )         r e t u r n   r o o t m y _ s q r t _ c h e c k e d ( ) m y _ s q r t _ c h e c k e d ( 2 . 0 ) 1 . 4 1 4 2 1 3 5 6 2 3 7 3 0 9 5 m y _ s q r t ( ) m y _ s q r t ( ) s q r t _ p r o g r a m ( ) d e f   s q r t _ p r o g r a m ( a r g ) :         x   =   i n t ( a r g )         p r i n t ( ' T h e   r o o t   o f ' ,   x ,   ' i s ' ,   m y _ s q r t ( x ) ) s q r t _ p r o g r a m $   s q r t _ p r o g r a m   4 2 s q r t _ p r o g r a m ( ) s q r t _ p r o g r a m ( " 4 " ) T h e   r o o t   o f   4   i s   2 . 0 s q r t _ p r o g r a m ( - 1 ) m y _ s q r t ( ) w i t h   E x p e c t T i m e O u t ( 1 ) f r o m   E x p e c t E r r o r   i m p o r t   E x p e c t T i m e o u t w i t h   E x p e c t T i m e o u t ( 1 ) : s q r t _ p r o g r a m ( " - 1 " ) T r a c e b a c k   ( m o s t   r e c e n t   c a l l   l a s t ) : F i l e   " < i p y t h o n - i n p u t - 2 5 - a d d 0 1 7 1 1 2 8 2 b > " ,   l i n e   2 ,   i n   < m o d u l e > s q r t _ p r o g r a m ( " - 1 " ) F i l e   " < i p y t h o n - i n p u t - 2 2 - 5 3 e 8 e c 8 b b 3 c a > " ,   l i n e   3 ,   i n   s q r t _ p r o g r a m p r i n t ( m y _ s q r t ( x ) d e f   s q r t _ p r o g r a m ( a r g ) :         x   =   i n t ( a r g )         i f   x   <   0 :                 p r i n t ( " I l l e g a l   I n p u t " )         e l s e :                 p r i n t ( ' T h e   r o o t   o f ' ,   x ,   ' i s ' ,   m y _ s q r t ( x ) ) m y _ s q r t ( ) s q r t _ p r o g r a m   （ “   - 1 ”   ） I l l e g a l   I n p u t s q r t _ p r o g r a m ( ) f r o m   E x p e c t E r r o r   i m p o r t   E x p e c t E r r o r w i t h   E x p e c t E r r o r ( ) : s q r t _ p r o g r a m ( " x y z z y " ) T r a c e b a c k   ( m o s t   r e c e n t   c a l l   l a s t ) : F i l e   " < i p y t h o n - i n p u t - 2 9 - 8 c 5 a a e 6 5 a 9 3 8 > " ,   l i n e   2 ,   i n   < m o d u l e > s q r t _ p r o g r a m ( " x y z z y " ) F i l e   " < i p y t h o n - i n p u t - 2 6 - e a 8 6 2 8 1 b 3 3 c f > " ,   l i n e   2 ,   i n   s q r t _ p r o g r a m x   =   d e f   s q r t _ p r o g r a m ( a r g ) :         t r y :                 x   =   f l o a t ( a r g )         e x c e p t   V a l u e E r r o r :                 p r i n t ( " I l l e g a l   I n p u t " )         e l s e :                 i f   x   <   0 :                         p r i n t ( " I l l e g a l   N u m b e r " )
现 在 我 们 已 经 看 到 ， 在 系 统 级 别 ， 程 序 必 须 能 够 优 雅 地 处 理 任 何 类 型 的 输 入 ， 而 永 远 不 会 进 入 不 受 控 制 的 状 态 。 当 然 ， 这 对 于 程 序 员 来 说 是 负 担 ， 他 们 必 须 努 力 使 自 己 的 程 序 在 所 有 情 况 下 都 健 壮 起 来 。 但 是 ， 这 种 负 担 在 生 成 软 件 测 试 时 会 成 为 一 个 好 处 ： 如 果 程 序 可 以 处 理 任 何 类 型 的 输 入 （ 可 能 带 有 定 义 良 好 的 错 误 消 息 ） ， 我 们 也 可 以 将 其 发 送 给 任 何 类 型 的 输 入 。 但 是 ， 当 使 用 生 成 的 值 调 用 函 数 时 ， 我 们 必 须 知 道 其 精 确 的 先 决 条 件 。 测 试 的 极 限 测 试 的 极 限 尽 管 在 测 试 方 面 付 出 了 最 大 的 努 力 ， 但 请 记 住 ， 您 始 终 在 检 查 功 能 是 否 有 一 组 有 限 的 输 入 。 因 此 ， 可 能 总 是 存 在 未 经 测 试 的 输 入 ， 其 功 能 可 能 仍 会 失 败 。 在 的 情 况 下 ， 例 如 ， 计 算   ： 到 目 前 为 止 ， 在 我 们 的 测 试 中 ， 我 们 还 没 有 检 查 这 种 情 况 ， 这 意 味 着 要 建 立 在   会 出 人 意 料 地 失 败 。 但 是 ， 即 使 我 们 将 随 机 生 成 器 设 置 为 产 生 0 – 1 0 0 0 0 0 0 而 不 是 1 – 1 0 0 0 0 0 0 的 输 入 ， 它 偶 然 产 生 零 值 的 机 会 仍 然 是 百 万 分 之 一 。 如 果 对 于 几 个 单 独 的 值 ， 函 数 的 行 为 完 全 不 同 ， 则 纯 随 机 测 试 几 乎 没 有 机 会 产 生 这 些 值 。 当 然 ， 我 们 可 以 相 应 地 修 复 功 能 ， 记 录 可 接 受 的 值 并 处 理 特 殊 情 况 ： 这 样 ， 我 们 现 在 可 以 正 确 地 计 算 非 法 值 现 在 导 致 异 常 ： 仍 然 ， 我 们 必 须 记 住 ， 尽 管 广 泛 的 测 试 可 以 使 我 们 对 程 序 的 正 确 性 有 很 高 的 信 心 ， 但 它 不 能 保 证 所 有 将 来 的 执 行 都 是 正 确 的 。 甚 至 检 查 每 个 结 果 的 运 行 时 验 证 也 只 能 保 证 ， 如 果 产 生 一 个 结 果 ， 那 么 结 果 将 是 正 确 的 。 但 不 能 保 证 将 来 的 执 行 不 会 导 致 检 查 失 败 。 在 撰 写 本 文 时 ， 我 相 信 这 是 ， 但 我 不 能 1 0 0 ％ 确 定 。 经 验 教 训 经 验 教 训 测 试 的 目 的 是 执 行 一 个 程 序 ， 以 便 我 们 发 现 错 误 。 测 试 执 行 ， 测 试 生 成 和 检 查 测 试 结 果 可 以 自 动 化 。 测 试 不 完 整 ;   它 不 提 供 1 0 0 ％ 保 证 代 码 没 有 错 误 的 保 证 。 下 一 步 下 一 步 构 建 你 自 己 的 模 糊 测 试 — — 用 随 机 输 入 测 试 程 序 。 精 彩 推 荐 精 彩 推 荐                         p r i n t ( " I l l e g a l   N u m b e r " )                 e l s e :                         p r i n t ( ' T h e   r o o t   o f ' ,   x ,   ' i s ' ,   m y _ s q r t ( x ) ) s q r t _ p r o g r a m ( " 4 " ) T h e   r o o t   o f   4 . 0   i s   2 . 0 s q r t _ p r o g r a m ( " - 1 " ) I l l e g a l   N u m b e r s q r t _ p r o g r a m ( " x y z z y " ) I l l e g a l   I n p u t m y _ s q r t ( ) w i t h   E x p e c t E r r o r ( ) : r o o t   =   m y _ s q r t ( 0 ) T r a c e b a c k   ( m o s t   r e c e n t   c a l l   l a s t ) : F i l e   " < i p y t h o n - i n p u t - 3 4 - 2 4 e d e 1 f 5 3 9 1 0 > " ,   l i n e   2 ,   i n   < m o d u l e > r o o t   =   m y _ s q r t ( 0 ) F i l e   " < i p y t h o n - i n p u t - 1 - 4 7 1 8 5 a d 1 5 9 a 1 > " ,   l i n e   7 ,   i n   m y _ s q r t g u e s s   =   ( a p p r o x   +   x   /   a p p r o x )   /   x x   =   0 d e f   m y _ s q r t _ f i x e d ( x ) :         a s s e r t   0   < =   x         i f   x   = =   0 :                 r e t u r n   0         r e t u r n   m y _ s q r t ( x ) a s s e r t   m y _ s q r t _ f i x e d ( 0 )   = =   0 w i t h   E x p e c t E r r o r ( ) : r o o t   =   m y _ s q r t _ f i x e d ( - 1 ) T r a c e b a c k   ( m o s t   r e c e n t   c a l l   l a s t ) : F i l e   " < i p y t h o n - i n p u t - 3 7 - 5 5 b 1 c a f 1 5 8 6 a > " ,   l i n e   2 ,   i n   < m o d u l e > r o o t   =   m y _ s q r t _ f i x e d ( - 1 ) F i l e   " < i p y t h o n - i n p u t - 3 5 - f 3 e 2 1 e 8 0 d d f b > " ,   l i n e   2 ,   i n   m y _ s q r t _ f i x e d a s s e r t   m y _ s q r t _ f i x e d ( x )
阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理