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