Weaver 的管理权正在转移到 Typelevel。本仓库将不再进行任何开发,并将在 Typelevel 版本首次发布后归档。你可以在这里关注进展:https://github.com/typelevel/weaver-test/issues/1
一个基于 cats-effect 和 fs2 构建的测试框架
Weaver-test 目前发布用于 Scala 2.12、2.13 和 3.0
请参考 releases 页面了解最新发布的版本,并在你的 build.sbt 文件中添加以下内容(或等效的范围设置)。
libraryDependencies += "com.disneystreaming" %% "weaver-cats" % "x.y.z" % Test testFrameworks += new TestFramework("weaver.framework.CatsEffect") // 可选(用于 Scalacheck) libraryDependencies += "com.disneystreaming" %% "weaver-scalacheck" % "x.y.z" % Test

Weaver 旨在提供编写和运行测试时的良好体验:
对开发人员最熟悉的套件:
import weaver.SimpleIOSuite import cats.effect._ // 套件必须是"对象",以便框架能够选择它们 object MySuite extends SimpleIOSuite { pureTest("非副作用(纯)测试"){ expect("hello".size == 6) } private val random = IO(java.util.UUID.randomUUID()) test("带副作用的测试") { for { x <- random y <- random } yield expect(x != y) } loggedTest("带副作用和日志记录器的测试"){ log => for { x <- random _ <- log.info(s"x : $x") y <- random _ <- log.info(s"y : $y") } yield expect(x != y) } }
IOSuite 为套件中的所有测试构建一次给定的资源。
import weaver.IOSuite import cats.effect._ object MySuite extends IOSuite { type Res = Int def sharedResource : Resource[IO, Int] = Resource .make( IO(println("创建资源")) .as(123) )(n => IO(println(s"关闭资源 $n"))) test("测试,但资源不可见"){ IO(expect(123 == 123)) } test("带资源的测试"){ n => IO(expect(n == 123)) } test("带资源和日志记录器的测试"){ (n, log) => log.info("日志可用") *> IO(expect(n == 123)) } }
Weaver 还包括对以下内容的支持
| 别名 | 套件名称 | 提供者 | 用例 |
|---|---|---|---|
SimpleIOSuite | SimpleMutableIOSuite | weaver-cats | 每个测试都是独立的IO操作 |
IOSuite | MutableIOSuite | weaver-cats | 每个测试需要访问共享的Resource |
各种test函数的共同点是它们期望开发者返回一个Expectations类型的值,这只是一个包装了cats.data.Validated值的基本case类。
构建Expectations最方便的方式是使用expect函数。基于Eugene Yokota优秀的expecty,它在编译时捕获布尔表达式,并在出错时提供有用的反馈:

用户可以自由构建自己的期望函数,以符合他们习惯的方式。
值得注意的是,期望不会抛出异常,如果用户想在同一测试中执行多个检查,他需要通过期望携带的and或or方法来组合期望。
使用IOSuite变体时,用户可以这样调用sbt的test命令:
> testOnly -- -o *foo*
这个过滤器将阻止执行任何在限定名称中不包含"foo"字符串的测试。对于在"fooPackage"包中的"FooSuite"对象里标记为"foo"的测试,其限定名称是:
fooPackage.FooSuite.foo
可以通过常规的main函数在构建工具之外运行套件。为此,你可以实例化weaver.Runner,创建一个包含你想运行的套件的fs2.Stream,并调用runner.run(stream)。
当你将测试(通常是端到端测试)视为独立程序,并希望避免每次运行时都付出编译成本时,这种方法很有用。
Weaver提供了基本的scalacheck集成。
import weaver._ import weaver.scalacheck._ import org.scalacheck.Gen // 注意Checkers混入 object ForallExamples extends SimpleIOSuite with Checkers { // CheckConfig可以在测试套件级别被重写 override def checkConfig: CheckConfig = super.checkConfig.copy(perPropertyParallelism = 100) test("Gen形式") { // 接受一个显式的"Gen"实例。这个重载只有一个版本。 // 如果你想一次传递多个Gen实例,只需以单子方式组合它们。 forall(Gen.posNum[Int]) { a => expect(a > 0) } } test("Arbitrary形式") { // 接受多个隐式的"Arbitrary"实例。有6个重载可以传递1到6个参数。 forall { (a1: Int, a2: Int, a3: Int) => expect(a1 * a2 * a3 == a3 * a2 * a1) } } test("foobar") { // CheckConfig可以在本地被重写 forall.withConfig(super.checkConfig.copy(perPropertyParallelism = 1, initialSeed = Some(7L))) { (x: Int) => expect(x > 0) } } }
非常欢迎贡献!
:警告: 本仓库使用Git LFS。需要安装它才能正常使用git checkout。
使用brew在Mac上安装:
brew install git-lfs git lfs install
如果你想构建和运行网站,则需要安装yarn:
brew install yarn
如果你正在修改文档,以下是如何在本地检查你的更改:
sbt docs/docusaurusCreateSite cd website yarn start
如果你只修改.md文件,可以运行sbt '~docs/mdoc'。
注意,网站看起来会有一点不同,因为 为了构建版本化网站,我们在CI上运行的脚本中有一些机制 - 但你不必担心这一点。
IntelliJ插件的代码位于这里
请:
非常感谢Alexandru Nedelcu,Monix的作者和cats-effect的贡献者,他编写了minitest框架,这是本框架的起点。


免费创建高清无水 印Sora视频
Vora是一个免费创建高清无水印Sora视频的AI工具


最适合小白的AI自动化工作流平台
无需编码,轻松生成可复用、可变现的AI自动化工作流

大模型驱动的Excel数据处理工具
基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。


AI辅助编程,代码自动修复
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。


AI论文写作指导平台
AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。


AI一键生成PPT,就用博思AIPPT!
博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。


AI赋能电商视觉革命,一站式智能商拍平台
潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3 倍出图效率,让品牌能够快速上架。


企业专属的AI法律顾问
iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。


稳定高效的流量提升解决方案,助力品牌曝光
稳定高效的流量提升解决方案,助力品牌曝光


最新版Sora2模型免费使用,一键生成无水印视频
最新版Sora2模型免费使用,一键生成无水印视频
最新AI工具、AI资讯
独家AI资源、AI项目落地

微信扫一扫关注公众号