邏輯表達(dá)式型似然不變量的分析與檢測(cè).pdf

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

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