软件工程(1)–图表与有穷状态机

软件工程–图表与有穷状态机

1. 银行计算机存储系统

1.1 作业题目

银行计算机存储系统的工作过程大致如下：储户填写的存款单或取款单由业务员输入系统，如果是存款则系统记录存款人姓名、住址(或电话 码)、身份证 码、存储类型、存款日期、到期日期、利率及密码(可选)等信息，并打印出存单给储户；如果是取款而且存款时留有密码，则系统首先核对储户密码，若密码正确或存款时未留密码，则系统计算利息并印出利息清单给储户。

用数据流图描绘本系统的功能，并用实体-联系图描绘系统中的数据对象。

1.2 作业分析

上述问题是一个银行计算机系统的简单实例，考察的知识点是数据流图以及E-R图。

1.3 数据流图

2. 机票预订系统

2.1 作业题目

试用实体-联系图描绘本系统中数据对象并用数据流图描绘本系统的功能。

2.2 作业分析

上述题目是一个机票预订系统的简化实例，考察的知识点仍然是数据流图以及E-R图。

2.3 数据流图

3. 复印机

3.1 作业题目

复印机的工作流程大致如下：未接到复印命令时出于闲置状态，一旦接到复印命令则进入复印状态，完成一个复印指令规定的工作后又回到闲置状态，等待下一个复印命令；如果执行复印命令时发现没纸，则进入缺纸状态，发出警告，等待装纸，装满纸后进入闲置状态，准备接收复印命令；如果复印时发生卡纸故障，则进入卡纸状态，发出警告，等待维修人员来排除故障，故障排除后回到闲置状态。
试用状态转换图描绘复印机的行为。

3.2 作业分析

此题是以复印机的工作流程为背景来考察的程序流程图的使用。

3.3 流程图

4. 浮点数–有穷状态机

4.1 作业题目

一个浮点二进制数的构成是：一个可选的符 $(+ or -)$, 后跟一个或多个二进制位，再跟上另一个可选符 $(+ or -)$及一个或多个二进制位。例如，下列的字符串都是浮点二进制数：

$110101E-101$

$-100111E11101$

$+1E0$

更形式化地，浮点二进制数定义如下：

$::[ ] E[ ]$

$::=+|-$

$::= [bitstring]$

$::=0|1$

其中：

? 符 $::=$ 表示定义为；

? 符 $[...]$ 表示可选项；

? 符 $a|b$ 表示$a$或者$b$。

假设这样一个有穷状态机：以一串字符为输入，判断字符串中是否含有合法的浮点二进制数。试对这个有穷状态机进行规格说明。

4.2 作业分析

此题是以浮点数的合法性判定为切入点，考察的有穷状态机的规格说明的书写方法。

4.3 规格说明

声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！