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

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

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

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

是認識復雜現象過程中使用的思維工具，即抽出事物本質的共同的特征而暫不考慮它的細節(jié)，不考慮其它因素。