题目内容
(请给出正确答案)
[主观题]
试用假设推理方法证明下面的定理:
答案
查看答案
第2题
A.正确
B.错误
第7题
A.定理证明
B.模型检验
C.符号执行
D.词法分析
第9题
A、错误
B、正确
第10题
A.正确
B.错误
第11题
对下面的个人所得税程序中满足语句覆盖测试用例的是()。 If(income<800) taxrate=0; else if(income<=1500) taxrate=0.05; else if(income<2000) taxrate=0.08; else taxrate= 0.1;
A.“income=(800,801,1999,2000)”
B.“income=(800,1500,2000,2001)”
C.“income=(799,1500,1999,2000)”
D.“income=(799,1499,2000,2001)”