Karl Wiegers的Software Requirements示例挑错
潘加宇 [2019/9/25]
我针对Karl Wiegers的出了一道竞赛题,题目如下:
[改错题]很多书中的建模示例都存在问题,包括一些“名著”。请根据《软件方法》知识,列举以下所给资料中和Request a Chemical用例相关的内容(包括用例图和用例规约)存在的问题。


摘自Software Requirements, Third Edition(Karl Wiegers, Joy Beatty)
回答格式如“执行者Requester的命名不合适”。
解析
(1)
错误:用例图中,Buyer、Training Database和Chemical Stockroom不是Request a Chemical用例的辅执行者。从用例规约看,这几个家伙睡着或者死翘翘不影响系统达到这个用例的目标。
步骤没有出现“系统请求辅执行者做某事”的内容,只是说最后给Buyer和Chemical Stockroom发通知。特别是Training Database,执行者列表里提到了它,但在下文居然消失了?????
参考知识:《软件方法(上)》第二版 P. 180

(2)
可能的错误:用例图中,Healthand Safety Dept.不是Dispose of a Chemical用例的辅执行者,理由同(1),不过没看到用例规约,不能肯定。
(3)
错误:用例图中,Healthand Safety Dept. 不是合适的执行者名称。系统执行者是一个系统(人肉或非人肉),而Health andSafety Dept.是一个组织,应该改成里面的某个岗位。
(4)
可能的错误:用例图中,TrainingDatabase不是合适的执行者名称。系统执行者是一个系统(人肉或非人肉),这个系统的名字叫Training Database,比较可疑。DBMS可算是系统(合不合适作为文中的执行者再说),但数据文件不是系统。没有更多细节,不能下结论。
参考知识:《软件方法(上)》第二版 P. 146、P. 151


(5)
错误:用例图中,Manage Inventory作为用例名称不合适。
参考知识:《软件方法(上)》第二版 P. 164

(6)
错误:用例规约中,PRE-1,PRE2作为前置条件不合适。另外,执行者写Requester,到这里怎么变成User了呢?
参考知识:《软件方法(上)》第二版 P. 190

(7)
错误:用例规约的前置条件中,PRE-3作为前置条件不合适。除了***online属于正确无用的废话之外,Chemical inventory database是个啥东东?如果是系统内部的零件,那属于分析设计,不属于需求;如果是一个外系统,那应该出现在上面的执行者列表中。从这一点可以看出,作者的需求思维并不严谨,想到什么写什么,随手就来。
参考知识:《软件方法(上)》第二版 P. 190

(8)
错误:用例规约的步骤中,4.0.1. Requester specifies the desired chemical中的desired属于意淫式需求。Requester在系统边界外,系统无法承诺Requester指定的化学品就是他“想要的”,只知道他指定了一个化学品。
参考知识:《软件方法(上)》第二版 P. 202

(9)
错误:用例规约的步骤中,4.0.3. System gives Requester......中,Requester就是主执行者,gives Requester属于多余用语。如实写系统需要反馈的信息即可,如果信息较多,可能在字段列表中描述。如果执行者需要在本步骤反馈的信息中选择某些内容,应该写在下一个交互回合的第一步中。
(10)
错误:用例规约的步骤中,4.1.1Requester search vendor……,犯了责任混乱的错误。Requester只能提交查询条件,系统负责search vendor才对。
参考知识:《软件方法(上)》第二版 P. 204

(11)
错误:用例规约的步骤中,4.1.3和4.1.4连续Requester开头,合并成一句即可,信息太多可移到字段列表。
参考知识:《软件方法(上)》第二版 P. 202

(12)
错误:用例规约的步骤中,4.1.E1. 4a Requester asks to exit 4.1.E 1. 4b System terminates the usecase和本用例无特定关系,放之四海皆准,不用写。
以上所列错误中,(1)(4)(7)(10)是比较大的错误。
Karl Wiegers和Joy Beatty 的“Software Requirements”算是需求方面的“名著”了,而且已经出到了第3版,但真的要挑毛病,也是一挑一大堆。
