摘要：為了更好地保證并提高計(jì)算機(jī)軟件質(zhì)量，在軟件設(shè)計(jì)過程中采用了合約式程序設(shè)計(jì)方法。以大量程序運(yùn)行軌跡數(shù)據(jù)為基礎(chǔ)，以SQLServer2005為實(shí)驗(yàn)平臺(tái)，在大量詳實(shí)的檢測(cè)程序中對(duì)類與類之間、變量之間以及接口與類之間的關(guān)系進(jìn)行了程序動(dòng)態(tài)分析實(shí)驗(yàn)。實(shí)驗(yàn)表明，在函數(shù)的入口處或者在類的開始點(diǎn)檢測(cè)程序中應(yīng)保持的隱含性質(zhì)是相對(duì)較好并且合理的的檢測(cè)位置。通過利用合約進(jìn)行程序動(dòng)態(tài)分析的基本過程，是一種新的軟件質(zhì)量保證的思維模式，利用這種模式可以進(jìn)一步提高軟件質(zhì)量，從而保證軟件的可用性。

關(guān)鍵詞：合約;斷言;程序不變量;程序動(dòng)態(tài)分析

中圖分類號(hào)：TN919-34文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1004-373X(2012)12-0031-03