目录

编写基于Property-based的单元测试

使用FsCheck编写Property-based测试

在Xunit中使用FsCheck

使用FsCheck编写Model-based测试-待续

无论是Xunit还是Nunit都有额外的扩展用来编写FsCheck测试,以Xunit为例 :

Install-Package FsCheck.Xunit -Version 2.13.0

不同于普通的Xunit测试,一般的测试需要标记[Fact],你需要使用[Property]标记FsCheck测试。给定一个函数:

private int Add(int x, int y)
{
return x + y;
}

针对加法交换律编写一个Property-based测试:

[Property]
public bool Commutative(int x, int y)
{
return Add(x, y) == Add(y, x);
}

F#

[<Property>]
let Commutative x y =
add x y = add y x

在之前的例子里,我们介绍了什么是Property-based测试,然后花了一篇博客介绍了各种各样的Generator,每一个刚开始了解Property-based测试的人都会觉得这种方案很有意思,但是当你真正开始编写Property-base测试的时候你就会感觉得无从下手,应该断言什么样的Properties呢?

这篇文章介绍一些Properties供你参考:

1. 不同的执行顺序,同样的执行结果

例如被测函数为List.OrderBy,如果我们在List.OrderBy函数之前执行一个操作Add1,然后执行List.OrderBy函数。结果应该等于先执行List.OrderBy函数再执行操作Add1

 [Property]
public bool AddOneThenSortShouldSameAsSortThenAddOne(List<int> list)
{
var result1 = list.OrderBy(x => x).Select(Add1);
var result2 = list.Select(Add1).OrderBy(x => x); return result1.SequenceEqual(result2);
}

F#

 [<Property(Verbose=true)>]
let ``+1 then sort should be same as sort then +1`` aList =
let add1 x = x + 1 let result1 = aList |> List.sort |> List.map add1
let result2 = aList |> List.map add1 |> List.sort result1 = result2

2.连续执行操作,结果跟之前一致

例如List.Reverse函数,连续执行两次,结果跟期初是一样的。类似的函数如序列化和反序列化,Redo和Undo。

[Property]
public bool ReverseThenReverseShouldSameAsOriginal(int[] list)
{
var result= list.Reverse().Reverse();
return result.SequenceEqual(list);
}

F#

[<Property>]
let ``reverse then reverse should be same as original``
(aList:int list) =
let reverseThenReverse = aList |> List.rev |> List.rev
reverseThenReverse = aList

3. 有一些属性是永远不会改变的

在数据变化过程中,有一些属性是永远不会改变的,例如Sort操作,前后数据的Length总是不变的,这一属性可以作为Property-based测试的一个依据:

public bool SomethingNeverChanged(List<int> list)
{
var result = list.OrderBy(x => x);
return result.Count() == list.Count;
}

F#

let ``sort should have same length as original`` (aList:int list) =
let sorted = aList |> List.sort
List.length sorted = List.length aList

为OO代码编写Property-based测试

接下来我们尝试针对一个OO的例子编写Property-based测试:

public class Dollar
{
private int _amount; public Dollar(int amount)
{
_amount = amount;
} public int Amount => _amount; public void Add(int add)
{
_amount = _amount + add;
} public void Multiplier(int multiplier)
{
_amount = _amount * multiplier;
} public static Dollar Create(int amount)
{
return new Dollar(amount);
}
}

F#

type Dollar(amount : int) =
let mutable privateAmount = amount; member this.Amount = privateAmount
member this.Add add =
privateAmount <- this.Amount + add
member this.Times multiplier =
privateAmount <- this.Amount * multiplier
static member Create amount =
Dollar amount

Dollar类主要有两个方法,Add和Multiplier分别用来修改私有变量_amount。如何测试Dollar类呢?都有哪些Properties可用?调用Add方法后再读取Amount的值应该是同一个值:

[Property]
public bool SetAndGetShouldGiveSameResult(int amount)
{
var dollar = Dollar.Create(0);
dollar.Add(amount); return dollar.Amount == amount;
}

F#

[<Property>]
let ``set then get should give same result`` value =
let obj = Dollar.Create 0
obj.Add value
let newValue = obj.Amount
value = newValue

还有什么Property可供使用呢,Add和Multiplier两个方法执行完毕的结果等价于直接Create:

[Property]
public bool AddThenMultiplierSameAsCreate(int start, int times)
{
var dollar = Dollar.Create(0);
dollar.Add(start);
dollar.Multiplier(times); var dollar2 = Dollar.Create(start * times); return dollar.Amount == dollar2.Amount;
}

F#

 [<Property>]
let ``add then multiplier same as create`` value times =
let dollar = Dollar.Create 0
dollar.Add value
dollar.Times times let dollar2 = Dollar.Create(value*times); dollar.Amount = dollar2.Amount

编写自定义Generator

迄今为止,我们都在使用FsCheck自带的Generator,而在实际项目开发过程中,你还需要生成自定义的Generator供你使用,例如有一个User类型:

public class User
{
public string Name { get; set; } public int Age { get; set; }
}

自定义Generator:

public class UserArbitrary: Arbitrary<User>
{
public override Gen<User> Generator =>
from x in Arb.Generate<string>()
from int y in Gen.Choose(20, 30)
where x != string.Empty
select new User {Name = x, Age = y};
}

最后还要将自定义的Arbitrary注册在FsCheck中:

public class MyGenerators {
public static Arbitrary<User> User() {
return new UserArbitrary();
}
} Arb.Register<MyGenerators>();

写个例子试试:

[Property]
public bool GenerateUsers(User user)
{
return user.Name != string.Empty;
}

所以代码实例均可以在github下载

在Xunit中使用FsCheck的更多相关文章

  1. 在 XUnit 中使用依赖注入

    在 XUnit 中使用依赖注入 Intro 之前写过一篇 xunit 的依赖注入相关的文章,但是实际使用起来不是那么方便 今天介绍一个基于xunit和微软依赖注入框架的"真正"的依 ...

  2. 更优雅的在 Xunit 中使用依赖注入

    Xunit.DependencyInjection 7.0 发布了 Intro 上次我们已经介绍过一次大师的 Xunit.DependencyInjection https://www.cnblogs ...

  3. 使用hangfire在xunit中

    框架为:abp hangfire配置连接:https://aspnetboilerplate.com/Pages/Documents/Hangfire-Integration 在单元测试中如何配置呢? ...

  4. 舍弃Nunit拥抱Xunit

    前言 今天与同事在讨论.Net下测试框架的时候,说到NUnit等大多数测试框架的SetUp以及TearDown方法并不是显得那么完美,所以在公司内部的项目中采用了Xunit框架.那么究竟是什么样的原因 ...

  5. xUnit安装及注意事项

    前言 对于单元测试,想必大家都已再熟悉不过了,同时单元测试的重要性也越发突出,在招聘中也特别强调单元测试,但是对于微软内置的单元测试还是太过于繁琐,于是都在寻找一种简洁并且更加轻量的测试工具.用的最多 ...

  6. DNX/ASP.NET 5的xUnit入门向导

    (此文章同时发表在本人微信公众号"dotNET每日精华文章",欢迎右边二维码来关注.) 题记:想必很多人已经和我一样在使用ASP.NET 5开发真实世界的应用了,那么做好单元测试和 ...

  7. .NET Core: 在.NET Core中进行单元测试

    单元测试能够帮助开发人员确保所开发的模块.类以及类中的方法等的正确性,在项目开发过程中,及时进行单元测试能够避免不必要的BUG以及提高测试效率. 在本文中,我们会分别来学习如何使用MSTest.xUn ...

  8. XUnit 依赖注入

    XUnit 依赖注入 Intro 现在的开发中越来越看重依赖注入的思想,微软的 Asp.Net Core 框架更是天然集成了依赖注入,那么在单元测试中如何使用依赖注入呢? 本文主要介绍如何通过 XUn ...

  9. Xunit和Nunit的区别

    https://www.cnblogs.com/Leo_wl/p/5727712.html 舍弃Nunit拥抱Xunit   前言 今天与同事在讨论.Net下测试框架的时候,说到NUnit等大多数测试 ...

随机推荐

  1. BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法

    BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法 Description Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的和是p的倍数.Alice还希望 ...

  2. laravel 查询数据返回的结果

    laravel查询数据返回的结果 在插入数据库的时候,发现查询数据返回的结果是一个对象;即使是空数据 返回的不是true或者false 那么要判断该结果是否查询有结果 该如果呢? 学习源头: http ...

  3. JQuery 将div中的内容替换掉

    $("#div2").children().replaceWith($("#userText").val());谷歌没有效果. $("#div2&qu ...

  4. mvc 三个 之间 肮脏的交易

    就当个小零食一样写. MVC 是 Model-View-Controller 的缩写,Model代表的是应用的业务逻辑(通过 JavaBean,EJB 组件实现),View 是应用的表示层(由 JSP ...

  5. 前端学习笔记之CSS选择器

    阅读目录 一 基本选择器 二 后代选择器.子元素选择器 三 兄弟选择器 四 交集选择器与并集选择器 五 序列选择器 六 属性选择器 七 伪类选择器 八 伪元素选择器 九 CSS三大特性 一 基本选择器 ...

  6. PHP Array 简介

    PHP Array 简介 数组函数允许您访问和操作数组. 支持单维和多维数组. 安装 数组函数属于 PHP 核心部分.无需安装即可使用这些函数. PHP 5 Array 函数 函数 描述 array( ...

  7. Android开发:文本控件详解——EditText(一)基本属性

    一.简单实例: EditText输入的文字样式部分的属性,基本都是和TextView中的属性一样. 除此之外,EditText还有自己独有的属性. 二.基本属性: hint  输入框显示的提示文本  ...

  8. hive删除表和表中的数据

    hive删除表和表中的数据,以及按分区删除数据 hive删除表: drop table table_name; hive删除表中数据: truncate table table_name; hive按 ...

  9. ConcurrentDictionary并发字典知多少?

    背景 在上一篇文章你真的了解字典吗?一文中我介绍了Hash Function和字典的工作的基本原理. 有网友在文章底部评论,说我的Remove和Add方法没有考虑线程安全问题. https://doc ...

  10. 广州三本找Java实习经历

    前言 只有光头才能变强 这阵子跑去面试Java实习生啦~~~我来简单介绍一下背景吧. 广州三本大三在读,在广州找实习.大学开始接触编程,一个非常平庸的人. 在学习编程时,跟我类似的人应该会有一个疑问: ...