目录

一 题目要求

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) 请将程序运行结果和自动测试分析结果截图附到博客中。

二 程序设计

使用c++语言编写，项目发布在腾讯云代码托管平台。

1 编写主程序homework3

#include <iostream>
#include "stdio.h"
#include "hw.h"
int main() {
	int x = 0, y = 0;
	int A[100];
	scanf("%d", &x);
	for (y = 0; y < x; y++) {
		scanf("%d", &A[y]);
	}
	int z = Max(A, y);
	printf("%d", z);
	return 0;
}

2 编写头文件hw.h

#pragma once
#include <iostream>
int Max(int* a, int j) {
	int max = 0, max1 = 0;
	if (a == NULL || j <= 0) {
		return 0;
	}
	int i = 0;
	for (i = 0; i < j; i++) {
		max1 = 0;
		for (int k = i; k < j; k++) {
			max1 += a[k];
			if (max < max1) {
				max = max1;
			}
		}
	}
	return max;
}

运行结果如下
" >

三 判定/条件覆盖样例设计

程序流程图为

有流程图可知，需要覆盖的判断或条件有四个
(1) 数组为空或数组长度< 0?
(2) i<数组长度？
(3) j<数组长度？
(4) max1>max?
由于(2)和(3)是循环控制，无需设计测试样例。我设计的样例如下：

测试代码如下：


#include "pch.h"
#include "CppUnitTest.h"
#include "..\homework3\hw.h"
using namespace Microsoft::VisualStudio::CppUnitTestFramework;
namespace UnitTest1
{
	TEST_CLASS(UnitTest1)
	{
	public:
		TEST_METHOD(TestMethod1)
		{
			int x[3] = {}, y = 0;
			int z = Max(x, y);
			Assert::AreEqual(0, z);
		}
		TEST_METHOD(TestMethod2)
		{
			int x[3] = {1,2,3}, y = 3;
			int z = Max(x, y);
			Assert::AreEqual(6, z);
		}
		TEST_METHOD(TestMethod3)
		{
			int x[3] = {-1,-2,-3}, y = 3;
			int z = Max(x, y);
			Assert::AreEqual(0, z);
		}
		TEST_METHOD(TestMethod4)
		{
			int x[3] = { -1,2,-3 }, y = 3;
			int z = Max(x, y);
			Assert::AreEqual(2, z);
		}
	};
}

测试结果如下