第10章面向软件行为和视点的需求建模与检测方法讲述.ppt

10.3需求模型的具体构建方法 图形化输入 主要功能 ? 以图形的方式输入行为模型，定义原子行为、复合 行为、行为表达式； ? 检查图形文法； ? 将图形化的行为模型转换为BDL语言描述的行为模型。 图形化表示 （1）视点表示 （2）场景表示 （3）行为表示 （4）行为间关系表示 * * 10.3需求模型的具体构建方法 * * BEHHeadBank //总行场景 BEGIN ABEH //略 BEH BEHHeadBank = Hbank1. Hbank2. Hidel. If (响应类型 = ATM请求) Then Behhbank1. Else Behhbank2. Fi. Returnto. Behhbank1= Hresponse. If (验证请求=正确) Then Hreceive1. Discern. TranRequest1. Else //中央计算机接收ATM传来的事务请求 Hreceive2. TranRequest2. Fi. Behhbank2= If (回答验证请求=正确) Then //中央计算机将验证结果发送到ATM机 RecRespon1. Tranresult1. Else //中央计算机将分行答复发送到ATM机 RecRespon2. Tranresult2. Fi. END. 实例 10.3需求模型的具体构建方法 异类视点需求模型的转换实现 * * 背景 UML状态图 状态符号与BDL结构的对应关系 转换实现的流程 10.4 需求模型的检测方法 * * 1. 监测内容 （1）行为表达合法性 指一个行为表达式能满足行为描述语言的语法。 （2）含输入/出行为的一致性 分为视点内的与视点间的含输入/出行为的一致性。 （3）行为的完整性 指在一个行为模型中行为与行为之间至少存在一条执行路径，即行为间存在可达关系。 （4）视点间行为一致性 指在一个由多个视点构成的系统行为模型中，如果其中两个视点出现重叠，则对于重叠部分中相同行为的理解和描述应该是相同的。 （5）行为有效性 表示一个行为模型总能够按照预期的方式运行。这里指的预期的方式就是一组行为踪迹的集合，也可以用时序逻辑公式表示。 10.4 需求模型的检测方法 * * 模型检测的基本思想 10.4 需求模型的检测方法 * * 否 检查各视点行为模型内的行为表达合法性、 含输入/出行为的一致性和行为连续性 根据视点的相关关系检测视点行为模型间的一致性 合并视点，得到系统行为模型 以上检测是否有问题？ 检测系统行为模型的行为有效性和检测系统的特性等 修改需求及行为模型 否 是 需求建模获得需求模型 退出检测 以上检测是否有问题？ 修改视点行为模型?(V1, V2 ) 是 系统行为模型的检测过程 10.4 需求模型的检测方法 3.各检测方法的具体实现 行为表达合法性 根据行为描述语言的语法，设计等价的LALR(1)文法，利用辅助工具（FLEX, BISON）设计一个语法分析器，检查行为表达式是否满足描述语言的语法。 含输入/出行为的行为一致性 根据行为表达式构建行为树，然后遍历行为树，搜索相关行为的输入与输出。 行为连续性 遍历行为树，记录所有可达的行为，然后与行为表达式中定义的行为比较，判断是否有行为不可达。 * * 10.4 需求模型的检测方法 * * 否 是 确定待检测视点V1和V2及其模型M1，M2 获得M1，M2的操作语义模型L（M1）和L（M2） 找到V1与V2重叠部分中相同的行为集?(V1, V2 ) 分别在L（M1）和L（M2）的状态上作与?(V1, V2 )相关的标记 是否有问题？ 将L（M1）与L（M2）代入自动机算法判断是否观察等价 修改需求及行为模型 否 是 系统需求模型 检测完否？ 检测系统行为有效性 检测视点间一致性的基本步骤 10.4 需求模型的检测方法 * * 系统分析员输入参数消除M中的非确定性，得到M’ 将M’转化为迁移系统L(M’) 将L(M’)与 ? 代入检测工具进行验证 否 是 用时序mu演算描述行为有效性? 系统需求模型M 是否有问题？ 修改需求及行为模型 检测完否？ 退出 否 是 检测系统行为有效性的基本步骤 10.5 基于行为模型的需求可视