中科院需求工程需求工程(第九讲)文档驱动的方法.ppt

存在问题 主要针对实时系统，尽管后来的研究引入了非功能性需求的形式定义方法，但对非实时系统不很使用 对需求的获取和精化缺乏具体的指导，只说明需要给出什么样的文档 对更复杂的软件的支持程度不够 未来的发展 开拓应用领域，特别是非实时的应用 进行更多的实际应用，开发成功范例 与其它需求工程方法结合，给出完整的需求工程过程 开发更完善和全面的支撑工具 安全注入系统：SCR需求 Overridden：表示安全喷射被阻止 三个被监测量 每个感应器产生一个输入量 被控制的量 两个模式类 重载 三个系统模式 安全注入系统：SCR需求 系统有两个模式类： “压力”模式 “重载”模式 模式类“压力”中有三个系统模式： 压力太低，WaterPress =< Low 允许的范围，Low < WaterPress =< Permit 压力高， Permit < WaterPress SCR需求的表示 模式变迁表：定义软件可以处于的模式（状态）及其模式变迁 一个系统将包含不同的模式类，每个模式类有一个模式表，展示引起模式之间的变迁的条件 函数表示形式：模式 ? 事件 ? 模式 当前模式 事件 下一模式 TooLow @T(WaterPress ≥ Low) Permitted Permitted @T(WaterPress ≥ Permit) High Permitted @T(WaterPress < Low) TooLow High @T(WaterPress <Permit ) Permitted SCR需求的表示 事件表 描述从模式和事件到控制变量或项的取值上的一个函数 函数表示形式： 模式 ? 事件 ? 控制变量的取值 | 项的取值 当前模式 事件 High False @T(Inmode) TooLow, Permitted @T(Block=On) WHEN Reset=Off @T(Inmode) ? @T(Reset=On) Overridden True False SCR需求的表示 条件表 描述从模式和条件到控制变量或项上的一个函数 函数表示形式： 模式 ? 条件 ? 控制变量的取值 | 项的取值 当前模式 条件 High, Permitted True False TooLow Overridden ? Overridden SafetyInjection Off On SCR需求定义过程 生成系统需求规范SRS 确定并描述控制变量C； 确定并描述监视变量M； 确定并描述系统模式类； 定义关系REQ； 生成系统设计规范SDS 确定并描述输入和输出变量； 定义输入/输出变量和监视/控制变量之间的关系； 生成软件需求规范SoRS 定义关系D_IN和D_OUT； 对SRS进行扩充，增加诸如系统在硬件失效时的行为等需求 定义硬件失效时行为； 对每个控制变量增加时序约束； 把关系REQ扩展为关系。 SCR需求中各类关系 形式化SCR：基础 基础命名： 模式集合（MS=?Mi） 实体名集合（RF=MR ? IR ? OR ? GR） 实体取值的集合（VS=MS?TS） 数据类型集合（TS） TY：函数，系统实体?该实体的合法值 TY：RF ? VS 模式类名集合 输入变量名集合 输出变量名集合 项名集合 安全注入系统：SCR需求 Overridden：表示安全喷射被阻止 三个被监测量 每个感应器产生一个输入量 被控制的量 两个模式类 重载 三个系统模式 形式化SCR：例 RF={Block，Reset，WaterPres，Pressure， SafetyInjection，Overridden} TY（Pressure）={TooLow，Permitted，High} TY（WaterPres）={0，1，2，?，2000} TY（Overridden）={true，false} TY（Block）={On，Off} 形式化SCR：条件 简单条件 true false r?v：r?RF， ? ?{=，?，>，<，?，?}， v ?TY(r) 复合条件：简单条件通过连接词组合而成 连接词：?，?，? 形式化SCR：事件 基本表示法 @T 事件种类 原始事件： @T(r=v), r?RF, v?TY(r) 监测事件： @T(r=v), r?IR, v?TY(r) 基本事件： @T(c), c是一个简单条件 简单条件事件： @T(c) WHEN d, @T(c)是一个基本事件，d是一个简单条件或者复合条件 条件事件：简单条件事件的和取或析取 事件的语义 简单事件 @T(c) = ?c ? c‘ 如果c = r?v，则c’ = (r?v)’ = r’?v 简单条件事件 @T(c) WHEN d = ?