简介
theft 是基于属性测试的 C 库。theft 并不是使用定义特定的输入，运行代码，然后测试和检测结果的方式，而是进行属性断言（“任意可能的输入，[条件]应该一直存在”），寻找反例。如果找到一个参数导致断言失败，将会继续寻找更简单的参数，如果仍然失败，打印最小的失败输入。安装 & 依赖th... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
无
所属分类
程序开发、 常用工具包
授权协议
ISC
操作系统
跨平台
收录时间
2023-09-28
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
moq.NET 测试库
一个流行、友好的.NET模拟库Moq（发音为“Mockyou”或“Mock”）是.NET中唯一一个完全利用.NETLinq表达式树和lambda表达式而从头开发的模拟库，这使它成为最高效、类型安全和重
moq.NET 测试库
0
specs2Scala 软件测试库
Specs2是一个用于编写可执行软件说明的Scala库。可以用它来编写可知性测试和性能测试。示例代码：importorg.specs2.mutable._classHelloWorldSpecexte
specs2Scala 软件测试库
0