基于C++STL技術(shù)實(shí)現(xiàn)Z形式規(guī)格說明求精變換的研究.pdf

1、軟件開發(fā)的形式化方法被當(dāng)今軟件工程領(lǐng)域譽(yù)為克服“軟件危機(jī)”，提高軟件可靠性和生產(chǎn)效率的革命性途徑。為了克服自然語言和程序設(shè)計(jì)語言描述規(guī)格說明的模糊性和歧義性缺陷，人們提出了形式化開發(fā)范型，即通過形式化、規(guī)范化的數(shù)學(xué)理論，用描述“做什么”來取代“怎么做”。Z語言就是形式化方法中具有代表性的一種形式規(guī)格說明，它語言精確、無二義性，可以用于推理和對需求規(guī)格說明求精。求精是規(guī)格說明實(shí)現(xiàn)可執(zhí)行化的重要過程，實(shí)現(xiàn)規(guī)格說明求精，可以為Z語言應(yīng)用于更廣

2、泛的領(lǐng)域奠定基礎(chǔ)。本文重點(diǎn)研究Z形式規(guī)格說明的求精方法，以Z的數(shù)據(jù)型求精為基礎(chǔ)，對Z形式規(guī)格說明進(jìn)行自頂向下，逐步求精，結(jié)合C++語言、數(shù)據(jù)結(jié)構(gòu)以及C++標(biāo)準(zhǔn)模板庫技術(shù)，探討Z規(guī)格說明的求精方法。Z是一個類型化的語言，有豐富的數(shù)據(jù)類型，其數(shù)據(jù)類型分為簡單類型與復(fù)合類型。由于Z語言的數(shù)據(jù)類型相當(dāng)復(fù)雜，現(xiàn)有的高級語言不支持Z語言數(shù)據(jù)類型的直接轉(zhuǎn)換。但是，C++語言的標(biāo)準(zhǔn)模板庫中定義的容器類型卻為Z語言數(shù)據(jù)類型的轉(zhuǎn)換提供了良好的支持，本文先對