问题一
问题二:
数据项名称:图书编号
别名:图书
描述:图书文件、借阅文件中图书的描述符号定义:图书编号=字母字符+数字字符
字母字符=A{英文大写字母}Z
数字字符=0{数字}9
位置:图书信息,借阅记录
数据项名称:借书卡编号
别名:借书卡
数据项含义:唯一地标识学生借阅身份的号码
定义:借书卡号=13{数字字符}13
位置:读者信息、借阅记录
数据项名称:借阅文件
别名:
数据项含义:图书是否可借的依据
定义:借阅文件=已借书记录+图书逾期未归记录+图书暂借记录+最大可借书数
位置:借阅文件
问题三:
问题四:
问题五:
测试方法一:黑盒测试(读者信息管理单元)
测试方法二:白盒测试
因为程序中有四个判断,所以测试数据围绕这个四个判断展开,令“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)
条件覆盖的含义是,不仅每个语句至少执行一次,而且使判定表达式中的每个条件都取到各种可能的结果。
为达到判定覆盖,需要四组测试数据:
(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)。