軟件測試方法可分為黑盒測試法和白盒測試法兩種。
黑盒測試法是通過分析程序的（）來設計測試用例的方法。除了測試程序外，它還適用于對（）階段的軟件文檔進行測試。
白盒測試法是根據程序的（）來設計測試用例的方法。除了測試程序外，它也適用于對（）階段的軟件文檔進行測試。
白盒法測試程序時常按照給定的覆蓋條件選取測試用例。（）覆蓋比（）覆蓋嚴格，它使得每一個判定的每一條分支至少經歷一次。（）覆蓋既是判定覆蓋，又是條件覆蓋，但它并不保證使各種條件都能取到所有可能的值。（）覆蓋比其他條件都要嚴格，但它不能保證覆蓋程序中的每一條路徑。
單元測試一般以（）為主，測試的依據是模塊功能規(guī)格說明。