软件工程第三次作业

1. 题目要求

题目(1)：最大连续子数组和（最大子段和）
背景

问题： 给定n个整数（可能为负数）组成的序列a[1],a[2],a[3],…,a[n],求该序列如a[i]+a[i+1]+…+a[j]的子段和的最大值。当所给的整数均为负数时定义子段和为0，依此定义，所求的最优值为： Max{0,a[i]+a[i+1]+…+a[j]},1<=i<=j<=n
例如，当（a[1],a[2],a[3],a[4],a[5],a[6]）=(-2,11,-4,13,-5,-2)时，最大子段和为20。
-- 引用自《百度百科》

2. 具体要求

• (1) 请从上述两个题目中根据个人实力任选一题，要求写出可运行的完整代码提交至GitHub或者Coding.net系统中，并将代码地址附到博客内
• (2) 请从语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖五个覆盖标准中（条件组合覆盖难度较大，鼓励尝试，但请谨慎选择），任选一个标准设计测试用例
• (3) 请利用自动测试工具对程序进行测试
• (4) 请将程序运行结果和自动测试分析结果截图附到博客中

3.代码实现

package zuoye3;

public class zuoye3 {

    public static void main(String[] args) {
        // TODO Auto-generated method stub
        int[] arr = {-2,11,-4,13,-5,-5,-2};
        int r=Array(arr);
        System.out.println("最大子段和："+r);
    }
    public static int Array(int[]arr){
        int Sum=0,Max=0;
        for(int i=0;i<arr.length;i++){
            if(Sum<0){
                Sum=arr[i];
            }else{
                Sum+=arr[i];
            }
            if(Max<Sum){
                Max=Sum;
            }
        }
        return Max;
    }
}

 代码已上传coding上传地址为：https://dev.tencent.com/u/CG160618/p/zuidaziduanhe/git

4.条件组合覆盖（Branch Condition Combination Coverage）

1）条件组合覆盖理解

意思是说我们设计的测试用例应该使得每个判定中的各个条件的各种可能组合都至少出现一次。显然，满足条件组合覆盖的测试用例一定是满足判定覆盖、条件覆盖和判定条件覆盖的。但是组合覆盖的测试用例数量相对来说也是比较多的。

2）程序流程图和所有执行路径

条件组合	执行路径
sum<0,sum>max	abdef
sum>=0,sum>max	acdef
sum<0,sum<=max	abdf
sum>=0,sum<=max	acdf

 

 

 

 

测试样例：

arr={-2,11,-4,13,-5,-5,-2};//acdef,abdef,acdf,abdf

arr2={1,-1};//acdef,acdf

arr3={-1,1};//abdf,acdef

arr4={1,-2,3};//acdef,acdf,abdef,abdf

5.测试代码

package zuoye3;

import static org.junit.Assert.*;
import org.junit.Test;
public class zuoye3Test {

    int[]  arr={-2,11,-4,13,-5,-5,-2};//acdef,abdef,acdf,abdf
    int[]  arr2={1,-1};//acdef,acdf
    int[]  arr3={-1,1};//abdf,acdef
    int[]  arr4={1,-2,3};//acdef,acdf,abdef,abdf
    
    @Test
    public void testCase1Array() {
        assertEquals(20,new zuoye3().Array(arr));
    }
    
    @Test
    public void testCase2Array() {
        assertEquals(1,new zuoye3().Array(arr2));
    }
    
    @Test
    public void testCase3Array() {
        assertEquals(1,new zuoye3().Array(arr3));
    }
    
    @Test
    public void testCase4Array() {
        assertEquals(3,new zuoye3().Array(arr4));
    }
    
}

6.代码运行与测试结果

1）代码运行结果

2）测试结果