摘要：
原型模式：通过复制一个已经存在的实例来返回新的实例,而不是新建实例.被复制的实例就是我们所称的原型,这个原型是可定制的（clone） 特点： 向用户隐藏了创建新实例的复杂性 让用户可以产生未知类型的对象，即只需知道对象实现了哪些接口，而无需知道具体是哪种实现 在某些情况下，复制对象比创建对象更高效 阅读全文
摘要：
并发程序中潜在错误的发生并不具有确定性，而是随机的。 安全性测试：通常会采用测试不变性条件的形式，即判断某个类的行为是否与其规范保持一致 活跃性测试：进展测试和无进展测试两方面，这些都是很难量化的（性能：即吞吐量，响应性，可伸缩性测试） 一、正确性测试 重点：找出需要检查的不变性条件和后验条件 1、 阅读全文