软件工程第3次作业——Visual Studio 2017下针对代码覆盖率的C/C++单元测试
本项目Github地址(同时包括两个作业项目):
Assignment03 -- https://github.com/Oberon-Zheng/SoftwareEngineeringAssignments
st=>start: Start
e=>end: End
cond=>condition: Option
op1=>operation: solution_1
op2=>operation: solution_2
st->cond
cond(yes)->op1->e
cond(no)->op2->e
测试案例
A - 最大子列和(Sum of the maximum subarray)问题
问题: 给定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。
- Baidu Baike
关于我个人对于此问题的算法考虑我将另起一个博文(会吾倚马万言,易此帜以外链)发布,这里直接使用Kadane算法(使用Python完成的一个子程序,这里改写为C++的)加以实现,关于这个算法的具体实现细节将同样在那篇博客连同我自己的想法一同发布,这里先给出这个程序的流程图(根据mermaid语法绘出):
I'll be your mermaid, caught on your rod
- Memorized Mermaid
- Scott Skott
注意,由于cnblogs的mermaid组件需要经过google的code analytics服务器,因此在转换为正确的流程图之前需要花费一段时间
So, stay tuned, plz!
我有雅各布的天梯,我天下无敌,我藐视银河系
ESO黑洞警告
start(开始)-->inputarry>"传入arry"]
inputarry-->domakeres["(rb:RangeBlock):={sum:=0,start:=-1,end:=-1}"]
domakeres-->tryempty{"arry.size()=0?"}
tryempty-->|true|return>"返回rb"]
return-->e("结束")
tryempty-->|false|init["maxsum=0<br />sum=0<br />kickoff=0<br />i=0"]
init-->tryloop{"i>arry.size()"}
tryloop-->|true|accumulate["sum:=arry<br />若sum<0则sum:=0"]
accumulate-->max["maxsum:=max{sum,maxsum}"]
max-->tryneg{"arry[i]是负的同时arry[i]的绝对值大于原来sum<br />(sum=0且arry[i]<0)"}
tryneg-->|true|rststart["kickoff:=i+1"]
tryneg-->|false|inhale["rb.start:=kickoff<br />rb.end:=i"]
sendmax["rb.sum:=maxsum"]
inhale-->sendmax
rststart-->sendmax
sendmax-->return
上述程序能够求得关于传入序列arry
的一个最大子列和(下文简称最大和),并且能够得到这个最大子列在arry中的位置。
案例实现
本案例以C++语言加以实现,代码如下:
///File : MaxSubarray.h
#pragma once
#include <vector>
using namespace std;
struct RangeBlock
{
int sum;
int start;
int end;
};
/// File : MaxSubarray.c
#include "MaxSubarray.h"
#define POSCLIP(X) (X>0)?X:0
#define MAX(X,Y) (X>Y)?X:Y
using namespace std;
RangeBlock MaxSubArray(vector<int> arry)
{
RangeBlock rb = { 0,-1,-1 };
if (arry.size() == 0)
{
return rb;
}
int maxsum = 0;
int sum = 0;
int kickoff = 0;
for (int i = 0; i < arry.size(); i++)
{
sum = POSCLIP(sum + arry[i]);
maxsum = MAX(sum, maxsum);
if (sum == 0 && arry[i] < 0)
{
kickoff = i + 1;
//rb.end = rb.start;
}
else if(sum == maxsum)
{
rb.start = kickoff;
rb.end = i;
}
}
rb.sum = maxsum;
return rb;
}
这个程序传入一个标准库vector<int>
容器作为输入(之所以使用vector
是因为vector
的长度可变),然后通过一个RangeBlock
型对象返回最大子列的和与区间。
根据上面的流程图,这里面存在一个长度不定的循环,并且在循环内仍然有一个分支,因此这里面想要对循环内的所有可能情况做出测试是不可能的,因此for
内的测试仅对若干种条件组合(每个数据会分别将覆盖内部的三个分支)。
单元测试
本单元测试将满足判定-条件覆盖(所有的判定都走一次,所有的条件分两个分支都满足一次)
归纳上述代码可以得到如下的条件判定列表:
arry.size()==0 <---> arry.size()!=0 --[1]
i < arry.size() <---> i >= arry.size() --[2]
sum==0 <--->sum!=0 --[3]
arry[i]<0 <---> arry[i] >=0 --[4]
sum == maxsum <---> sum != maxsum --[5]
根据代码的执行情况来看,其中[3]和[4]存在条件组合,实际上当[3]的左命题成立时,[4]的右命题一定不成立,同时若[2]右、[3]右、[4]左成立则[5]左一定不成立(arry[i]<0,maxsum>=sum ==>> sum+arry[i]<maxsum
),而[2]的命题在执行一句for循环的时候总会有成立和不成立(维持循环和跳出循环),对于上述推断为一定不成立的关系下,无法找出具体的测试用例(因为是逻辑关系制约的不可能发生,比如我无法找到sum==0 && arry[i]>0
的测试数据,因为根本写不出来,除非遭到某种硬件错误导致arry[i]
或者sum
发生翻转,但这不是单元测试能够解决的),对于for的测试主要聚焦于OBOE问题(一步之差),而当[1]的前命题成立时,实际上之后的条件实际上都走不到,但如果必要考虑后面的条件的话,实际上只能讨论i>=arry.size()
,for循环实际上也执行不了,因此我们归纳出如下的条件组合:
arry.size() == 0 --[S1]
arry.size() != 0 && sum == 0 && arry[i]<0 && sum == maxsum --[S2]
arry.size() != 0 && sum == 0 && arry[i]<0 && sum != maxsum --[S3]
array.size() != 0 && sum != 0 && arry[i] < 0 && sum != maxsum --[S4]
array.size() != 0 && sum != 0 && arry[i] >= 0 && sum == maxsum --[S5]
array.size() != 0 && sum != 0 && arry[i] >= 0 && sum != maxsum --[S6]
单元测试将围绕[S1]到[S6]产生测试数据如下:
S1 | S2 | S3 | S4 | S5 | S6 |
---|---|---|---|---|---|
空数组 | 全负数组 | 第一个负数 | 有正数的时候加入负数 | 加入非负数(开始) | 加入非负数(继续加入) |
根据上述归纳,编订了如下的测试数据:
#include "stdafx.h"
#include "CppUnitTest.h"
#include "..\Assignment03\MaxSubarray.h"
using namespace Microsoft::VisualStudio::CppUnitTestFramework;
namespace UnitTestA03
{
TEST_CLASS(UnitTest1)
{
public:
TEST_METHOD(TestEmpty) //S1
{
std::vector<int> a;
RangeBlock rb = MaxSubArray(a);
Assert::AreEqual(rb.sum, 0);
Assert::AreEqual(rb.start, -1);
Assert::AreEqual(rb.end, -1);
}
TEST_METHOD(TestAllNegative) //S2
{
std::vector<int> a = { -1,-5,-8,-10,-6,-40,-1630,-5 };
RangeBlock rb = MaxSubArray(a);
Assert::AreEqual(rb.sum, 0);
Assert::AreEqual(rb.start, -1);
Assert::AreEqual(rb.end, -1);
}
TEST_METHOD(TestAllZero) //S4
{
std::vector<int> a(10, 0);
RangeBlock rb = MaxSubArray(a);
Assert::AreEqual(rb.sum, 0);
Assert::AreEqual(rb.start, 0);
Assert::AreEqual(rb.end, 9);
}
TEST_METHOD(TestOscillating) // S3和S5
{
std::vector<int> a = {0, 1,-2,3,-4,5,-6,7 };
RangeBlock rb = MaxSubArray(a);
Assert::AreEqual(rb.sum, 7);
Assert::AreEqual(rb.start, 7);
Assert::AreEqual(rb.end, 7);
}
TEST_METHOD(TestInhaling) // S4和S5
{
std::vector<int> a = {1, 3,-2,-3,0,0,-6,-10 };
RangeBlock rb = MaxSubArray(a);
Assert::AreEqual(rb.sum, 4);
Assert::AreEqual(rb.start, 0);
Assert::AreEqual(rb.end, 1);
}
TEST_METHOD(TestNormal) //综合测试
{
std::vector<int> a = { 1,3,2,-4,0,5,8,-1,-10 };
RangeBlock rb = MaxSubArray(a);
Assert::AreEqual(rb.sum, 15);
Assert::AreEqual(rb.start, 0);
Assert::AreEqual(rb.end, 6);
}
};
}
最终各测试均通过:
Kadane算法在\(\omicron(n+k)\)的复杂度下得到了正确的结果。
B - 阶梯营业税问题
下表为某商场每日营业额与应收税率的对照表,请编写一小程序根据该商场每日营业额计算其实际应缴纳税费。
营业额X/¥|税率
:---软件工程第3次作业——Visual Studio 2017下针对代码覆盖率的C/C++单元测试的更多相关文章
- 软件工程第2次作业——Visual Studio 2017下基于C/C++的VSTS单元测试实践
Write one minute, test all day long. 环境确定 IDE:Microsoft Visual Studio 2017 Community 语言:C++ 单元测试工具:V ...
- Win10 + Visual Studio 2017 下 OpenCV无法显示图像的问题
测试代码如下: #include "stdafx.h" #include<opencv2\opencv.hpp> #include<opencv2\highgui ...
- vue.js在visual studio 2017下的安装
1.打开"工具"菜单->"NuGet 包管理器"->"管理解决方案 Nuget 的程序包": 在红色标识的地方输入vue: 2. ...
- Visual Studio 2017 Enterprise (15.3)
版本15.3更新在用户离线下载时更加人性化,包含了进度显示,下载出错可以输入R,进行下载的重新尝试,并在当前下载框下继续下载为完成的作业,结合 --layout 参数的离线文件的检查和修复,并且在下载 ...
- 如何在Visual Studio 2017中使用C# 7+语法 构建NetCore应用框架之实战篇(二):BitAdminCore框架定位及架构 构建NetCore应用框架之实战篇系列 构建NetCore应用框架之实战篇(一):什么是框架,如何设计一个框架 NetCore入门篇:(十二)在IIS中部署Net Core程序
如何在Visual Studio 2017中使用C# 7+语法 前言 之前不知看过哪位前辈的博文有点印象C# 7控制台开始支持执行异步方法,然后闲来无事,搞着,搞着没搞出来,然后就写了这篇博文,不 ...
- 深入研究Visual studio 2017 RC新特性
在[Xamarin+Prism开发详解三:Visual studio 2017 RC初体验]中分享了Visual studio 2017RC的大致情况,同时也发现大家对新的Visual Studio很 ...
- Xamarin+Prism开发详解三:Visual studio 2017 RC初体验
Visual studio 2017 RC出来一段时间了,最近有时间就想安装试试,随带分享一下安装使用体验. 1,卸载visual studio 2015 虽然可以同时安装visual studio ...
- Microsoft Visual Studio 2017 for Mac Preview 下载+安装+案例Demo
目录: 0. 前言 1. 在线安装器 2. 安装VS 3. HelloWorld 4. ASP.NET MVC 5. 软件下载 6. 结尾 0. 前言: 工作原因,上下班背着我的雷神,一个月瘦了10斤 ...
- Create an offline installation of Visual Studio 2017 RC
Create an offline installation of Visual Studio 2017 RC 2016年12月7日 ...
随机推荐
- 洋媳妇Susan教育孩子的方法
洋媳妇Susan教育孩子的方法 一个中国婆婆跟我说:「我的儿子去美国留学,毕业后定居美国. 还给我找了个洋媳妇Susan. 如今,小孙子Toby已经3岁了. 今年夏天,儿子為我申请了探亲签证. 在美国 ...
- AspNetPager分页控件的使用以及常见错误
原文发布时间为:2009-05-25 -- 来源于本人的百度文章 [由搬家工具导入] 【Repeater采用AspNetPager分页成功↓】 using System;using System.Co ...
- 《Linux命令行与shell脚本编程大全 第3版》Linux命令行---24
以下为阅读<Linux命令行与shell脚本编程大全 第3版>的读书笔记,为了方便记录,特地与书的内容保持同步,特意做成一节一次随笔,特记录如下:
- linux2.4内核调度
进程调度需要兼顾3种进程:交互进程,批处理进程,实时进程,在设计一个进程调度机制时需要考虑具体问题 (1)调度时机? 答:进程在用户空间可以pause()或者让内核设置进程为睡眠状态,以此调度,调度还 ...
- 【原创】Javascript-显示系统时间
/*JS-显示系统时间*/ function showLocale(objD) { var str, colorhead, colorfoot; var yy = objD.getYear(); if ...
- AC日记——还是01串 51nod 1396
还是01串 思路: 前缀和: 来,上代码: #include <cstdio> #include <cstring> #include <iostream> #in ...
- js动态设置根元素的rem方案
方案需求: rem 单位在做移动端的h5开发的时候是最经常使用的单位.为解决自适应的问题,我们需要动态的给文档的根节点添加font-size 值. 使用mediaquery 可以解决这个问题,但是每一 ...
- python正则表达式从路径中取文件名出来不加后缀(txt)
正则表达式[^\\/:*?"<>|\r\n]+$ ---->取文件名包括后缀 e.g. >>>D:\PyCharm 2018.2.4\pythonWork ...
- Ruby on rails初体验(一)
接触ruby on rails 已经有一段时间了,想记录一下自己的rails历程.自己写一些小例子来帮助学习. Rails 适用于那些以数据为中心的应用,很多应用的核心部分包括一个数据库,这些引用的 ...
- OpenSSL使用2(SSL,X.509,PEM,DER,CRT,CER,KEY,CSR,P12概念说明)(转)
SSL SSL - Secure Sockets Layer,现在应该叫"TLS",但由于习惯问题,我们还是叫"SSL"比较多.http协议默认情况下是不加密内 ...