文件名称：snabbkaffe:用于基于跟踪的测试的实用程序集合
文件大小：39KB
文件格式：ZIP
更新时间：2024-06-19 13:44:41
testing erlang trace property-based-testing klarna-featured
斯纳布卡夫（Snabbkaffe） 介绍 该库提供了用于简单的基于跟踪的测试的函数。 它是这样工作的： 程序员用跟踪点手动检测代码 测试用例分为两部分： 程序运行并发出事件跟踪的运行阶段 检查收集跟踪并根据规范验证的阶段 跟踪点成为发布版本中的普通日志消息 这种方法可用于涉及交互过程集合的组件测试。 它有几个不错的属性： 检查可以与程序执行分开 检查彼此独立且完全可组合 Trace 包含进程执行的完整历史，从而使某些类型的并发错误（如活锁）更容易检测 用法 检测代码 代码检测是通过在感兴趣的点插入tp宏来手动完成的： ? tp ( my_server_state_change , #{ old_state => foo , next_state => bar }) 上面的代码行在测试模式下编译时，会发出一个类型为my_server_state_change的事件，并在第二个参
【文件预览】：
snabbkaffe-master
----rebar.lock(712B)
----src()
--------snabbkaffe_collector.erl(10KB)
--------asciiart.erl(6KB)
--------snabbkaffe_sup.erl(2KB)
--------snabbkaffe_internal.hrl(317B)
--------snabbkaffe.app.src(368B)
--------snabbkaffe.erl(20KB)
--------snabbkaffe_nemesis.erl(7KB)
----README.org(14KB)
----.travis.yml(140B)
----LICENSE(11KB)
----test()
--------is_subset_tests.erl(872B)
--------overlap_depth_tests.erl(799B)
--------concuerror_tests.erl(3KB)
--------misc_tests.erl(2KB)
--------unique_tests.erl(615B)
--------collector_SUITE.erl(9KB)
--------causality_tests.erl(4KB)
--------complete_tests.erl(890B)
--------split_tests.erl(1KB)
--------nemesis_SUITE.erl(3KB)
----Makefile(794B)
----rebar.config(459B)
----.editorconfig(239B)
----.gitignore(163B)
----include()
--------ct_boilerplate.hrl(1KB)
--------snabbkaffe.hrl(8KB)