只为小站
首页
域名查询
文件下载
登录
首页
pbt-frameworks:基于属性的测试功能概述
pbt-frameworks:基于属性的测试功能概述
上传者:
42156940
|
上传时间: 2022-06-14 20:32:21
|
文件大小: 3KB
|
文件类型: ZIP
quickcheck
property-based-testing
property-testing
基于属性的测试功能概述 基于属性的测试(PBT)框架具有许多不同的功能,但是哪个库支持哪些功能? 对于PBT新手来说,很难说出来。 为了测试命令式API,一个具有状态机支持的框架将是不错的选择。 集成收缩对于大型开发来说可能是个不错的功能,在这种情况下,编写自定义收缩器可能就不可行了。 ... 此概述是为了帮助自己保持跟踪。 在多年的已被汇编。 随着功能逐渐添加到框架中,不幸的是,表的条目可能会过时。 YMMV。 我很乐意接受PR来更新条目和添加新框架。 框架功能 框架 语 收缩 诠释shr。 状态机 面值英石。 马赫。 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 哈斯克尔 :check_mark: 哈斯克尔 :check_mark: :check_mark: :check_mark: :check_mark: Scala / JVM
文件下载
立即下载
资源详情
[{"title":"( 1 个子文件 3KB ) pbt-frameworks:基于属性的测试功能概述","children":[{"title":"pbt-frameworks-main","children":[{"title":"README.md <span style='color:#111;'> 8.67KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]
评论信息
其他资源
matlab车牌自动识别程序(字符模板+程序+实验报告+车牌照片)
非常全的软件设计方案
DB小波MALLAT分解与重构算法(matlab M文件)
QPSK信号+白噪声程序MATLAB
模糊聚类算法matlab
PHP仓库管理系统
编译原理课程设计——编译器
时间序列预测及matlab代码
javase思维导图
网络连接控制V2.0.0.0.zip
redhat6-asm.rar
利用SPSS 拟合非线性回归模型
Java 文件监控,实时监控文件加载
DES加密与解密算法
ZL50铰接式装载机带轮边减速驱动器设计
CC2530常用的控制寄存器
基于JMS的WEB邮件客端系统(JAVAMAIL版)含源码
基于神经网络的语音识别
H5《怪物塔防》游戏源码
Web GIS从基础到开发实践(基于ArcGIS API FOR JavaScript)(书籍) ,刘光编著
KWIC问题C++版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
得到品控手册7.0.pdf
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
银行笔试 信息科技岗部分真题
YOLOv5 人脸口罩图片数据集
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
python爬虫数据可视化分析大作业.zip
中国地面气候资料日值数据集(V3.0)-201001201912.rar
Plexim Plecs Standalone 4.1.2 x64.7z
基于MQ2烟雾传感器的STM32F103程序
Elsevier爱思唯尔的word模板.zip
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
雷达信号处理仿真程序(MTI,MTD等)
EEupdate_5.35.12.0 win10下修改intel网卡mac
ios无人直播 虚拟视频实用版 可以导入视频
最新下载
FlexScan3D 3.17 汉化64位激活工具
GlobalProtect Windows x64 客户端4.1.11-9版本
IO口模拟I2C与电源管理IC--AXP173通讯程序
leaddbs-manual
小米MIX2S安卓10一键刷TWRP工具-解压使用.zip
AB4D_Products(Trial)5.2
Kiwi Syslog Server 9.6.3(官方原版和注册机)
ZXV10 T700 (V1.1.6) 操作指导(通过Web页面).pdf
FMSoft_uniGUI_Complete_Professional_1.90.0.1509 + Source
VC6.0+MFC类库参考手册中文完整版