[计算机]软件工程实验指导—实验六.docVIP

软件工程上机实践指导参考答案实验五用例文档的撰写1. 借阅物理书刊（Borrow Book）1.1 前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。1.2 后置条件（Post-Conditions）如果这个用例成功，在系统中建立并存储借阅记录，如果必要还要删除预订记录。否则，系统的状态没有变化。1.3 扩展点（Extension Points）借阅者预定了书刊。1.4 事件流1.4.1 基流（Basic Flow）当借阅者从图书馆借阅物理书刊时，用例启动。（1）图书管理员提供书刊书目、借阅者信息。（2）系统检索书刊书目（Title）（E-1）（3）系统确定所借阅的物理书刊是否可以获得（E-2），也即物理书刊是否都已借出。（4）系统检索借阅者（E-3）（5）图书管理员将物理书刊借给借阅者（6）记录借阅信息。（7）若该图书为预定的图书，执行用例4取消预定（Cancel Reservation）1.4.2 替代流（Alternative Flow）E-1 该种书刊不存在，系统显示提示信息，用例终止。E-2 物理书刊都已借出，系统显示提示信息，用例终止。E-3 系统中不存在该借阅者，系统显示提示信息，用例终止。2. 返还物理书刊（Return Book）2.1 前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。2.2后置条件（Post-Conditions）在这个用例成功，系统删除借阅记录。否则，系统的状态没有变化。2.3 扩展点（Extension Points）没有。2.4 事件流2.4.1 基流（Basic Flow）当借阅者返还所借的物理书刊时，用例启动。（1）图书管理员提供所还物理书刊信息。（2）系统检索物理书刊（E-1）。（3）系统查询物理书刊的借阅记录（E-2）。（4）系统删除借阅记录。2.4.2 替代流（Alternative Flow）E-1 物理书刊不存在，系统显示提示信息，用例终止。E-2 若借阅记录不存在，系统显示提示信息，用例终止。3. 预定书刊（Reserve Title）3.1前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。3.2 后置条件（Post-Conditions）如果这个用例成功，系统建立预订记录。否则，系统的状态没有变化。3.3 扩展点（Extension Points）没有。3.4 事件流3.4.1 基流（Basic Flow）当Librarian为借阅者预订书刊时，用例启动。（1）图书管理员提供书刊书目、借阅者信息。（2）系统检索书刊书目（E-1）。（3）检索借阅者（E-2）。（4）系统接受预定，创建预定记录。（5）系统将预定记录存储在系统中。3.4.2 替代流（Alternative Flow）E-1 该种书刊不存在，系统显示提示信息，用例终止。E-2 系统中不存在该借阅者，系统显示提示信息，用例终止。4. 取消预定（Cancel Reservation）4.1前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。4.2 后置条件（Post-Conditions）如果这个用例成功，系统删除预订记录。否则，系统的状态没有变化。4.3 扩展点（Extension Points）没有。4.4 事件流4.4.1 基流（Basic Flow）（1）图书管理员提供所预定的书刊书目、借阅者信息。（2）系统检索所预定的书刊书目（E-1）。（3）系统检索借阅者（E-2）。（4）系统删除借阅者的预定信息（E-3）。4.4.2 替代流（Alternative Flow）E-1 该种书刊不存在，系统显示提示信息，用例终止。E-2系统中不存在该借阅者，系统显示提示信息，用例终止。E-3 预定信息不存在，系统显示提示信息，用例终止。思考与练习5. 维护借阅者信息（Maintain Borrower Info）5.1前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。5.2 后置条件（Post-Conditions）如果这个用例成功，系统添加、修改或删除借阅者信息。否则，系统的状态没有变化。5.3 扩展点（Extension Points）没有。5.4 事件流5.4.1 基流（Basic Flow）当Librarian想维护借阅者信息时，用例启动。系统要求Librarian选择所想执行的活动（添加借阅者、删除借阅者或修改借阅者）如果所选的活动是“添加借阅者”，则执行分支流S-1：添加借阅者。如果所选的活动是“删除借阅者”，则执行分支流S-2：删除借阅者。如果所选的活动是“修改借阅者”，则执行分支流S-3：修改借阅者。5.4.2 分支流（Subflows）S-1：添加借阅者（1）图书管理员提供借阅者的信息，如姓名、地址、邮政编码和身份证号码等。（2）系统存储借阅者信息（E-1）。S-2：删除借阅者（1）图书管理员提供借阅者的信息。（2）系统查询借阅者（E-2）。（3）系统查询借阅者的借阅记录（E-3）（4）系统删除借阅者的信息，以及借阅者的预定记录。S-3：更改借阅者（1）图书管理员提供借阅者的信息。（2）系统查询并显示借阅者的信息（E-2），修改相应的信息。（3）系统更新借阅者的信息。5.4.3 替代流（Alternative Flow）E-1 若借阅者已存在，系统显示提示信息，用例终止。E-2 若查询不到借阅者，系统显示提示信息，用例终止。E-3 若存在借阅记录，系统显示提示信息，用例终止。6.维护书刊信息（Maintain Title Info）6.1前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。6.2 后置条件（Post-Conditions）如果这个用例成功，系统添加、修改或删除书刊书目信息。否则，系统的状态没有变化。6.3 扩展点（Extension Points）没有。6.4 事件流6.4.1 基流（Basic Flow）当Librarian想维护借阅者信息时，用例启动。系统要求Librarian选择所想执行的活动（添加书种、删除书种或修改书种）。如果选择的活动是“添加书种”，则执行分支流S-1：添加书刊信息。如果选择的活动是“删除书种”，则执行分支流S-2：删除书刊信息。如果选择的活动是“修改书种”，则执行分支流S-3：修改书刊信息。6.4.2 分支流（Subflows）S-1：添加书刊信息（1）图书管理员提供书刊的书名、作者、ISBN/ISSN号等信息。（2）系统添加该书刊信息。S-2：删除书刊信息（1）图书管理员提供所要删除的书刊信息。（2）系统查询所要删除的书刊（E-2）（3）系统删除该书刊的所有物理书刊的信息（E-3）（4）系统删除书刊信息，以及相关的预定信息。S-3：更改书刊信息（1）图书管理员提供所要修改的书刊信息。（2）系统查询并显示书刊信息（E-2）（3）系统修改相应的的信息（4）系统更新书刊信息。6.4.3 替代流（Alternative Flow）E-1 若书刊信息已存在，系统显示提示信息，用例终止。E-2 若查询不到该书刊，系统显示提示信息，用例终止。E-3 若有物理书刊借出，系统显示提示信息，用例终止。7. 维护物理书刊信息（Maintain Book Info）7.1前置条件（Pre-Conditions）在这个用例开始前，Librarian必须登录到系统中。7.2 后置条件（Post-Conditions）如果这个用例成功，系统添加、修改或删除物理书刊信息。否则，系统的状态没有变化。7.3 扩展点（Extension Points）没有。7.4 事件流7.4.1 基流（Basic Flow）当Librarian想维护物理书刊信息时，用例启动。系统要求Librarian选择所想执行的活动（添加书刊物理书种、删除物理书种或修改物理书刊）。如果所选的活动是“添加物理书刊”，则执行分支流S-1：添加物理书刊信息。如果选择的活动是“删除物理书刊”，则执行分支流S-2：删除物理书刊信息。如果选择的活动是“修改物理书刊”，则执行分支流S-3：修改物理书刊信息。7.4.2 分支流（Subflows）S-1：添加物理书刊信息（1）图书管理员提供物理书刊的书目信息。（2）系统查询物理书刊的书目（Title），确定是否已存在该书刊书目（E-1）。（3）系统存储物理书刊信息。S-2：删除物理书刊信息（1）图书管理员提供物理书刊的书目信息。（2）系统查询物理书刊的书目（Title）（E-1）。（3）系统删除物理书刊。S-3：修改物理书信息。（1）图书管理员提供物理书刊的书目信息。（2）系统查询物理书刊的书目（Title）（E-1）。（3）系统查询并显示该种书刊的所有物理书刊。（4）图书管理员选择物理书刊并修改其信息（5）系统更新系统中物理书刊的信息。7.4.3 替代流（Alternative Flow）E-1 若系统中不存在该书刊书目，添加该书刊书目信息。8. 登录（Log In）8.1前置条件（Pre-Conditions）没有。8.2 后置条件（Post-Conditions）如果用例成功，参与者可以启动系统并使用系统所提供的功能。反之，系统状态不变。8.3 扩展点（Extension Points）没有。8.4 事件流8