本文在并发行为验证方面进行了探讨。
This paper discusses some issues of verification for concurrent behaviors.
但是与以前一样,有很多我们可能想去验证的具体行为。
But as before, there are a number of concrete behaviors that we would like to verify.
检查测试规范,提醒自己如何结合使用测试和模拟对象来验证流程行为。
Examine the test specifications to remind yourself of how the tests and mock objects cooperate to verify the process behaviour.
应用推荐