是指定時刻發(fā)生的某件事情。它是某事情發(fā)生的信號，它沒有持續(xù)時間，它是一種相對性的快速事件。

是指模擬某種產(chǎn)品的原型模型。軟件開發(fā)中的原型是軟件的一個早期可運行的版本，它反映了最終系統(tǒng)的重要特征。

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

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