并发编程---并发编程的测试

  并发程序中潜在错误的发生并不具有确定性，而是随机的。 安全性测试：通常会采用测试不变性条件的形式，即判断某个类的行为是否与其规范保持一致 活跃性测试：进展测试和无进展测试两方面，这些都是很难量化的（性能：即吞吐量，响应性，可伸缩性测试）   一、正确性测试 重点：找出需要检查的不变性条件和后验条件 1、对基本单元的测试——串行的执行 1 public class BoundedBufferT

>>阅读原文<<