上海交大之软件需求分析

1、上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-11上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-12w需求分析的重要性需求分析的重要性w需求分析的困难性需求分析的困难性w需求工程需求工程w需求分析过程需求分析过程w概念模型和规范化概念模型和规范化w图形工具图形工具w需求验证需求验证w原型技术原型技术上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-13w需求分析是软件定义时期的最后一个阶段需求分析是软件定义时期的最后一个阶段w回答回答“系统必须做什么？系统必须做什么？”的问题的问

2、题上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-14真的很重要吗？真的很重要吗？例：Our real-time example is based on the embedded software in the Ariane-5, a space rocket belonging to the European Space Agency (ESA). On June 4, 1996, on its maiden flight, the Ariane-5 was launched and performed perfectly for approximate

3、ly 40 seconds. Then, it began to veer off course. At the direction of an Ariane ground controller, the rocket was destroyed by remote control. The destruction of the uninsured rocket was a loss not only of the rocket itself, but also of the four satellites it contained; the total cost of the disaste

4、r was $500 million (Newsbytes home page 1996; Lions et al. 1996).上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-15 The reason: there was no discussion in the requirements documents of the ways in which the Ariane-5 trajectory would be different from Ariane-4.统计资料：统计资料： In 1994, the Standish Group survey

5、ed over 350 companies about their over 8000 software projects to find out how well they were faring. The results are sobering. Thirty-one percent of the software projects were canceled before they were completed. Moreover, in large companies, only 9% of the projects were delivered on time and cost w

6、hat they were budgeted, and 16% met those criteria in small companies (Standish 1994).上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-16 To understand why, Standish (1995) asked the surveyrespondents to explain the causes of the failed projects.The top factors were reported to be1. incomplete requirement

7、s (13.1%)2. lack of user involvement (12.4%)3. lack of resources (10.6%)4. unrealistic expectations (9.9%)5. lack of executive support (9.3%)6. changing requirements and specifications (8.7%)7. lack of planning (8.1%)8. system no longer needed (7.5%)上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-17w5点事实

8、点事实n软件生命周期中，一个错误发现得越晚，修复错误的软件生命周期中，一个错误发现得越晚，修复错误的费用越高费用越高上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-18n许多错误是潜伏的，并且在错误产生后很长一段时间才被检查许多错误是潜伏的，并且在错误产生后很长一段时间才被检查出来出来n在需求过程中会产生很多错误在需求过程中会产生很多错误wDeMarco在一份研究报告中指出，被检查出来的错误的在一份研究报告中指出，被检查出来的错误的56产生产生的根源可以追溯到需求阶段。的根源可以追溯到需求阶段。wAIRMICS所进行的一项调查发现，在一份美国军方大型管理信

9、息所进行的一项调查发现，在一份美国军方大型管理信息系统的需求现格说明书系统的需求现格说明书(SRS)中存在着中存在着500多个错误，当然这仅仅多个错误，当然这仅仅是一个软件项目中的一次调查。是一个软件项目中的一次调查。n在需求阶段，代表性的错误为疏忽、不一致和二义性在需求阶段，代表性的错误为疏忽、不一致和二义性w美国海军研究实验室从美国海军研究实验室从20世纪世纪70年代起就对软件开发技术不断地年代起就对软件开发技术不断地进行研究。他们对海军进行研究。他们对海军A7E它机上的它机上的”宅行操作程序进行实地宅行操作程序进行实地测试，以验证许多新设想的可行性。得出的研究数据表明：测试，以验证许多新

10、设想的可行性。得出的研究数据表明：A7E项目中项目中77的需求错误特点是不明确：疏忽、不一致和二义性。按的需求错误特点是不明确：疏忽、不一致和二义性。按错误类型对这些错误分布进行分析的结果是：错误类型对这些错误分布进行分析的结果是：w49不正确的事实，不正确的事实，31疏忽，疏忽，l 3不一致，不一致，5二义性二义性上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-19n需求错误是可以被检查出来的需求错误是可以被检查出来的上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-110w在需求过程中会产生很多错误在需求过程中会产生

11、很多错误(事实事实3和和4)。w许多错误并没有在早期被发现许多错误并没有在早期被发现(事实事实2)。w这样的错误是能够在产生的初期被检查出来的这样的错误是能够在产生的初期被检查出来的(事实事实5)。w如果没有及时检查出来这些错误，软件费用会直如果没有及时检查出来这些错误，软件费用会直线上升线上升(事实事实1)上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-111上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-112w需求是什么需求是什么?需求就是以一种清晰、简洁、一致需求就是以一种清晰、简洁、一致且无二义性的方式，对一

12、个待开发系统中各个有且无二义性的方式，对一个待开发系统中各个有意义方面的陈述的一个集合。意义方面的陈述的一个集合。w需求工程一般指应用已证实有效的原理、方法，需求工程一般指应用已证实有效的原理、方法，通过合适的工具和记号，系统地描述出待开发系通过合适的工具和记号，系统地描述出待开发系统及其行为特征和相关约束；通常是一些过程的统及其行为特征和相关约束；通常是一些过程的集合：需求获取集合：需求获取(需求引出需求引出)、需求分析和编写软、需求分析和编写软件规格说明书件规格说明书(SRS)及验证及验证(包括鉴定和证实包括鉴定和证实)。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实

13、验室2022-5-113上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-114上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-115上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-116w误解误解w交流障碍交流障碍w缺乏共同语言缺乏共同语言w“完整性完整性”问题问题w需求永远不会稳定需求永远不会稳定w用户意见不统一用户意见不统一w错误要求错误要求w认识混淆认识混淆上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-117w可行性分析阶段已经粗略了解

14、了用户的需求，甚可行性分析阶段已经粗略了解了用户的需求，甚至已经提出了一些可行的方案，但是，可行性研至已经提出了一些可行的方案，但是，可行性研究的基本目的是究的基本目的是用较小的成本在较短的时间内确用较小的成本在较短的时间内确定是否存在可行的方案定是否存在可行的方案。因此许多细节被忽略。因此许多细节被忽略。w在系统开发前，还需要进一步确定在系统开发前，还需要进一步确定上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-118可行性分析可行性分析DFDDD功能具体化功能具体化需求规格说明需求规格说明加细加细DFDDD算法算法描述描述IPOFinal stage

15、of Definition phase仍然回答仍然回答“What”，而不是，而不是“How”，但更细致、精确（合同的拟定）但更细致、精确（合同的拟定）上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-119w完整完整w准确准确w清晰清晰w具体具体上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-120上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1211、确定要求、确定要求 功能要求功能要求(functional requirements):系统必须做什么？系统必须做什么？ 性能要求

16、性能要求(performance requirements)：做得怎样？做得怎样？ 例：例：response time , memory , back-up memory , security , 运行要求运行要求(operational requirements) ：运行环境、软硬件配置等。：运行环境、软硬件配置等。 未来可能的扩充要求未来可能的扩充要求(possible evolution)：如如3维虚拟现实的效果等维虚拟现实的效果等等。等。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-122 2分析数据分析数据建立概念模型建立概念模型(concep

17、tual models): E-R Diagram形象描绘数据结构形象描绘数据结构: Data Hierarchy, Warnier Diagram, IPO数据结构规范化数据结构规范化(Normalization)3、导出逻辑模型：、导出逻辑模型： DFD + DD + IPO4、修正计划：重估成本、进度等、修正计划：重估成本、进度等上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-123“样机样机试用试用”CDG5、开发原型系统开发原型系统(Prototyping)上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-12

18、4w软件系统本质上是信息处理系统，任何信息处理软件系统本质上是信息处理系统，任何信息处理系统的基本功能都是把输入数据转变成需要的输系统的基本功能都是把输入数据转变成需要的输出信息出信息w数据是分析的出发点，在可行性分析阶段许多实数据是分析的出发点，在可行性分析阶段许多实际的数据元素被忽略了，需求分析阶段将定义这际的数据元素被忽略了，需求分析阶段将定义这些数据元素些数据元素w结构化分析方法就是面向数据流自顶向下逐步求结构化分析方法就是面向数据流自顶向下逐步求精进行需求分析的方法精进行需求分析的方法上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1251、沿、

19、沿DFD回溯回溯（1）DFD的输出端是系统的最终目的的输出端是系统的最终目的（2）向回确定每个数据元素的来源）向回确定每个数据元素的来源（3）为了得到某个数据元素需要用到数据流图中目前还）为了得到某个数据元素需要用到数据流图中目前还没有的数据元素，或者得出某个数据元素需要用的没有的数据元素，或者得出某个数据元素需要用的算法尚不清楚，可加细算法尚不清楚，可加细DFD及及DD，并将相关算法记，并将相关算法记录在录在IPO图图中。中。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1262、用户复查、用户复查 数据字典准确完整吗？数据字典准确完整吗？ 算法正确吗

20、？算法正确吗？ 有没有遗漏必要的处理或数据元素？有没有遗漏必要的处理或数据元素？ 某些数据元素是从哪里来的？某些数据元素是从哪里来的？ 构成一个循环，认识螺旋式上升构成一个循环，认识螺旋式上升上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1273、细化、细化DFD： 加细前后的加细前后的IO须相同。须相同。 分解到须考虑具体实现的代码时即可仃止分解到须考虑具体实现的代码时即可仃止上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1284、修正计划、修正计划5、文档：、文档：需求规格说明书需求规格说明书不需分解不需分解有

21、补充有补充修正修正无补充修正无补充修正分析追踪分析追踪数据流图数据流图用户复查用户复查细细 化化数据流图数据流图需要需要分解分解上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-129 文档编号文档编号： 版版 本本 号：号： 文档名称：文档名称： 项目名称：项目名称： 项目负责人：项目负责人： 年年 月月 日日编写：编写：核对：核对：审核：审核：批准：批准：开发单位：开发单位： 上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-130系统规格说明：系统规格说明： 系统概貌系统概貌 功能要求功能要求 性能要求性能要求 运行

22、要求运行要求 可能增加的要求可能增加的要求 DFD IPO 数据要求：数据要求： DD Hierarchy 或或 Warnier Diagram 用户系统描述用户系统描述 初步用户手册：从用户的观点考虑系统初步用户手册：从用户的观点考虑系统 系统功能、性能系统功能、性能 使用与步骤使用与步骤 等等修正的开发计划：修正的开发计划： 成本估计成本估计 资源使用计划资源使用计划 进度计划进度计划上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-131上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-132轻松一分钟 True T

23、ech Support Stories A woman complied with a techs request to send in a copy of a defective diskette. A few days later, the tech received a letter from her along with a xerox copy of the floppy. A tech advised a customer to put his troubled floppy back in the drive and close the door. The customer pu

24、t his phone down and was heard walking across the room and shutting the door to the room.上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-133w节选自目前我国的一些实际系统中的功能性需求的说明节选自目前我国的一些实际系统中的功能性需求的说明方式：方式：“根据详细的系统调研和需求分析，根据详细的系统调研和需求分析，系统的系统的功能必须满足以下需求：功能必须满足以下需求：1)编制计划、计划工程拨款管理，编制计划、计划工程拨款管理，工程批复管理，工程进度统，工程批复管理，工

25、程进度统计；计；2)工程项目管理；工程项目管理；3)计划拨款、征费收缴信息及其他收拨款信息查询统计；计划拨款、征费收缴信息及其他收拨款信息查询统计；4)路产管理，违章建筑管理，工程材料管理，路产管理，违章建筑管理，工程材料管理，超限运输管理；，超限运输管理；5)养征信息查询管理，收费站信息管理；养征信息查询管理，收费站信息管理；6)文档管理，会议管理，合同管理，文档管理，会议管理，合同管理，驾驶员外勤管理，常用管，驾驶员外勤管理，常用管理；理；7)养护信息管理，公路维护预警；养护信息管理，公路维护预警；8)路况信息管理，交通量信息管理，科研项目信息管理；路况信息管理，交通量信息管理，科研项目信

26、息管理；上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-134w需求说明语句需求说明语句n保持语句和段落的简短保持语句和段落的简短n采用主动语态的表达方式采用主动语态的表达方式n编写具有正确的语法和标点的完整句子编写具有正确的语法和标点的完整句子n使用的术语应该和词汇表中定义的一致使用的术语应该和词汇表中定义的一致n需求陈述应该具有一致的式样，例如需求陈述应该具有一致的式样，例如“系统必系统必须须”，或者，或者“用户必须用户必须”，并紧跟一个行为动，并紧跟一个行为动作和可观察的结果，例如作和可观察的结果，例如“仓库管理子系统必须现实仓库管理子系统必须现实一

27、张在所请求的仓库中有存货的药品名单。一张在所请求的仓库中有存货的药品名单。”上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-135n为了减少不确定性，避免采用模糊的、主观的术语，为了减少不确定性，避免采用模糊的、主观的术语，例如，用户友好、容易、简单、迅速、有效、支持、例如，用户友好、容易、简单、迅速、有效、支持、许多、最新技术、优越的、可接受的和健壮的。许多、最新技术、优越的、可接受的和健壮的。n避免使用比较性的词汇，例如：提高，最大化，最小避免使用比较性的词汇，例如：提高，最大化，最小化和最佳化。定量地说明所需要提高的程度或者说清化和最佳化。定量地说明

28、所需要提高的程度或者说清一些参数可接受的最大值和最小值。一些参数可接受的最大值和最小值。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-136w“产品必须在固定的时间间隔内提供状态消息，并且每产品必须在固定的时间间隔内提供状态消息，并且每次时间间隔不得小于次时间间隔不得小于6060秒秒”n后台任务管理器应该在用户界面的指定区域显示状态消息后台任务管理器应该在用户界面的指定区域显示状态消息n在后台任务进程启动之后，消息必须每隔在后台任务进程启动之后，消息必须每隔6060（+_10+_10）秒更新一）秒更新一次，并且保持连续的可见性。次，并且保持连续的可见性。

29、n如果正在正常处理后台任务进程，那么后台任务管理器必须显如果正在正常处理后台任务进程，那么后台任务管理器必须显示后台任务进程已完成的百分比示后台任务进程已完成的百分比n当完成后台任务时，后台任务管理器必须显示一个当完成后台任务时，后台任务管理器必须显示一个“已完成已完成”的消息。的消息。n如果后台任务中止执行，那么后台任务管理器必须显示一个出如果后台任务中止执行，那么后台任务管理器必须显示一个出错信息。错信息。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-137w“产品必须在显示和隐藏非打印字符之间进行瞬产品必须在显示和隐藏非打印字符之间进行瞬间切换间切

30、换”n“用户在编辑文档时，通过激活特定的触发机制，可用户在编辑文档时，通过激活特定的触发机制，可以在显示和隐藏所有以在显示和隐藏所有HTMLHTML标记之间进行切换。标记之间进行切换。”上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-138w“分析程序应该能生成分析程序应该能生成HTMLHTML标记出错的报告，这标记出错的报告，这样就可以使样就可以使HTMLHTML的初学者使用它来迅速排错的初学者使用它来迅速排错”n在在HTMLHTML分析程序完全分析完一个文件后，该分析程序分析程序完全分析完一个文件后，该分析程序必须生成一个出错报告，这个报告中包含了在分

31、析文必须生成一个出错报告，这个报告中包含了在分析文件中所发生错误的件中所发生错误的HTMLHTML所在的行号以及文本内容，还所在的行号以及文本内容，还包含了对每个错误的描述。包含了对每个错误的描述。n如果分析过程中未发生任何错误，就不必生成任何错如果分析过程中未发生任何错误，就不必生成任何错误报告误报告上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-139w第六步第六步 审查和复审审查和复审w以上六步构成一个循环以上六步构成一个循环上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-140上海交通大学计算机集成技术开放实验

32、室上海交通大学计算机集成技术开放实验室2022-5-141w软件系统开发过程中必须考虑两方面的问题软件系统开发过程中必须考虑两方面的问题n“数据数据”及对数据的及对数据的“处理处理”w为了把用户的数据要求清晰明确地表达出来，系为了把用户的数据要求清晰明确地表达出来，系统分析员通常建立一个统分析员通常建立一个概念性的数据模型概念性的数据模型（也称（也称为信息模型）。概念性数据模型是一种为信息模型）。概念性数据模型是一种面向问题面向问题的数据模型的数据模型，是按照用户的观点来对数据和信息，是按照用户的观点来对数据和信息建模。建模。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实

33、验室2022-5-142w最常用的表示概念性数据模型的方法，是实体联最常用的表示概念性数据模型的方法，是实体联系方法（系方法（Entity-Relationship Approach）wER图描述现实世界中的实体，而不涉及这些实图描述现实世界中的实体，而不涉及这些实体在系统中的实现方法。体在系统中的实现方法。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-143 Entities 例：例： , ,StudentInstructorClass 实体是客观世界中存在的且可相互区分的事实体是客观世界中存在的且可相互区分的事务。实体可以是人也可以是物，可以是具体的

34、务。实体可以是人也可以是物，可以是具体的事物也可以是抽象概念。例如，职工、学生、事物也可以是抽象概念。例如，职工、学生、课程、教师等都是实体。课程、教师等都是实体。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-144w客观世界中的事物彼此间往往是有联系的，例如，客观世界中的事物彼此间往往是有联系的，例如，教师与课程间存在教师与课程间存在“教教”这种联系。这种联系。 Relations 例：例：Enrolled inTeach111NMN上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-145w属性是实体或联系所具有的性

35、质。通常一个实体属性是实体或联系所具有的性质。通常一个实体由若干个属性来刻画。由若干个属性来刻画。w例如，例如，“学生学生”实体有学号、姓名、性别、系、实体有学号、姓名、性别、系、年级年级 Attributes 例：例： ,NameI D#上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-146InstructorStudentEnrolled inTeachClassI D #I D #NameNameSexSexTitleInstructor IDClass IDGradeStudent IDClass IDCreditI D #Subject例：例：上

36、海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1472、范式、范式(Normal Forms)：消除数据冗余的程度：消除数据冗余的程度 IBM E. F. Godd (1970)例：StudentInstructorClassEnrolled inTeachID* *NameSexAgeMajor ID* *NameSexAgeTitle ID* *SubjectCreditStudent ID* *Class IDGradeInstructor ID* * Class ID* *Keyword:可唯一地标识一个元组的属性可唯一地标识一个元组的属性上海交通

37、大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-148w范式级别越高，存储同样数据就要分解成更多张范式级别越高，存储同样数据就要分解成更多张表，因此表，因此“存储自身存储自身”的过程也就越复杂的过程也就越复杂w随着范式级别的提高，数据的存储结构与基于问随着范式级别的提高，数据的存储结构与基于问题域的结构间的匹配程度也随之下降，因此，在题域的结构间的匹配程度也随之下降，因此，在需求变化时数据的稳定性较差需求变化时数据的稳定性较差w范式级别的提高则需要访问的表增多，性能（速范式级别的提高则需要访问的表增多，性能（速度）将下降度）将下降上海交通大学计算机集成技术开放实验

38、室上海交通大学计算机集成技术开放实验室2022-5-1491 - NF：所有属性都是原子值，即不出现：所有属性都是原子值，即不出现“表中有表表中有表”上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1502 - NF：在：在 1-NF 基础上，每个基础上，每个non-key-word都由整个都由整个key word 决定（而非依赖于决定（而非依赖于key word 的一部分）。例：的一部分）。例：“Major”实际上由实际上由“ID”的第的第6、7位决定，可省位决定，可省去。去。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室202

39、2-5-1513 - NF：在：在 2-NF基础上，基础上，non-key-word之间无从属之间无从属关系。关系。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1521、层次方框图、层次方框图 (Hierarchy) 描绘数据的结构描绘数据的结构例：例：A Room hierarchy based on an interior designers perspective.RoomRoom with lightsRoom with windowsGarageBasementKitchenBathroomRoom withFurnitureLivingRo

40、omFamilyRoomBedRoomDiningRoom上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1532、Warnier Diagram：层次层次（n1 ,n2):重复重复n1到到n2次次 ：二者择一：二者择一例：例： 头条新闻头条新闻 地区队地区队 头版头版 国内新闻国内新闻 体育新闻体育新闻 职业队职业队 本地新闻本地新闻 拳击拳击 社论社论(1,1) 经营简讯经营简讯 专栏专栏(1,3) 报纸报纸 社论社论 读者来信读者来信(1,3) 副刊副刊 商业新闻商业新闻 雇员简讯雇员简讯 讽刺漫画讽刺漫画(0,1) 一般新闻一般新闻 体育新闻联播体

41、育新闻联播 招生招生 副刊副刊 商业新闻商业新闻 广告广告 招聘招聘 广告广告 求助求助细细化化上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-1543、IPO图图(Input / Process / Output)：简要的算法描述：简要的算法描述1. 1. 校验校验主记录主记录2. 2. 校验校验事务记录事务记录3. 3. 更新更新主记录主记录旧的主文件旧的主文件事务文件事务文件有效的有效的主记录主记录有效的有效的事务记录事务记录更新后的更新后的主文件主文件输出输出O O处理处理P P输入输入I I上海交通大学计算机集成技术开放实验室上海交通大学计算机集

42、成技术开放实验室2022-5-155改进的IPO图上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-156 正确性：正确性：Are the requirements correct? 一致性：一致性：Are the requirements consistent? 完整性：完整性：Are the requirements complete? 现实性：现实性：Are the requirements realistic?Do the requirements described something that is reallyneeded by the cus

43、tomer?方法：方法： 人工审查人工审查 初步用户手册初步用户手册 Prototyping 使用软件工具使用软件工具 完整性、一致性完整性、一致性上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-157例1：Software Requirements Engineering Methodology (SREM) (TRW Corporation, 1977)SREM = Requirements Statement Language (RSL) + Requirements Engineering Validation System (REVS)REVSR

44、SLRequirementsRSLStatementsAbstract System Semantic Model (ASSM)AnalyzerReports例例 2：Problem Statement Language (PSL) / Problem StatementAnalyzer (PSA) (Michigan University, 1977)PSAPSLRequirementsDatabaseReports上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-158例例 3 3：Heimdahl and Leveson (1996) have dev

45、eloped an approach forchecking the completeness and consistency in hierarchical, state-basedrequirements. Their framework uses the Requirements SpecificationModeling Language (RSML), developed at the University ofCalifornia at Irvine.In RSML, the system being built is considered as a finite-statemac

46、hine, and the language models the states, transitions, andsequencing of events. The graphical RSML specification defines amathematical next-state function. Ideally, the function should bedefined over all possible system states; this property is called d-completeness. Also, the function should have n

47、o conflictingrequirements, meaning that the system is consistent.RSML was used to analyze TCAS II, a collision avoidance systemused in U.S. airspace. By describing TCAS with the next-stateapproach, Heimdahl and Leveson revealed an unplannednondeterminism that had serious safety implications and was

48、notapparent when the specification was originally written.上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-159w近年来已经开发出一些需求分析工具，它们提供近年来已经开发出一些需求分析工具，它们提供一组程序，帮助分析员制定需求规格说明。以自一组程序，帮助分析员制定需求规格说明。以自动化为主的工具给分析员提供另一种可供选择的动化为主的工具给分析员提供另一种可供选择的方案。软件需求能够用一种规格说明语言来描述，方案。软件需求能够用一种规格说明语言来描述，这种语言把关键字指示符与自然语言这种语言把关键字指

49、示符与自然语言(例如英语例如英语)描述结合起来。规格说明语言被送进一个处理机，描述结合起来。规格说明语言被送进一个处理机，它产生出一份需求规格说明，更为重要的是，它它产生出一份需求规格说明，更为重要的是，它同时还产生出一组有关规格说明的一致性和组织同时还产生出一组有关规格说明的一致性和组织的诊断报告。的诊断报告。w在过去的在过去的10年间，已经提出过一些用于制订需年间，已经提出过一些用于制订需求规格说明的自动化工具。求规格说明的自动化工具。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-160上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开

50、放实验室2022-5-161w软件需求工程方法学软件需求工程方法学(SREM)和问题陈述语言和问题陈述语言问题陈述分析器问题陈述分析器(PSLPSA)是有代表性的自动是有代表性的自动化工具。此外，一些基于知识或形式化方法都需化工具。此外，一些基于知识或形式化方法都需要有自动工具来支持，才能有较好实用价值。要有自动工具来支持，才能有较好实用价值。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-162w软件需求工程方法学软件需求工程方法学(SREM)wSREM是一种自动化的需求分析工具，它用一种是一种自动化的需求分析工具，它用一种需求陈述语言需求陈述语言(RS

51、L)来描述来描述“元素、属性、关系元素、属性、关系和结构和结构”。元素。元素(按照按照SREM的术语的术语)包括一组用包括一组用来制定需求规格说明的对象和概念。各对象之间来制定需求规格说明的对象和概念。各对象之间的关系规定为的关系规定为RSL的一部分，而属性则用来描述的一部分，而属性则用来描述或说明元素，结构用来说明信息流程。这些或说明元素，结构用来说明信息流程。这些RSL基本成分与叙述性信息一起构成需求规格说明的基本成分与叙述性信息一起构成需求规格说明的细节。细节。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-163w问题陈述语言与问题陈述分析问题陈述

52、语言与问题陈述分析PSLPSAwPSLPSA是是1968年由年由DTeichroew在密执安大学在密执安大学(Un5versity nf Michigan)提出的。提出的。w它是为它是为ISDOS项目而开发的，又是一个称之为计算机辅项目而开发的，又是一个称之为计算机辅助设计与规格说明分析工具助设计与规格说明分析工具(computeraided design and sPecification analysisto01，CADSAT)的更大的的更大的系统的部分。系统的部分。wPSLPSA给分析员提供的功能包括：给分析员提供的功能包括：n一般信息系统的描述，不论其应用领域如何。一般信息系统的描述，

53、不论其应用领域如何。n建立一个包含用于信息系统的描述符的数据库。建立一个包含用于信息系统的描述符的数据库。n描述符的添加、删除和修改。描述符的添加、删除和修改。n提供格式化的文档资料和关于规格说明的各种报告。提供格式化的文档资料和关于规格说明的各种报告。上海交通大学计算机集成技术开放实验室上海交通大学计算机集成技术开放实验室2022-5-164w(1)问题陈述语言问题陈述语言(the problem statement language，PSL)。PSL是一种用来描述信息系统的语言。是一种用来描述信息系统的语言。PSL模型模型的结构由表达以下内容的描述符构成：系统信息流、系的结构由表达以下内容的描述符构成：系统信息流、系统结构、数据结构、数据的导出、系统的规模和容量、统结构、数据结构、数据的导出、系统的规模和容量、系统的动态特性、系统的性质以及项目的管理等。系统的动态特性、系统的性质以及项目的管理等。w(2)问题陈述分析问题陈述分析(the problem statement analyzer，PSA)。PSA能够对由能够对由PSL描述的问题进行分析。使用者描述的问题进行分析。使用者对系统建立了一个完整的对系统建立了一个完整的PSL描述后，