软件需求分析图形表示与形式描述

《软件需求分析图形表示与形式描述》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件需求分析图形表示与形式描述传统图形描述技术建模及语义中国谚语：EinBildZeigtueberTausendSaetze.(Apictureshowsmorethan1000sentences.)1、三种主要传统图形描述技术（1）数据流图技术DFD（DataFlowDiagram）描述一个信息系统的数据（信息）流。（2）实体关系图技术ERD（EntityRelationshipDiagram）描述一个信息系统的逻辑数据结构。（3）状态转换图技术STD（StateTransitionDiagram）描述一个信

2、息系统的状态转换过程。2、基于图形描述技术的需求分析模型（1）需求分析模型的基本功能42l描述用户需求l建立创建软件设计的基础l定义软件开发后的验证条件集合（2）需求分析模型结构图2-1给出了基于图形描述技术的需求分析模型结构。图2-1：需求分析模型结构（摘自Pressman，SoftwareEngineering，P300）其中（1）核心部分DataDictionary（DD，数据字典）：42--存储所有软件使用或产生的对象数据的描述。（2）中间层lDataFlowDiagram（DFD，数据流图）--描述数据

3、在经过系统时的转换过程--图示数据流函数lEntityRelationshipDiagram（ERD，实体关系图）--图示数据之间的关系lStateTransitionDiagram（STD，状态转换图）--描述系统接收外部事件后的状态变化（3）外部层lProcessSpecification（PSPEC，过程规约）--描述DFD中定义的每个函数lDataObjectDescription（数据对象描述）--描述ERD中每个数据对象的属性lControlSpecification（CSPEC，控制规约）--描述软

4、件控制外观的附加信息2．3．1数据流图DFD及语义1．定义（DFD）数据流图DFD技术描述流经一个信息系统的数据（信息）流，主要包括：（1）数据的输入与输出：数据是如何进入系统或从系统离开；（2）数据处理站点：在哪里数据是怎样处理的；42（1）存储单元：数据是在哪里存储的。2．定义（DFD符号）：数据（信息）的源点/终点：数据（信息）加工或逻辑处理：数据（信息）存储：数据（信息）流3．实例研究：汽车租赁数据流图（1）一个汽车租赁数据流图EuRentDFD见图2-2。图2-2：EuRentDFD（摘自Haggenm

5、ueller,Wirsing:MethodenderSoftware-Entwicklung,P29）图中Kunde：用户或汽车租赁者MakeBookings：租车登记42ObtainPayment：得到支付VehicleDepartures&Returns：汽车出发及返回EuRentDB：汽车租赁数据库Bookings：登记Invoice：出具发票（货单）Costs：费用（2）“MakeBookings”数据处理单元的定义设Bookings=（c，b）其中c为用户，包括用户自然信息，b为登记信息，包括信用卡、租

6、赁汽车等信息；Db为EuRent数据库类型，db为一EuRent数据库；put为数据添加函数（操作）；establishCB为EuRent数据库创建函数（操作）。则MakeBookings（MB）形式规约定义为：Bookings´Db®Bookings´Bookings´Db即MB：(c,b,db)®(c，b),(c,b),establishCB(c,b,put(b,put(c,db)))（3）“MakeBookings”数据处理单元的语义规约（PSPEC）DataType：--定义数据类型42C={c}；--用

7、户CustomersB={b}；--登记信息Bookings={（c，b）}=C´B；--登记Db={db}=SetC´SetB´Set（C´B）；--db为数据库DB的任一状态，Setα为α的全集（powerset）Operations：put：α´Db®Db；--添加数据，α为数据类型B或C，或C´BestablishCB：Bookings´Db®Db；--数据库创建MB：Bookings´Db®Bookings´Bookings´Db；--MakeBookings（MB）登记处理Axioms：MB(（c,b

8、）,db)Þ(c，b),(c,b),establishCB(c,b,put(b,put(c,db)))（3）数据流图处理单元抽象模型及语义42InformationProcessing（IP）DataInDataOutDB图2-3：DFD处理单元抽象模型形式语义：IP：DataIn´Db®DataOut´Db（4）DFD应用l适用于数据丰富系统（data-richsyst