程序斷言動態檢測工具的設計與實現
2009-12-31 00:00:00劉樹錕陽小華陳繼鋒彭浩
計算機應用研究 2009年11期
摘要：重點研究了斷言的動態檢測方法與檢測過程，并在關系數據庫理論的基礎上實現了交互式的斷言動態檢測工具．即TDDPA。該工具具有動態檢測程序斷言等功能，并通過將運行軌跡收集到數據庫中來實現檢測到的各種斷言形式分析，說明了TDDPA總體設計結構及實現過程。結果證明TDDPA能更方便有效地發現程序中所蘊涵的斷言。
關鍵詞：程序斷言；動態檢測；軟件可靠性；條件查詢
中圖分類號：TP311
文獻標志碼：A
文章編號：1001—3695(2009)11—4140一03
