邏輯表達式型似然不變量的分析與檢測.pdf

1、迄今為止,計算機軟件系統(tǒng)雖然僅僅只有短短的幾十年歷史,但是已經(jīng)成為最廣泛、最重要的應(yīng)用系統(tǒng)之一。從而軟件的質(zhì)量成為人們目前廣泛關(guān)注、高度重視的熱點問題之一。眾所周知,基于合約的程序設(shè)計是提高軟件質(zhì)量的一種重要的技術(shù),但是合約的形式化制定是一項比較艱巨的任務(wù)。然而經(jīng)過研究發(fā)現(xiàn),程序不變量的動態(tài)生成技術(shù)是解決合約形式化制定的一項有效方法。利用程序不變量動態(tài)生成技術(shù),可以進行程序不變量的動態(tài)檢測,分析程序各變量之間的關(guān)聯(lián)屬性,從而有助于設(shè)計高

2、質(zhì)量的程序架構(gòu)以及規(guī)范程序代碼。
　　本文通過分析得到了邏輯表達式型似然不變量的類型,提出了一種程序不變量動態(tài)檢測方法。針對程序不變量動態(tài)生成理論、方法和技術(shù)進行了闡述;重點對邏輯表達式型似然不變量進行了分析,提出了邏輯表達式型似然不變量的表現(xiàn)形式,基于數(shù)據(jù)庫的理論提出了一種新的邏輯表達式型似然不變量動態(tài)檢測的技術(shù)和檢測方法。本文的不變量檢測技術(shù)通過數(shù)據(jù)庫中提供的SQL條件查詢功能,靈活多變地檢測各種邏輯表達式型似然不變量,并且可