併發編程---併發編程的測試

  併發程序中潛在錯誤的發生並不具有確定性，而是隨機的。 安全性測試：通常會採用測試不變性條件的形式，即判斷某個類的行爲是否與其規範保持一致 活躍性測試：進展測試和無進展測試兩方面，這些都是很難量化的（性能：即吞吐量，響應性，可伸縮性測試）   一、正確性測試 重點：找出需要檢查的不變性條件和後驗條件 1、對基本單元的測試——串行的執行 1 public class BoundedBufferT

>>阅读原文<<