借书数
位
置：借阅文件
问题三：
主模块
图书编码、借书
查询模块
输出查询结果
查 查查 询 询询 图 借读 书 阅者 文 文文
件 件件
所对 查借 图书 书证 是验 否证 可结
借果
借书事务处
提更 交新 书数 籍据 给库 借 书 人
问题四：
开始 输入图书编码、借书卡号
查询图书文件
Z←图书文件=1
是
借书失败
查询读者文件
的证件 的证件
号!” 号!”
测试方法二：白盒测试 因为程序中有四个判断，所以测试数据围绕这个四个判断展开，令 “Z←图书文件=1”为 X，“Z←图书文件=1”为 Y，“X←借阅文件>5” 为 W，“Today()-BD←借阅文件>40”为 Z。 为达到条件覆盖，需要 16 组测试数据： （X=true,Y=true,W=true,Z=true） （X=true,Y=true,W=true,Z=false） （X=true,Y=true,W= false,Z=true） （X=true,Y= false,W=true,Z=true） （X= false,Y=true,W=true,Z=true） （X= false,Y= false,W=true,Z=true） （X= false,Y=true,W= false,Z=true） （X= false,Y=true,W=true,Z= false） （X=true,Y= false,W= false,Z=true） （X=true,Y= false,W=true,Z= false） （X=true,Y=true,W= false,Z= false） （X= false,Y= false,W= false,Z=true） （X= false,Y=true,W= false,Z= false） （X= false,Y= false,W=true,Z= false） （X=true,Y= false,W= false,Z= false） （X= false,Y= false,W= false,Z= false）
借标志
00001 00001
女
女
20 止借标 记：无
20 止借标 记：无
2
该读者记 00000000 王明
王明
正确
录中有止 00001 00000000 00000000
借标志
00001 00001
女
女
20 止借标
20 止借标
记：y 记：y
3
空数据 Null 提示“请 提示“请 正确
输入正确 输入正确
数字字符=0{数字}9
位
置：图书信息，借阅记录
ห้องสมุดไป่ตู้
数据项名称：借书卡编号
别
名： 借书卡
数据项含义：唯一地标识学生借阅身份的号码
定
义：借书卡号＝13{数字字符}13
位
置：读者信息、借阅记录
数据项名称：借阅文件
别
名：
数据项含义： 图书是否可借的依据
定
义：借阅文件＝已借书记录+图书逾期未归记录+图书暂借记录+最大可
问题一
借书人
办理借书事
图书文件
读者文件
借阅文件
管理员
图书编号、 检查图书
检查读者
检查借阅
拒借（暂停外借）
拒借（止借）
拒借（已超过容许的借书数目或超期未归还）
问题二：
数据项名称：图书编号
别
名： 图书
描
述：图书文件、借阅文件中图书的描述符号
定
义：图书编号＝字母字符+数字字符
字母字符=A{英文大写字母}Z
是
y←读者文件=1
否 查询借阅文件
X←借阅文件>5
是
否
Today()-BD←借阅文件 >40
是
否 办理借书事务，更新数据库
问题五： 测试方法一：黑盒测试（读者信息管理单元）
序号 测试内容 测试数据 期望结果 测试结果 测试结论
1
该读者记 00000000 王明
王明
正确
录中无止 00001 00000000 00000000
条件覆盖的含义是，不仅每个语句至少执行一次，而且使判定表达 式中的每个条件都取到各种可能的结果。 为达到判定覆盖，需要四组测试数据： （X=true,Y=true,W=true,Z=true） （X=true,Y= false,W=true,Z=true） （X=true,Y=true,W= false,Z=true） （X=true,Y=true,W= true,Z= false）