第3章小节,问题:形式化(维也纳,VDM),IDEF方法

第3章  软件需求分析

第1节  任务

1、概念:用户需求

  1)难点:问题复杂,交流,不完备和不一致,易变

  2)分析原则:数据域和功能域,分解细化,建模

2、任务

  1)问题识别:功能,性能,环境,界面

  2)逻辑模型

  3)文档:需求规格说明书,初步用户使用手册,测试计划,开发计划

3、需求规格说明忆主要内容

****************

第2节  结构化分析方法

1、自顶向下

2、描述工具:DFD,DD,结构化语言等

3、步骤:当前物理模型,当前逻辑模型,目标系统逻辑模型,补充优化。

*****************

第3节  DFD

概念:逻辑模型

1、基本图形符号:箭头表数据流,圆表加工,双杠表存储,方框表端点

2、步骤:

  1)系统的输入输出;

  2)系统内部;

  3)注意事项:命名,数据流而非控制流,不画物质流,加工都有IO,编号,父,子图平衡,局部数据存储,提高DFD易理解性

3、实例

*******

第4节  DD

概念:各个成分的具体含义

1、内容及格式:1)、数据流  2):数据存储  3):数据项  4):加工条目

2、实现:

  1)手工:印制卡片,填内容,按图号排列,同一成分只在父图上定义,索引目录

  2)计算机辅助建立并维护:字典生成与管理程序,建数据库文件

*************

第5节  加工逻辑的描述(应用)

1、结构化语言:

  1)外层:顺序结构,选择结构,重复

  2)内层:祈使句

2、判定表:撮条件,条件取值,条件组合,提取动作,制作判定表,完善

3、判定树:

***********

第6节  IDEF方法(不懂)

概念:Integrated Computer Aided Manufacturing(ICAM)

     ICAM Definition=IDEF

分为3部分:IDEF0,功能模型;IDEF1,信息模型;IDEF2,动态模型;

1、图形表示:输入,输出,控制,机制

2、方法:范围、观点及目的;内外关系图A-0图;顶层图A0图;低层次的图形;

3、特点:图形符号;自顶向下;

********

第7节  结构化分析方法小节

适合于数据处理类型的需求分析

弱点:静态模型扩充成CFD或STD;DFD与数据库中ER结合;不适合描述人机交互;与形式化结合,形式化是软件自动化的基础(不懂);借助需求分析工具