mcdc generator

chenxing0407

测试需要Modified condition/decision coverage (MC/DC - MCDC)
如：
if ( (A || B) && C )
{
/* instructions */
}
else
{
/* instructions */
}

mcdc 需要4个case, 变量个数+1 （3+1）
1.A = false/ B = false / C = true   --->  decision is evaluated to "false"
2.A = false / B = true  / C = true   --->  decision is evaluated to "true"
3.A = false / B = true  / C = false  --->  decision is evaluated to "false"
4.A = true  / B = false / C = true   --->  decision is evaluated to "true

Modified condition/decision coverage which implies that each boolean variable should be evaluated one time to "true" and one time to "false", and this with affecting the decision's outcome. It means that from a test case to another, changing the value of only one atomic condition will also change the decision's outcome（每个变量单独影响输出）;

想写个算法自动生成出来如：
--a----b----c--      result
--F----F----T--         F
--T----F----T--         T
--F----T----F--         F
--F----T----T--         T

求指导啊:wink:

chenxing0407

对于简单的如 a&b&c, 我有点思路：
abc三个变量，对应二进制 111，
然后用111分别减去每位对应的权重，就能得到对应的标志
如：

1. exp = "a&b&c"
   
2. elements = exp.translate(None,"&")
   
3. 
   
4. ele_len = len(elements)
   
5. i = max =0
   
6. while i < ele_len:
   
7.         max += 2**i
   
8.         i += 1
   
9. 
   
10. result = [bin(max)]
    
11. i = 0
    
12. while i < ele_len:
    
13.         tmp = max - 2**i
    
14.         result.append(bin(tmp))
    
15.         i += 1
    
16. 
    
17. final_result = [ ele.lstrip('0b').zfill(ele_len) for ele in result]
    
18. print final_result

复制代码