是指模擬某種產品的原型模型。軟件開發(fā)中的原型是軟件的一個早期可運行的版本,它反映了最終系統(tǒng)的重要特征。
指被測試程序不在機器上運行,而是采用人工檢測和計算機輔助靜態(tài)分析的手段對程序進行檢測。
所謂參數(shù)化抽象,它是指當描述類的規(guī)格說明時并不具體指定所要操作的數(shù)據(jù)類型,而是把數(shù)據(jù)類型作為參數(shù)。