指被測(cè)試程序不在機(jī)器上運(yùn)行，而是采用人工檢測(cè)和計(jì)算機(jī)輔助靜態(tài)分析的手段對(duì)程序進(jìn)行檢測(cè)。

所謂參數(shù)化抽象，它是指當(dāng)描述類的規(guī)格說明時(shí)并不具體指定所要操作的數(shù)據(jù)類型，而是把數(shù)據(jù)類型作為參數(shù)。

是認(rèn)識(shí)復(fù)雜現(xiàn)象過程中使用的思維工具，即抽出事物本質(zhì)的共同的特征而暫不考慮它的細(xì)節(jié)，不考慮其它因素。

是將原型用于開發(fā)過程的某一階段，促使該階段的開發(fā)結(jié)果更加完整、準(zhǔn)確、一致、可靠，該階段結(jié)束后，原型隨之作廢。