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

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

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

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