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