判定表因果图
发布时间:2013-03-20 01:22:08
发布时间:2013-03-20 01:22:08
修改Notes账户密码,首先输入原密码,原密码输入正确后输入两次新密码,要求两次输入的新密码一致,且新密码达到复杂度要求(8~15位,包含大、小字母、数字、字符),密码修改成功后提示用户修改成功,否则提示用户操作失败。
原密码:正确1、不正确0
新密码:符合1、不符合0
确认密码:一致1、不一致0 不符合复杂度:<8、>15 、不包含大写、不包含小写、不包含数字、不包含字符
用例1:原密码正确、新密码Ab123!@# 确认密码 Ab123!@#
用例2 原密码正确、新密码Ab123!@# 确认密码 Ab123
用例3-1 原密码正确、新密码Ab1!@# 确认密码 Ab1!@#
用例3-2 原密码正确、新密码Ab123456789012!@# 确认密码 Ab123456789012!@#
用例3-3 原密码正确、新密码ab123!@# 确认密码 ab123!@#
。。。。。3-6
用例4
用例5
函数NextDate能够根据当前输入的日期计算出下一天日期。比如今天是2008年5月3日,程序计算出的结果就是2008年5月4日。利用判定表设计测试用例对该程序进行验证。(假设已有其它函数保证输入的Y、M、D值是有效正整数,1<=M<=12,1<=D<=31,这里重点关注Y、M、D是否会有逻辑错误)
条件桩:年 Y :平年Y1、闰年Y2
月 M :大月(除12月)M1、小月M2、2月M3、12月M4
日D :28D2、29D3、30D4、31D5、1-27D1
动作桩:Y+1、M+1、D+1、无效
2*4*5=M1*(D1- 4+D5)+M2*(D1-3+D4+D5)+M3*A1(D1+D2+D3-5)+M3*A2*(D1-2+D3+D4-5)+M4*(D1-4+D5)=13
M3*2*5=M3*A1(D1+D2+D3-5)+M3*A2*(D1-2+D3+D4-5)=6
扫雷:
6*3*2=A1*3*2+A2*2*2+A3*3*2+A4*1*1+A5*1*1+A6*1*1=19
13个用例
支付宝个人认证中,分为两部分:个人身份认证和银行卡认证。这两者都通过后,则认为认证成功。
个人身份认证需要提交个人基本信息及身份证复印件。
银行卡认证需完成提现认证和充值认证。
提现认证的流程是:用户提交正确的银行帐号——>支付宝给用户的银行卡中随机打款——>用户确认金额,认证成功。
充值认证的流程是:用户提交正确的银行帐号——>充值完成——>网银反馈,认证成功。
为了简便起见,我们假设个人信息提交和身份证件提交成功后,身份认证则成功,忽略人工审核过程。
27 =25 *22
25=(A+!A)(B+!B)(C+!C)(D+!D)(E+!E)
第一步:化简确认B对打款C的要求逻辑
(A+!A)(B+!B)(C+!C)(D+!D)(E+!E)=BC(A+!A)(D+!D)(E+!E)+!B(C+!C)(D+!D)(E+!E)(A+!A)
第二步:化简打款C对银行卡A的要求逻辑
BC(A+!A)(D+!D)(E+!E)+!B(C+!C)(D+!D)(E+!E)(A+!A)=BCA(D+!D)(E+!E)+!BCA(D+!D)(E+!E)+!B!C(A+!A)(D+!D)(E+!E)
第三步:化简反馈E对充值D的要求逻辑
BCA(D+!D)(E+!E)+!BCA(D+!D)(E+!E)+!B!C(A+!A)(D+!D)(E+!E)
=BCADE+BCA!E(D+!D)+!BCADE+!BCA!E(D+!D)+!BC(A+!A)DE+!BC(A+!A)!E(D+!D)
第四步:化简充值D对银行卡A的要求逻辑
BCADE+BCA!E(D+!D)+!BCADE+!BCA!E(D+!D)+!BC(A+!A)DE+!BC(A+!A)!E(D+!D)
=BCADE+BCA!E(D+!D)+!BCADE+!BCA!E(D+!D)+!BCADE+!BCA!ED
+!BC(A+!A)!E!D
根据以下关于中国象棋软件中关于走马的规则的描述,分析其因果图,并设计用例:
1)如果落点在棋盘外,则不移动棋子
2)如果落点与起点不构成日字型,则不移动棋子
3)如果落点处有自己方棋子,则不移动棋子
4)如果在落点方向的邻近交叉点有棋子(绊马腿),则不移动棋子
5)如果不属于1-4条,且落点处无棋子,则移动棋子
6)如果不属于1-4条,且落点处为对方棋子(非老将),则移动棋子并除去对方棋子
7)如果不属于1-4条,且落点处为对方老将,则移动棋子,并提示战胜对方,游戏结束。
11:可移动棋子
~
~
~
~