2017年6月11日
摘要: 第12章 并发程序的测试 大致分为两类:安全性测试和活跃性测试 12.1 正确性测试 找出需要检查的不变性条件和后验条件。接下来将构建一组测试用例来测试一个有界缓存。程序清单12-1给出了BoundedBuffer的实现,其中使用Semaphore来实现缓存的有界属性和阻塞行为。 BoundedBu 阅读全文
posted @ 2017-06-11 18:59 f91og 阅读(369) 评论(0) 推荐(0) 编辑