题目

这周的软件测试课程，要对布尔表达式(a+b＜c)∧﹁p∨(r＞s)生成BOR约束集，依据BOR约束集生成测试用例，然后证明测试用例对于BOR测试准则是充分的。

生成约束集合与测试用例

IMG_1616.JPG

谓词自动化测试test set的java实现

注释很清楚了，这里不再啰嗦

public class Bor_test {

    public static void main(String[] args){
        /*测试位数，也即布尔运算符个数
        **用1表示未出错，0表示出错
        * 这样0～30对应的二进制最低五位表示所有的出错情况
         */
        int bit_count=5;
        int count=30;
        /*BOR测试约束
        ** 布尔表达式异常后，测试用例test的输出结果应与其不同
         */
        boolean[]  criterion={true,true,false,false};
        /*
        **基于AST求得的BOR约束的一个test set
         */
        boolean[][] test={{true,false,false},{false,false,true},{true,true,false},{false,false,false}};
        /*
        **存放布尔表达式出错后用test set测试的结果
         */
        boolean ans[][]=new boolean[31][4];

        /*
        **每个不同的i对应一个不同的布尔表达式异常（单或多）
         */
        for(int i=0;i<30;i++){
            //条件判断通过para传入test函数实现解耦
            ans[i]=test(test,i);

        }
        System.out.println("t1\t\tt2\t\tt3\t\tt4\t\t是否可测出错误？");
        for (boolean[] a:ans
             ) {
            boolean flag3=true;
            for(int i=0;i<4;i++){
                System.out.print(a[i]+"\t");
                if(a[i]!=criterion[I])
                    flag3=false;
            }
            System.out.print(flag3);
            System.out.println();
        }

    }
    public static boolean[] test(boolean[][] test,int bit){
        boolean[] ans=new boolean[4];
        boolean flag1=(bit>>3)%2==1;
        boolean flag2=(bit>>1)%2==1;
        if(flag1){
            if(flag2){
                for(int i=0;i<3;i++) {
                    ans[i] = (((i>>4)%2==0)^test[i][0])
                            &!((i>>2)%2==0)^test[i][1]
                            |(i%2==0)^test[i][2];
                }
            }
            else {
                for(int i=0;i<3;i++) {
                    ans[i] = (((i>>4)%2==0)^test[i][0])
                            &!((i>>2)%2==0)^test[i][1]
                            &(i%2==0)^test[i][2];
                }
            }
        }
        else {
            if (flag2){
                for(int i=0;i<3;i++) {
                    ans[i] = (((i>>4)%2==0)^test[i][0])
                            |!((i>>2)%2==0)^test[i][1]
                            |(i%2==0)^test[i][2];
                }
            }
            else {
                for(int i=0;i<3;i++) {
                    ans[i] = (((i>>4)%2==0)^test[i][0])
                            |!((i>>2)%2==0)^test[i][1]
                            &(i%2==0)^test[i][2];
                }
            }
        }
        return  ans;
    }

}