也稱程序描述語言，又稱偽碼，它是一種用于描述模塊算法設(shè)計和處理細節(jié)的語言。
軟件的有效性函數(shù)A（t）定義為軟件系統(tǒng)在時刻t按照規(guī)格說明成功運行的概率。
