coyote下载 - coyote源代码下载

coyote

其他源码

下载

`Coyote`

构建和测试CI codeql

土狼是一个跨平台库，也是用于测试并发C＃代码和确定性再现错误的工具。

使用Coyote，您可以通过编写我们称为并发单元测试的内容来轻松地测试C＃代码中的并发和其他非确定性。这些看起来像您的常规单元测试，但可以可靠地测试并发工作负载（例如，对ASP.NET控制器的参与者，任务或并发请求）。在常规的单元测试中，您通常会由于片状而避免并发，但是借助土狼，您被鼓励在测试中接受并发以查找错误。

Azure中的许多团队都使用土狼测试其分布式系统和服务，并在将代码部署在生产中并影响用户之前发现了数百个与并发相关的错误。用Azure服务架构师的话说：

土狼在开发过程的早期发现了几个问题，这种问题通常会流血到生产中，以后变得非常昂贵。

土狼是由Microsoft Research由❤️制造的。

它如何工作

考虑以下简单测试：

 [ Fact ]
public async Task TestTask ( )
{
  int value = 0 ;
  Task task = Task . Run ( ( ) =>
  {
    value = 1 ;
  } ) ;

  Assert . Equal ( 0 , value ) ;
  await task ;
}

该测试将大部分时间通过，因为断言通常会在任务启动之前执行，但是在一个时间表中，任务启动足够快以将value设置为1从而导致断言失败。当然，这是一个非常幼稚的例子，这个错误很明显，但是您可以想象更复杂的种族条件隐藏在复杂的执行路径中。

土狼的工作方式是，您首先使用Coyote TestingEngine API将上述测试转换为并发单元测试：

 using Microsoft . Coyote . SystematicTesting ;

[ Fact ]
public async Task CoyoteTestTask ( )
{
  var configuration = Configuration . Create ( ) . WithTestingIterations ( 10 ) ;
  var engine = TestingEngine . Create ( configuration , TestTask ) ;
  engine . Run ( ) ;
}