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