第4章习题
这些答案是我参考了网上的答案,结合课本,加入自己理解的答案。
课本:《软件工程导论 (第6版)》-- 张海藩
4-1
举例对比形式化方法和欠形式化方法的优缺点。
答:
(1) 欠形式化方法的缺点
- 矛盾。例如,规格说明书的某一部分规定系统必须监控化学反应容器中的温度,而另一部分却规定只监控一定范围内的温度。
- 二义性。例如,“操作员标识由操作员姓名和密码组成,密码由6位数字构成。当操作员登录进系统时它被存放到注册文件中”。“它”指代不明。
- 含糊性。例如,“系统界面应该是对用户友好的。”,这样笼统的陈述没有给出任何有用的信息。
- 不完整性。例如,“水库深度数据应该保留6个月”,如果规格说明书没有给出这些数据在6个月以外的描述,那么这些细节是不完整的。
- 抽象层次混乱。是指在非常抽象的陈述中混进了一些关于细节的低层次陈述,降低了可读性。
(2) 形式化方法的优点
- 能够简洁准确地描述物理现象、对象或动作的结果。
- 可以在不同的软件工程活动之间平滑地过渡。
- 提供了高层确认的手段。
(3) 形式化方法的缺点
- 大多形式化规格说明主要关注系统的功能和数据,而时序的问题、控制和行为等方面的需求难以表示。