软件工程需求分析学习课件.pptVIP

原型开发技术 可执行规格说明 基于脚本(scenario)的设计 自动程序设计 专用语言 可复用(reusable)的软件 简化假设 精品 可执行规格说明 可执行规格说明是用于需求规格说明的一种自动化技术。使用这种方法，人们可以直接观察他们用语言规定的任何系统性行为。包括 代数规格说明 有限状态模型 可执行的数据流图 精品 （1）代数规格说明 代数规格说明使用集合、定义于这些集合上的函数和定义于这些函数上的方程来描述对象。规格说明的操作语义用这些方程表示。 精品 NEW_STACK：→ Stack PUSH：Stack，Element → Stack POP： Stack → (Element | Undefined) POP (NEW_STACK ( ) ) ＝ Undefined POP (PUSH ( stk，elem ) ) ＝ elem 其中，前三行定义了操作的语法，后两行把它们的语义定义为一些方程。 举例：定义一个无界的栈及其操作 精品 （2）有限状态模型 parnas提出的使用最广泛的一种可执行规格说明形式。从一个初始状态开始接收输入，到产生输出，状态在推移变化。施加在状态元素上的约束确定了有效状态的推移。 精品 举例：建立用户／程序对话 精品 （3）可执行的数据流图 数据流图是基于结构化开发方法的结构化规格说明 用一种可执行的语言程序代替定义处理逻辑的结构化英语，数据流图就成为由可执行语言程序模块组成的网络，在一定环境或工具的支持下就可成为一个可以执行的原型系统。 精品 基于脚本的设计 脚本是指用户界面的原型。一个脚本用以模拟在系统运行期间用户经历的事件。它提供了输入─处理─输出的屏幕格式和有关对话的模型。因此，软件开发者能够给用户显示系统的逼真的视图，使用户得以判断是否符合他的意图。 精品 可在任一脚本中使用一套可复用的软件模块，以表达某一方面的要求。 可使用一种原型语言来描述原型系统。原型开发过程中用这种语言来定义屏幕、数据项、及其相关的操作。从系统的外部描述开始，开发与数据库的接口、错误处理和恢复过程等系统的与外部视图一致的细节。 精品 自动程序设计 自动程序设计是指在程序自动生成环境的支持下，利用计算机实现软件的开发。它可以自动地或半自动地把用户的非过程式问题规格说明转换为某种高级语言程序： 演绎综合手段： 基于数学推理的构造式证明。 精品 程序变换手段： 将一程序转换成另一功能等价的程序，并保持其正确性不变。 实例推广手段： 从实例特征出发，将它推广为待编程序的特征，最后得到程序。 过程化手段： 研究甚高级语言的编译和知识的过程化。 精品 专用语言 专用语言是应用领域的模型化语言。在原型开发中使用专用语言，可方便用户和软件开发者在计划中的系统特性方面的交流。 精品 软件复用技术 利用可复用的模块，做出适当的组合，就可得到快速构造的原型系统。 为了快速地构造原型，这些模块首先必须有简单而清晰的界面；其次它们应当尽量不依赖其它的模块或数据结构；第三，它们应具有一些通用的功能。 精品 简化假设 简化假设是在开发过程中使设计者迅速得到一个简化的系统所做的假设。尽管这些假设可能实际上并不能成立，但它们在原型开发过程中可以使开发者的注意力集中在一些主要的方面。 精品 在修改一个文件时，可以假设这个文件确实存在 在存取文件时，待存取的记录总是存在 一旦计划中的系统满足用户所有的要求，就可以撤消这些假设，并追加一些细节。 精品 系统动态分析 系统的需求规格说明通常是用自然语言来叙述的，但是用自然语言描述往往会出现歧义性。 为了直观地分析系统的动作，从特定的视点出发描述系统的行为，需要采用动态分析的方法。 精品 3.4最常用的动态分析方法 状态迁移图 时序图 Petri网 精品 状态迁移图 状态迁移图是描述系统的状态如何相应外部的信号进行推移的一种图形表示。 圆圈“○”表示可得到的系统状态 箭头“→”表示从一种状态向另一种状态的迁移。 精品 例如, 当有多个申请占用CPU运行的进程时, 有关CPU分配的进程的状态迁移。 精品 可得到的状态＝就绪，运行，等待 生成的事件＝t1，t2， t3， t4 ? t1 ─ 中断事件 ? t2 ─ 中断已处理 ? t3 ─ 分配CPU ? t4 ─ 用完CPU时间 精品 状态迁移图的优点 状态之间的关系能够直观地捕捉到 由于状态迁移图的单纯性，能够机械地分析许多情况，可很容易地建立分析工具 精品 在系统分析中，用时序图于对比在系统中处理事件的时序和相应的处理时间。在右图中, 对于事件e, 功能1～功能3 的处理时间 总计为 (T1 ＋T2＋T3） 其中功能间 切换时间0。 时序图 精品 采用