Z規(guī)格說(shuō)明中序列和包的自動(dòng)求精研究與實(shí)現(xiàn).pdf

1、為了克服自然語(yǔ)言和程序設(shè)計(jì)語(yǔ)言描述規(guī)格說(shuō)明產(chǎn)生的缺陷，人們提出了一種新的軟件開發(fā)范型，其基本思想是對(duì)系統(tǒng)建立一個(gè)數(shù)學(xué)模型，研究和提供一種基于數(shù)學(xué)的或形式語(yǔ)義學(xué)的規(guī)格說(shuō)明語(yǔ)言，用這種語(yǔ)言嚴(yán)格的描述所開發(fā)的軟件功能，并由自動(dòng)程序設(shè)計(jì)的加工模型來(lái)得到可執(zhí)行的代碼。在軟件開發(fā)系統(tǒng)開發(fā)過(guò)程中，系統(tǒng)需求分析和規(guī)格說(shuō)明非常重要。該階段形成的過(guò)程說(shuō)明文檔既是軟件開發(fā)人員和用戶之間的規(guī)約，又是軟件開發(fā)的起點(diǎn)。 本課題以Z規(guī)格說(shuō)明的自動(dòng)求精為目的，

2、提出了用STL 中的不同容器表示Z規(guī)格說(shuō)明數(shù)據(jù)類型的思想。結(jié)合C++語(yǔ)言的模板、重載技術(shù)和STL模板庫(kù)對(duì)數(shù)據(jù)結(jié)構(gòu)和通用算法的強(qiáng)大支持功能，提供了相應(yīng)的函數(shù)模板。以Z規(guī)格說(shuō)明中的序列和包為研究對(duì)象，利用C++及STL技術(shù)設(shè)計(jì)了序列和包各種操作的求精規(guī)則(這里采用STL中的deque容器表示Z規(guī)格說(shuō)明中的序列，map容器表示Z規(guī)格說(shuō)明中的包)，并產(chǎn)生目標(biāo)程序，即把Z規(guī)格說(shuō)明轉(zhuǎn)換為C++代碼。主要工作是設(shè)計(jì)了Z規(guī)格說(shuō)明的自動(dòng)掃描器、解釋器，定

3、義了Z規(guī)格說(shuō)明中的關(guān)鍵字和符號(hào)表，給出了對(duì)應(yīng)規(guī)則，實(shí)現(xiàn)了序列和包的自動(dòng)求精；給出了Z規(guī)格說(shuō)明的正確性驗(yàn)證方式，提供了錯(cuò)誤處理的手段，并舉例說(shuō)明規(guī)格說(shuō)明的寫法以及實(shí)現(xiàn)。最后提供了程序的實(shí)驗(yàn)結(jié)果。 Z規(guī)格說(shuō)明可以貫穿軟件開發(fā)的整個(gè)過(guò)程，而在軟件開發(fā)過(guò)程中都會(huì)先應(yīng)用于需求分析階段，本課題討論的也就是這個(gè)階段。由于求精過(guò)程不采用手工操作，避免了人工的誤操作或演算錯(cuò)誤導(dǎo)致的求精前后不一致，保證了系統(tǒng)的一致性和完整性。加快了程序軟件開發(fā)的自