关于软件可靠性和软件控制论的若干认识蔡 开 元.pdfVIP

第 期 中 国 科 学 基 金 · 学科进展 与展望 · 关 于 软件可靠性和 软件控 制 论 的若 干 认识 ’ 蔡开元 北 航 空航天 大 自 控制 系, 北 仪 京 学 动 京 摘 要 可 问题 于 全 键 而 言具有极端重要 性。 文论述 了 件可 工 程 〔 」 软件 靠性 对 安 关 软件 本 软 靠性 的三 个基本 问题 以及 软件可 靠性研 究现状和 面 临 的主要 问题 , 进 而论述 了软件控制论产生 的背景。 , 软件控制论探讨软件理论 和 工 程 与控制理论 和工 程 的交叉 应用 其宗 旨之 一 是将控制理 论 方法 较 , , 。 系统地 引入 软件工 程领域 使得软件过程 更加 有章可循 进 一 步保证和提 高软件可 靠性 本文最后 概述 了软件控制论 的几个研 究方 向。 关键词 软件可靠性 , 软件控制论 , 软件测试 , 控制理论 〔 〕 , 疵妙 。 毗 来说 软件可靠性 问题是首要 软件可靠性 问题 的重要性 。 、