清华软件工程课件03[宣贯].pptVIP

可执行规格说明 可执行规格说明是用于需求规格说明的一种自动化技术。使用这种方法，人们可以直接观察他们用语言规定的任何系统性行为。包括 代数规格说明 有限状态模型 可执行的数据流图 ? * 精品PPT | 实用可编辑 （1）代数规格说明 代数规格说明使用集合、定义于这些集合上的函数和定义于这些函数上的方程来描述对象。规格说明的操作语义用这些方程表示。 * 精品PPT | 实用可编辑 NEW_STACK：→ Stack PUSH：Stack，Element → Stack POP： Stack → (Element | Undefined) POP (NEW_STACK ( ) ) ＝ Undefined POP (PUSH ( stk，elem ) ) ＝ elem 其中，前三行定义了操作的语法，后两行把它们的语义定义为一些方程。 举例：定义一个无界的栈及其操作 ? * 精品PPT | 实用可编辑 （2）有限状态模型 parnas提出的使用最广泛的一种可执行规格说明形式。从一个初始状态开始接收输入，到产生输出，状态在推移变化。施加在状态元素上的约束确定了有效状态的推移。 * 精品PPT | 实用可编辑 举例：建立用户／程序对话 ? * 精品PPT | 实用可编辑 （3）可执行的数据流图 数据流图是基于结构化开发方法的结构化规格说明 用一种可执行的语言程序代替