指設(shè)計足夠的測試用例,覆蓋被測程序中所有可能的路徑。
指在設(shè)計和確定模塊時,使得一個模塊內(nèi)包含的信息(過程或數(shù)據(jù)),對于不需要這些信息的其它模塊來說,是不能訪問的。