是否有有助于测试并发系统的测试库？我正在寻找可以用来测试 scalatest/scalacheck/mohito 对传统单元测试的意义的东西。
我想将系统视为发出事件的独立参与者（不依赖于 akka 参与者），并且能够模拟它们的任何子集并观察其他人的反应（发出的高级可观察事件就足够了）。当然，什么是“演员”和“事件”会因情况而异，所以我期待可扩展的类让我定义它们，以及用于声明性表达属性的简明 DSL，例如“最终 fi(x)”、“如果e1 然后在 e2' 周期内和类似 scalacheck 的案例/事件流生成器，因此我可以请求以随机间隔（在指定的分布内）生成随机事件。