指設計足夠的測試用例，覆蓋被測程序中所有可能的路徑。
指在設計和確定模塊時，使得一個模塊內包含的信息（過程或數(shù)據(jù)），對于不需要這些信息的其它模塊來說，是不能訪問的。
具有相同或相似性質的對象的抽象就是類。
