软件工程导论第4章习题答案

第4章习题

这些答案是我参考了网上的答案，结合课本，加入自己理解的答案。
课本：《软件工程导论 (第6版)》-- 张海藩

4-1

举例对比形式化方法和欠形式化方法的优缺点。

答：
(1) 欠形式化方法的缺点

1. 矛盾。例如，规格说明书的某一部分规定系统必须监控化学反应容器中的温度，而另一部分却规定只监控一定范围内的温度。
2. 二义性。例如，“操作员标识由操作员姓名和密码组成，密码由6位数字构成。当操作员登录进系统时它被存放到注册文件中”。“它”指代不明。
3. 含糊性。例如，“系统界面应该是对用户友好的。”，这样笼统的陈述没有给出任何有用的信息。
4. 不完整性。例如，“水库深度数据应该保留6个月”，如果规格说明书没有给出这些数据在6个月以外的描述，那么这些细节是不完整的。
5. 抽象层次混乱。是指在非常抽象的陈述中混进了一些关于细节的低层次陈述，降低了可读性。

(2) 形式化方法的优点

1. 能够简洁准确地描述物理现象、对象或动作的结果。
2. 可以在不同的软件工程活动之间平滑地过渡。
3. 提供了高层确认的手段。

(3) 形式化方法的缺点

• 大多形式化规格说明主要关注系统的功能和数据，而时序的问题、控制和行为等方面的需求难以表示。

4-2

在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？

• 在使用非形式化方式描述时，存在矛盾，二义性，含糊性，不完整性，抽象层次混乱等问题时，使用形式化说明技术

1. 应该选用适当的表示方法
2. 应该形式化，但不要过分形式化【二仙桥】
3. 应该估算成本
4. 应该有形式化方法顾问随时提供咨询
5. 不应该放弃传统的开发方法
6. 应该建立详尽的文档
7. 不应该放弃质量标准
8. 不应该盲目依赖形式化方法
9. 应该测试、测试再测试
10. 应该重用

记忆宫殿路线（宿舍）：
我的座位→看hjj做什么→看hyh做什么→看ljj做什么→穿洞洞鞋→出去打水→回来洗手→看下洗衣机→上个厕所→上床睡觉
① 我在B站学表白方法（表示方法）
② hjj在B站看二仙桥
③ hyh上JD买买买（成本）
④ ljj找医生顾问咨询 xxxx
⑤ 不应该穿传统的鞋子，应该穿洞洞鞋
⑥ 饮水机那里挂着很多详尽的文档，看完才能打水
⑦ 洗手不能不洗干净（质量标准）
⑧ hjj又没晾衣服，不依赖我们就不记得晾了
⑨ 冲水冲水冲水（cscscs=测试测试测试）
⑩ 反复睡觉

4-3

答：
　　该有穷状态机的初态是“等待字符串输入”。在初态若接收到字符 + 、或字符 - 、或二进制位，则进入”输入尾数”状态；在初态若接收到其他字符，则进入终态“非浮点二进制数”。在“输入尾数”状态若接收到二进制位，则保持该状态不变；若接收到字符 E ，则进入“等待输入指数”状态；若接收到其他字符，则进入终态“非浮点二进制数”。在“等待输入指数”状态若接收到字符 + 、或字符 - 、或二进制位，则进入”输入指数”状态；若接收到其他字符，则进入终态“非浮点二进制数”。在””输入指数”状态若接收到二进制位，则保持该状态不变；若输入其他字符，则进入终态”非浮点二进制数”；若输入结束，则进入终态“浮点二进制数”。
　　

4-4

考虑下述的自动化图书馆流通系统：每本书都有一个条形码，每个人都有一个带条形码的卡片。当一个借阅人想借一本书时，图书管理员扫描书上的条形码和借阅人卡片上的条形码，然后在计算机终端上输入 C；当归还一本书时，图书管理员将再做一次扫描，并输入 R。图书管理员可以把一些书加到（+）图书集合中，也可以删除（-）它们。借阅人可以在终端上查找到某个作者所有的书（输入“A=”和作者名字），或具有指定标题的所有书籍（输入“ T= ”和标题），或属于特定主题范围内的所有图书（输入“ S=”加主题范围） 。最后，如果借阅人想借的书已被别人借走，图书管理员将给这本书设置一个预约，以便书归还时把书留给预约的借阅人（输入“ H=”加书号）。

试用有穷状态机说明说明上述的图书流通系统

（1） 图书状态的有穷状态机描述

状态集J：{ 书在图书馆 S1，书被借出 S2，书被预约 S3}
输入集K ：{ 书上条形码，借阅卡条形码，终端输入各种命令 }
初始态S：{ 书在图书馆 S1，书被借出 S2}
终态集F：{ 书被借出 S2，书被预约 S3}
转换函数T：

(2) 图书馆终端管理员模式的有穷状态机描述

状态集J：{ 图书管理员设置，书入库，书出库，预约 }
输入集K ：{ 终端输入管理员命令，书的各种状态（ S1，S2，S3）}
初始态S：{ 图书管理员设置 }
终态集F：{ 书入库，书出库 ，预约 }
转换函数T：

(3) 图书馆终端用户模式的有穷状态机描述

状态集J：{ 读者查询，显示某个作者所有的书，显示指定标题的所有书，显示特定主题范围的所有书 }
输入集K ：{ 终端输入用户查询命令 }
初始态S：{ 读者查询 }
终态集F：{ 显示某个作者所有的书，显示指定标题的所有书，显示特定主题范围的所有书 }
转换函数T：

4-5

试用Petri网说明4-4所述图书馆中一本书的循环过程。在规格说明中应该包括操作H、C及R

P1表示书在图书馆；P2表示书在读者手上； P3书被预约