在面向對象的軟件技術中，多態是指子類對象可以像父類對象那樣使用，同樣的消息既可以發送給父類對象也可以發送給子類對象。也就是說，在類等級不同的層次中可以共享一個行為和方法的名字，然而不同層次的每個類卻各自按自己的需要來實現這個行為。當對象接收發送給他的消息時，根據該對象所屬的類動態選用在該類中定義的實現算法。


可執行的規格說明：這是一種使得要求說明過程自動化的技術，通過可執行的規格說明語言來描述預期的行為“做什么”，人們可以從直接觀察中用規格說明語言來規定任何系統行為。

黑盒測試法：該方法把測試對象看成一個黑盒子，測試人員完全不考慮程序的內部結構和處理過程，只在軟件接口處進行測試，依照需求規格說明書，檢查程序是否滿足功能需求。因此，黑盒測試又稱為功能測試或者數據驅動測試。

白盒測試法：該方法把測試方法看做一個打開的盒子，測試人員需要了解程序的內部結構和處理過程，以檢查處理過程的細節為基礎，對程序中盡可能多的邏輯路徑進行測試，檢查內部控制結構和數據結構是否有錯，實際的運行狀態與預期是否一致。白盒法也不可能進行窮舉測試。