在設(shè)計(jì)有效測(cè)試用例之前，測(cè)試工程師必需理解軟件測(cè)試的基本原則。這里有一組測(cè)試原則：
　　·所有的測(cè)試都應(yīng)追溯到用戶需求。正如我們所知：軟件測(cè)試的目標(biāo)在于揭示錯(cuò)誤。而最嚴(yán)重的錯(cuò)誤（從用戶角度來看）是那些導(dǎo)致程序無法滿足需求的錯(cuò)誤。
　　·應(yīng)該在測(cè)試工作真正開始前的較長(zhǎng)時(shí)間內(nèi)就進(jìn)行測(cè)試計(jì)劃。測(cè)試計(jì)劃可以在需求模型一完成就開始，詳細(xì)的測(cè)試用例定義可以在設(shè)計(jì)模型被確定后立即開始。因此，所有測(cè)試應(yīng)該在任何代碼被產(chǎn)生前就進(jìn)行計(jì)劃和設(shè)計(jì)。
　　·Pareto原則應(yīng)用于軟件測(cè)試。簡(jiǎn)單地講，Pareto原則暗示著測(cè)試發(fā)現(xiàn)的錯(cuò)誤中的80％很可能起源于程序模塊中的20％。當(dāng)然，問題在于如何孤立這些有疑點(diǎn)的模塊并進(jìn)行徹底的測(cè)試。
　　·測(cè)試應(yīng)從“小規(guī)模”開始，逐步轉(zhuǎn)向“大規(guī)模”。最初的測(cè)試通常把焦點(diǎn)放在單個(gè)程序模塊上，進(jìn)一步測(cè)試的焦點(diǎn)則轉(zhuǎn)向在集成的模塊簇中尋找錯(cuò)誤，最后在整個(gè)系統(tǒng)中尋找錯(cuò)誤。
　　·窮舉測(cè)試是不可能的。甚至一個(gè)大小適度的程序，其路徑排列的數(shù)量也非常大。因此，在測(cè)試中不可能運(yùn)行路徑的每一種組合。然而，充分覆蓋程序邏輯，并確保程序設(shè)計(jì)中使用的所有條件是有可能的。
　　·為了達(dá)到最佳效果，應(yīng)該由獨(dú)立的第三方來構(gòu)造測(cè)試。“最佳效果”指最有可能發(fā)現(xiàn)錯(cuò)誤的測(cè)試（測(cè)試的主要目標(biāo)），所以創(chuàng)建系統(tǒng)的軟件工程師并不是構(gòu)造軟件測(cè)試的最佳人選。