基于數(shù)據(jù)庫(kù)的簡(jiǎn)單非函數(shù)依賴程序不變量動(dòng)態(tài)檢測(cè).pdf

1、迄今為止，計(jì)算機(jī)軟件系統(tǒng)雖然僅僅只有短短的幾十年歷史，但是已經(jīng)成為最廣泛、最重要的應(yīng)用系統(tǒng)之一。從而軟件的質(zhì)量成為人們目前廣泛關(guān)注、高度重視的熱點(diǎn)問(wèn)題之一。基于合約的程序設(shè)計(jì)是提高軟件質(zhì)量的一種重要技術(shù)，已經(jīng)得到了很大的發(fā)展。合約描述了程序內(nèi)部的基本屬性，良性運(yùn)行的保證條件以及運(yùn)行后的期望結(jié)果。程序不變量一般包含類不變量、前置條件和后置條件，它是一種基本的合約。 本文研究并且建立了程序不變量動(dòng)態(tài)生成系統(tǒng)的理論模型。在此理論模型中

2、，針對(duì)函數(shù)依賴程序不變量和簡(jiǎn)單非函數(shù)依賴程序不變量動(dòng)態(tài)生成理論、方法和技術(shù)進(jìn)行了闡述；重點(diǎn)對(duì)簡(jiǎn)單非函數(shù)依賴程序不變量進(jìn)行分析，基于數(shù)據(jù)庫(kù)的理論提出了一種新的簡(jiǎn)單非函數(shù)依賴程序不變量動(dòng)態(tài)檢測(cè)的技術(shù)，針對(duì)各種的簡(jiǎn)單非函數(shù)依賴程序不變量類型建立了一系列檢測(cè)方法。本文的不變量檢測(cè)技術(shù)通過(guò)數(shù)據(jù)庫(kù)中提供的SQL條件查詢功能，靈活多變的檢測(cè)各種常見(jiàn)類型的簡(jiǎn)單非函數(shù)依賴程序不變量，并且可以根據(jù)用戶的實(shí)際需要隨時(shí)指定新的程序不變量查詢條件。 最后