基于數(shù)據(jù)庫的簡單非函數(shù)依賴程序不變量動態(tài)檢測.pdf

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

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