软件工程第四章习题

1. 举例说明形式化说明技术和欠形式化方法的优缺点。

以下是简单总结，具体看这里

举例说明就先past拉，要不学学课本电梯的例子。

2. 在什么情况下应该使用形式化说明技术用形式化说明技术应遵守哪些规则/h2>

1. 在使用非形式化的说明方式存在矛盾，二义性，含糊性，不完整性和抽象层次混乱等问题的时候，就需要采用形式化说明技术。
2. 应该遵守的规则(10个，表形本问传，档质赖测重）

• 应该选用适当的表示方法。
• 应该形式化，但不要过分形式化（中庸形式化）。
• 应该估算成本。
• 应该有形式化方法顾问随时提供咨询。
• 不应该放弃传统的开发方法（不放弃传统）。
• 应该建立详尽的文档。
• 不应该放弃质量标准（不放弃质量标准）。
• 不应该盲目依赖形式化方法（不盲目依赖）。
• 应该测试、测试再测试。
• 应该重用。

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

有穷状态机

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

4.1 图书状态的有穷状态机描述

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

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

状态机J：{ 读者查询状态，查询结果 }
输入集K ：{ 终端输入用户查询命令，书的各种状态（ S1，S2，S3）}
转换函数T：如图 4.4.3 所示
初始态S：{ 读者查询状态 }
终态集F：{ 查询结果 }