浅析软件工程的安全检测和维护

浅析软件工程 的安全检测和维护
陈晨 （ 同 济大学）
常用 的模 型 安全 检 测 方法 包括 有 线状 态 机检 测 和 马 尔科
件在 不 同输入 条件下 产生 的不 同反应。四是基 于故 障注入 的软 件安 全检 测。 故 障注入 的安 全检测是 应用 故 障分析树
摘要 ： 计 算机 系统 设 计 的 重要 依 据 就 是软 件 ， 只 有使 计 算 机具 有 要 求 ， 要综 合 考 虑 硬 件和 软 件 相 结 合 的全 局 来 设计 计 算 机 系 统。 此 外， 软 件 的 可维 护 性 也 是 评价 软 件 维 护 难 易程 度 的标 准 ， 更 是体 现 软 更 高 的整 体 效 用 才 能 更好 地 方 便 用 户。 因此 ， 为 了更 好地 满足 用 户 的 夫 链 的检 测。三 是语法检 测。语 法检 测技术 主要是 测有效 地结 合 了传 统 的模糊 测 试 随着 计 算机和 软件 技术 的发 展 ， 各 种计 算机软 件在 各 大进步 ， 行 各业 中得 到 了普遍 的利 用 ， 已经成 为人们 生 活和工作 中 技术 和 动态 测试 用 例检 测 技术 的优 点。 六 是 混合 检 测 技 不 可或缺 的重 要部 分。 而计 算机 的软件 安全 问题也越 来越 术。能有效地 改 善静态技 术和 动态技 术检 测存在 的一 些缺 从 而更 好地 对计 算机软 件 的安 全进行 检测 。七 是基 于 严 重地 影 响着计 算 机 的安 全性 ， 因此， 计 算机 软 件 的 安 全 陷 ， Ｗｅ ｂ服务 的检 测 技术 。 它是 一种 基于 识别 内容 的分布 式 检 测技 术就彰 显得特 别 重要。 Ｗｅ ｂ服务 器技 术 。具 有语 言 中立 、 互 动操作 性 强 等优 点 ， １ 软件 安全检 测技 术和维 护概述 能够将 复 杂 的安 全检 测 分解 为子安 全 类型进 行 处理 ， 以使 计 算 机软 件 安 全检 测 是计 算 机软 件 开 发过 程 中 的一 其可 以更 有效地 应对复 杂 的安 全检 测 的需要。 个重要 环 节 ， 它的 目的是 为 了发现软 件所 存在 的故 障和 安 ３ 提 高软件 的可维 护性 方法 全漏洞 ， 从 而及 时地 对计 算机软 件 的潜在 安 全 问题 进行 更 ３ ． １ 建 立 明确 的软 件 质 量 目标 如 果 要一 个 可维 护 性 改。当前 的计算机 软件 安全检 测技术 主要 包括动 态检 测和 的程序 满 足 可理解 的、 可靠 的 、 可 测试 的、 可 修 改 的、 可移 静态检 测两 种 方法。 计 算机软 件安 全检测是 确定计 算机软 植的、 效率 高 的和 可 使 用 的 ７个 全部 的要 求 ， 要付 出很 大 件 的安 全性是 否达 到软件 预 期设计 目标 的一 个过 程 ， 一般 的代 价 ， 甚至 是不 显示 的。 但是 可理解 性和 可 测试性 以及 包括 功 能测试 、 渗 透测试 与验 证过 程三 个阶 段。包 括安 全 可理 解性 和 可修 改性是相 互促 进 的 ， 而效率和 可移植 性 以 功 能与安 全漏 洞两 个 方面 的检 测 ， 软 件安 全功 能涉 及 的方 及效 率和 可修 改性 是相 互抵 触 的。 因此 ， 要 明确 软件 所追 面 比较 多 ， 包 括机 密 性 、 授权 、 访 问控制 以及安 全 管理 等 ； 求 的质量 目标。 而计 算 机软 件 安 全 漏洞 检测 则 是 对软 件 可 能存在 的缺 陷 ３ ． ２ 使用 先进 的软件 开 发技 术和 工 具 利 用先进 的软 的检 测。 件 开发技 术 能够 大大 提高软 件质 量和 减 少软件 费 用 ， 并 且 软 件 定 义、 软 件开 发和运 行维 护是 构成软 件 生命 周期 稳 定性 好 ， 容易 修 改、 容 易理解 ， 易于 测 试和 调 试 ， 因此 可 的三个 时期。 使软 件 能够持 久地 满足用 户 的需 求是运 行维 维 护性好 。 护 时期 的主 要任 务 ， 具 体 而言 ， 应 当改正软 件 在 使 用过 程 ３ ． ３ 建 立明确 的质 量 保证 最 有效 的方法 就是 质量 保 中发现 的错 误 ， 当环境 发生 改 变时应 当及 时修 改软 件 以适 证检查 ， 在软 件 开发 的各 个阶 段 以及软 件维 护 中得到 了广 应 新 的环境 ： 当用户 有 了新 的要 求 时应 当及时 改进软 件 以
４ 总 结 ２ 计算 机软 件安全检 测技 术的方 法 综上所述 ， 软 件 维 护 是一 项 综 合性 很 强 的工 作 ， 随着 ２ ． １ 计 算机软 件安 全 检测 的流 程 一般 情 况下 ，计 算 软 件 规模 和复 杂度 的 日益提 高 ， 使软 件 维护 成 为软件 生存 机 软件 的安全检 测 一般按 照 以下 的步骤 进行 ： 首先 为 了发 周期 中费 用最高 、 难度最 大 的一个 阶段。因此 ， 良好 的软件 现 系统 中各模块 中可 能存在 的 问题 ， 要 对软 件 设计 中最 小 可维 护性 可 以降低 维护 成本 ， 延 长软 件 生命周 期。 的单位 即模块 进行 测试 ， 然后 是对 由模块 按 照程序 设计 的 参考文献 ： 要求 组装 的系统进 行检 测 ， 并 对于 其相 关 的体 系机 构进 行 【 １ 】 丁剑 洁 ． 基 于 度量 的软 件 维 护 过 程 管 理 的 研 究 【 Ｄ】 ＿ 西北 大学， 检测 。 其 次是在 前两 个检测 的基础 上进行软 件 的有效性 检 ２０ ０ ６ ． 满足用 户新 的需 求。
件 产 品 的一 个 重 要 的质 量 特 性 。本 文着 重 介 绍 了计 算机 软 件 安 全检
测 技术 的重 要 性 。
与故障 数 的最 小割集来 检 测 的。五是模糊 测试 和基于 属性
的测试 。 基于 白盒 的模糊 测试较传 统 的模糊 测试技 术有 很
关键词 ： 软件
系统
设计
安全检测