搜索

theftC 的属性测试库

0粉丝
theft 是基于属性测试的 C 库。theft 并不是使用定义特定的输入，运行代码，然后测试和检测结果的方式，而是进行属性断言（“任意可能的输入，[
知识
简介
theft 是基于属性测试的 C 库。theft 并不是使用定义特定的输入，运行代码，然后测试和检测结果的方式，而是进行属性断言（“任意可能的输入，[条件]应该一直存在”），寻找反例。如果找到一个参数导致断言失败，将会继续寻找更简单的参数，如果仍然失败，打印最小的失败输入。安装 & 依赖th... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
程序开发、 常用工具包
授权协议
ISC
操作系统
跨平台
收录时间
2023-09-28
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
DfectRuby测试库
Dfect 是一个Ruby语言的断言测试库，强调一个简单的断言词汇，故障即时可调试，并撰写测试的灵活
DfectRuby测试库
0
moq.NET 测试库
一个流行、友好的 .NET 模拟库Moq（发音为“Mock you”或“Mock”）是.NET中唯一
moq.NET 测试库
0
DfectRuby测试库
Dfect是一个Ruby语言的断言测试库，强调一个简单的断言词汇，故障即时可调试，并撰写测试的灵活性。
DfectRuby测试库
0
moq.NET 测试库
一个流行、友好的.NET模拟库Moq（发音为“Mockyou”或“Mock”）是.NET中唯一一个完全利用.NETLinq表达式树和lambda表达式而从头开发的模拟库，这使它成为最高效、类型安全和重
moq.NET 测试库
0
ZakeKazoo 库测试工具
Zake 是一个 Python 包，它提供一套用于 Kazoo 库的测试工具。它包括以下功能：存储访
ZakeKazoo 库测试工具
0
specs2Scala 软件测试库
Specs2是一个用于编写可执行软件说明的Scala库。可以用它来编写可知性测试和性能测试。示例代码
specs2Scala 软件测试库
0
specs2Scala 软件测试库
Specs2是一个用于编写可执行软件说明的Scala库。可以用它来编写可知性测试和性能测试。示例代码：importorg.specs2.mutable._classHelloWorldSpecexte
specs2Scala 软件测试库
0
Match测试 JSON 数据的 JavaScript 库
Match是一个可以通过使用一些良好的性能去测试JSON数据的JavaScript库。安装：npm install @ozkxr/match用法：比较基元// Numbersmatch(3.1415,
Match测试 JSON 数据的 JavaScript 库
0
AtomusJavaScript 测试工具库
Atomus 是一个简单的工具库，用来在Node.js环境下测试客户端代码。当使用终端模拟浏览器的时
AtomusJavaScript 测试工具库
0
SamsuiPHP 测试对象库
Samsui 是一个用于建立对构建你的应用程序测试数据有用的 PHP 对象库。通过 Samsui，你
SamsuiPHP 测试对象库
0