搜索
theftC 的属性测试库
认领
关注
0
粉丝
theft 是基于属性测试的 C 库。theft 并不是使用定义特定的输入,运行代码,然后测试和检测结果的方式,而是进行属性断言(“任意可能的输入,[
知识
简介
theft 是基于属性测试的 C 库。theft 并不是使用定义特定的输入,运行代码,然后测试和检测结果的方式,而是进行属性断言(“任意可能的输入,[条件]应该一直存在”),寻找反例。如果找到一个参数导致断言失败,将会继续寻找更简单的参数,如果仍然失败,打印最小的失败输入。安装 & 依赖th...
更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
程序开发、 常用工具包
授权协议
ISC
操作系统
跨平台
收录时间
2023-09-28
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
DfectRuby测试库
Dfect 是一个Ruby语言的断言测试库,强调一个简单的断言词汇,故障即时可调试,并撰写测试的灵活
moq.NET 测试库
一个流行、友好的 .NET 模拟库Moq(发音为“Mock you”或“Mock”)是.NET中唯一
DfectRuby测试库
Dfect是一个Ruby语言的断言测试库,强调一个简单的断言词汇,故障即时可调试,并撰写测试的灵活性。
moq.NET 测试库
一个流行、友好的.NET模拟库Moq(发音为“Mockyou”或“Mock”)是.NET中唯一一个完全利用.NETLinq表达式树和lambda表达式而从头开发的模拟库,这使它成为最高效、类型安全和重
ZakeKazoo 库测试工具
Zake 是一个 Python 包,它提供一套用于 Kazoo 库的测试工具。它包括以下功能:存储访
specs2Scala 软件测试库
Specs2是一个用于编写可执行软件说明的Scala库。可以用它来编写可知性测试和性能测试。示例代码
specs2Scala 软件测试库
Specs2是一个用于编写可执行软件说明的Scala库。可以用它来编写可知性测试和性能测试。示例代码:importorg.specs2.mutable._classHelloWorldSpecexte
Match测试 JSON 数据的 JavaScript 库
Match是一个可以通过使用一些良好的性能去测试JSON数据的JavaScript库。安装:npm install @ozkxr/match用法:比较基元// Numbersmatch(3.1415,
AtomusJavaScript 测试工具库
Atomus 是一个简单的工具库,用来在Node.js环境下测试客户端代码。当使用终端模拟浏览器的时
SamsuiPHP 测试对象库
Samsui 是一个用于建立对构建你的应用程序测试数据有用的 PHP 对象库。通过 Samsui,你