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

题目要求

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.算法分析及流程图

针对最大连续子数组问题，首先将最大值max赋值为零。然后定义一个增加量，增加量的值就是从数组的第一个元素一直加到最后一个。每加一个值的时候，就和最大值max进行比较，如果比max大，就将此时的增加量赋给max。然后对数组进行遍历，利用双重循环得到最后的结果。流程图如下图3.1

4.程序代码

#include "pch.h"
#include <iostream>
using namespace std;
int main()
{
	int a[10];
	int i, j, add, n,max;
	cin >> n;
	for (i = 0; i < n; i++)
		cin >> a[i];
	max = 0;
	for (i = 0; i < n; i++)
	{
		add= 0;
		for (j = i; j < n; j++)
		{
			add = add + a[j];
			{
				if (add > max)
					max = add;
			}
		}
	}
	cout << max;

}

5.单元测试分析

在五个覆盖标准中，选择判定/条件覆盖。

判定/条件覆盖标准：同时满足判定覆盖和条件覆盖。即使得程序中每个判定至少为TRUE或FALSE各一次，同时使得判定中的每个条件获得各种可能的结果。
根据图3.1所示的流程图进行分析，可以得到程序中涉及到的条件覆盖为
(1)i<n,i>=n;
(2)j<n,j>=n;
(3)add>max,add<=max;
因为（1）（2）是双重循环中的条件判断，所以任何测试用例都可以使它们满足判定中的每个条件获得各种可能的结果。
所以只要针对（3）来选取测试用例便可以实现判定/条件覆盖。
选取测试用例{1,2,3,4,5,6}，{-1，-2，-3，-4，-5，-6,}。

6.单元测试以及程序运行结果

（1）单元测试代码

#include "stdafx.h"
#include "CppUnitTest.h"

using namespace Microsoft::VisualStudio::CppUnitTestFramework;

namespace UnitTest1
{
	TEST_CLASS(UnitTest1)
	{
	public:

		TEST_METHOD(TestMethod1)
		{
			int array[] = { 1, 2, 3, 4, 5, 6 };
			int i, j, m, max;
			max = 0;
			for (i = 0; i < 6; i++)
			{
				m = 0;
				for (j = i; j < 6; j++)
				{
					m = m + array[j];
					{
						if (m > max)
							max = m;
					}
				}
			}Assert::AreEqual(max, 21);
		}

	};
	TEST_CLASS(UnitTest2)
	{
	public:

		TEST_METHOD(TestMethod2)
		{
			int array[] = { -1, -2, -3, -4, -5, -6 };
			int i, j, m, max;
			max = 0;
			for (i = 0; i < 6; i++)
			{
				m = 0;
				for (j = i; j < 6; j++)
				{
					m = m + array[j];
					{
						if (m > max)
							max = m;
					}
				}
			}Assert::AreEqual(max, 0);
		}
	};
}