基于合約的程序分析技術(shù)研究
2012-04-12 00:00:00李冠雄
現(xiàn)代電子技術(shù) 2012年12期
摘要：為了更好地保證并提高計算機軟件質(zhì)量，在軟件設計過程中采用了合約式程序設計方法。以大量程序運行軌跡數(shù)據(jù)為基礎，以SQLServer2005為實驗平臺，在大量詳實的檢測程序中對類與類之間、變量之間以及接口與類之間的關系進行了程序動態(tài)分析實驗。實驗表明，在函數(shù)的入口處或者在類的開始點檢測程序中應保持的隱含性質(zhì)是相對較好并且合理的的檢測位置。通過利用合約進行程序動態(tài)分析的基本過程，是一種新的軟件質(zhì)量保證的思維模式，利用這種模式可以進一步提高軟件質(zhì)量，從而保證軟件的可用性。
關鍵詞：合約;斷言;程序不變量;程序動態(tài)分析
中圖分類號：TN919-34文獻標識碼：A文章編號：1004-373X(2012)12-0031-03
