软件工程（2019）第三次个人作业

一、题目：最大连续子数组和（最大子段和）

---

二、背景

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

---

三、程序代码

• Coding.net代码地址:
  https://dev.tencent.com/u/wwl5569335/p/zuidalianxuzishuzuhe
• 最大连续子数组和在visual studio 2017关键部分程序代码如下：

int Max(int* a, int n) {
		int i;
		int max = a[0];
		int temp = a[0];
		for (i = 1; i < n; i++) {
			temp += a[i];
			if (temp < a[i])
				temp = a[i];
			if (temp > max)
				max = temp;
		}
		if (max < 0) {
			max = 0;
		}
		return max;
	}

• 程序流程图
  

---

四、判定\条件覆盖测试

First|Second|Third|Fourth|Fifth|Sixth
--|:--😐:--😐:--
a数组为空|temp<a[i]|temp<max|max<0
a数组不为空|temp>a[i]|temp>max|max>0

• 测试样例设计
  样例1：a[]{ 3,7 }；
  样例2：a[]{ 4,-9 }；
  样例3：a[]{ 0 }；
  样例4：a[]{ -1,-2,-3,-4 };
  样例5：a[]{ -1,-2,8,6,-3,7,5,-1,-4 };
• 测试代码

TEST_CLASS(UnitTest1)
	{
	public:

		TEST_METHOD(TestMethod1)
		{
			int a[]{ 3,7 };
			int len = sizeof(a) / sizeof(int);
			int max = Max(a, len);
			Assert::AreEqual(10, max);
		}

		TEST_METHOD(TestMethod2)
		{
			int a[]{ 4,-9 };
			int len = sizeof(a) / sizeof(int);
			int max = Max(a, len);
			Assert::AreEqual(4, max);
		}

		TEST_METHOD(TestMethod3)
		{
			int a[]{ 0 };
			int len = sizeof(a) / sizeof(int);
			int max = Max(a, len);
			Assert::AreEqual(0, max);
		}

		TEST_METHOD(TestMethod4)
		{
			int a[]{ -1,-2,-3,-4 };
			int len = sizeof(a) / sizeof(int);
			int max = Max(a, len);
			Assert::AreEqual(0, max);
		}

		TEST_METHOD(TestMethod5)
		{
			int a[]{ -1,-2,8,6,-3,7,5,-1,-4 };
			int len = sizeof(a) / sizeof(int);
			int max = Max(a, len);
			Assert::AreEqual(23, max);
		}

	};

• 测试结果
  
  如图所示，五项测试样例均测试通过。

五、体会

经过本次实战，深刻的体会到进行单元测试的重要性，同时进一步了解了单元测试的各种覆盖标准。通过判定/条件覆盖能够使判定中的每个条件取到各种可能的值，并使判定取到各种可能的结果，提高了代码的质量和可靠性。