软件工程第三次作业(One who wants to wear the crown, Bears the crown.)

最大连续子数组和

题目

给定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。-- 引用自《百度百科》

具体要求

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

因此在阅读过《百度百科》之后选择了动态规划法，这种方法相对来讲比较简单，比较便于编程。

解题过程

动态规划法

1. 定义一个数组A[20]，设输入整数个数为num，数组长度为size，并分别输入变量。定义两个变量maxTemp、maxResult，起始时使maxTemp = 0；maxResult = 0;

2. 定义变量i=0开始循环，（1）当 i < size 时。 (2)当 maxTemp >=0 时让 maxTemp = A[i] + maxTemp ;否则 maxTemp = A[i] ;（3）当maxResult > maxTemp 时使MaxResult = maxTemp;

3. 循环结束输出结果。

流程图

程序代码coding地址

测试代码coding地址

---

单元测试

程序的白盒测试有五种覆盖标准：语句覆盖，判定覆盖，条件覆盖，判定/条件覆盖 ，条件组合覆盖。
使用的方法为判定/条件覆盖和条件组合覆盖
覆盖标准：使得判定中的每个条件获得各种可能的结果。假设数组长度为6个.

图中条件如下：

• (1) i < size ;
• (2) maxTemp >= 0 ;
• (3) maxTemp > maxResult ;

条件为以下六个条件:

• (1) i < size ;
• (2) i >= size ;
• (3) maxTemp >= 0 ;
• (4) maxTemp < 0 ;
• (5) maxTemp > maxResult ;
• (6) maxTemp <= maxResult ;

使用判定/条件覆盖

执行路径为A-B-C-E-F-G-H ∧ A-B-D-E-G-H;

• 设整数个数为6个；整数为1，2，3，4，5，6；应输出的结果为21.
• 例子包含(1),(2),(3),(5)条件；路径为：A-B-C-E-F-G-H；

• 设整数个数为6个；整数为-1，-2，-3，-4，-5，-6；应输出的结果为0.
• 例子包含(1),(2),(4),(6)条件；路径为：A-B-D-E-G-H；

使用条件组合覆盖

执行路径为A-B-C-E-F-G-H ∧ A-B-C-E-G-H ∧ A-B-D-G-H ∧ A-B-D-E-G-H ∧ A-B-C-E-G-H。

• 设整数个数为6个；整数为2，13，-16，1，2，18；应输出的结果为21.
• 例子包括(1),(2),(3),(4),(5),(6)条件；路径为：A-B-C-E-F-G-H 或 A-B-C-E-G-H 或 A-B-D-G-H 或 A-B-D-E-G-H 或 A-B-C-E-G-H。

输出错误的情况

设整数个数为7个；整数为2，13，-16，1，2，18，1；应输出的结果为22，结果输出为21，输出错误，因为整数个数与数组长度不匹配。

---

心得体会

这一次通过阅读《百度百科》选择了第二种方法。写完程序后发现单元测试无法输入，并且输出直接就是0！但是直接测试的结果是正确的。后来发现我把输入和输出都写在主函数中，因此程序在进行单元测试时调用类的时候，主函数中的输入和输出没有被调用，导致没有输入值和输出，结果错误！这也让我更加深刻地了解了JAVA的JUnit的单元测试的原理，调用方法和测试方法。

程序代码coding地址

测试代码coding地址

---

One who wants to wear the crown, Bears the crown.