基于契約的程序動態分析技術研究
2006-01-01 00:00:00劉樹錕陽小華劉杰羅江琴
計算技術與自動化 2006年4期
摘 要：在當今信息社會中，程序質量是一個具有重要意義的熱點問題。基于契約的程序設計是提高程序質量的重要且有效的技術，但是形式化契約的制定是一件十分困難的工作，因此軟件質量保證問題一直是令人困擾的難題。本文介紹契約式程序設計的基本概念與方法，并在此基礎上，提出利用契約進行程序動態分析的主要思路及其基本過程并給出簡單實例，從一種新的維度來思考保障軟件質量的方法。
關鍵詞：契約；斷言；程序不變量；程序動態分析
中圖分類號：TP311
文獻標識碼：A
