為了更好地解決軟件危機這個至關(guān)重要的問題,提高實際軟件開發(fā)的效率和可靠性,薛錦云教授在多個國家級課題的資助下提出了一種普遍適用的算法程序形式化開發(fā)方法—PAR（Partition-And-Recur）方法。該方法中程序設(shè)計采用了數(shù)據(jù)抽象機制。在PAR方法的支撐平臺—PAR平臺上開發(fā)了各種自動程序生成系統(tǒng),其中Apla→Python自動程序生成系統(tǒng)將Apla算法程序生成可執(zhí)行的Python程序。該生成系統(tǒng)由轉(zhuǎn)換器和Python可重用構(gòu)件庫組成。Python構(gòu)件庫引用了軟件復(fù)用這一概念,其基本思想是在軟件開發(fā)中避免重復(fù)勞動。通過軟件復(fù)用,可以提高軟件開發(fā)的效率和質(zhì)量。構(gòu)件庫包括序列、集合、包、樹、圖五大類基本構(gòu)件。本文研究的主要目標是正確地設(shè)計Python構(gòu)件庫中五類構(gòu)件即用Python語言具體實現(xiàn)Apla語言（Abstract Programming Language,是一種抽象程序設(shè)計語言,用來定義并設(shè)計算法程序）中的序列、集合、包、樹、圖五大類抽象數(shù)據(jù)類型。先對Apla語言和Python語言的數(shù)據(jù)類型進行分析和對比,然后通過Python類中方法設(shè)置一個形式參數(shù)datatype定義類型... 

【文章來源】：江西師范大學(xué)江西省

【文章頁數(shù)】：65 頁

【學(xué)位級別】：碩士

【部分圖文】：

抽象數(shù)據(jù)類型的不同視圖

工程碩士學(xué)位論文12不變式。措施2：對于未設(shè)計的軟件算法，分析待解決問題的前置斷言、后置斷言和數(shù)學(xué)特征，采用恰當?shù)某橄蟪绦蛟O(shè)計方法確定求解問題的最佳方法，往往需要明確求解問題的各序列的遞推關(guān)系和需要知道所有循環(huán)變量的狀態(tài)，然后總結(jié)出全部變量的內(nèi)在變化規(guī)律，最終獲得相應(yīng)的循環(huán)不變式。在遞推關(guān)系中，如果子問題的解決方案的數(shù)量大于一個，那么不得不還需要使用集合的變量或者能在堆棧上實行操作的序列變量，使用遞歸定義來描述序列中所有的數(shù)據(jù)。圖2-2PAR方法開發(fā)流程圖以上策略見效顯著，一個具有內(nèi)在遞歸屬性的迭代程序的循環(huán)不變式，使用遞歸定義技術(shù)去開發(fā)它，這種策略便顯得尤為重要。第五步：在已獲得循環(huán)不變式和算法的前提下，編寫Apla程序。通常情況下，通過對算法進行等價轉(zhuǎn)換，可以直接獲得程序，這種工作項目無論是手工的還是自動的都是可以的；有些情況下，通過使用歸納推理和采用遞歸定義技術(shù)的循環(huán)不變式來開發(fā)的程序，可以得到非遞歸程序，然后證明程序的正確性，目前只能手工完成這種轉(zhuǎn)換。第六步：把Apla程序生成對應(yīng)的可執(zhí)行程序。PAR方法提供了科學(xué)的理論和實用的方法學(xué)，使開發(fā)人員便捷地編制出良好

PAR平臺中Python數(shù)據(jù)類型實現(xiàn)方法研究15圖2-3Apla→Python自動程序生成系統(tǒng)結(jié)構(gòu)圖圖2-4Apla→Python自動程序生成系統(tǒng)的用戶界面系統(tǒng)菜單的功能有：新建或者打開一個Apla文件、保存正在編輯的Apla文件、將Apla程序生成Python程序、保存生成的Python程序、將Python程序解釋執(zhí)行、分別把Apla程序及生成獲得的Python程序輸出到打印機等。上述的全部功能不僅能夠使用對應(yīng)的菜單命令來實現(xiàn)，而且能夠通過點擊系統(tǒng)工具欄中的

【參考文獻】：
期刊論文
[1]計算機軟件開發(fā)技術(shù)的應(yīng)用及發(fā)展[J]. 張恒銘.  計算機產(chǎn)品與流通. 2020(07)
[2]PAR平臺中若干軟件構(gòu)件形式化驗證技術(shù)研究[J]. 胡啟敏,薛錦云,游珍,程著.  計算機工程與科學(xué). 2018(02)
[3]面向計算生態(tài)的Python語言入門課程教學(xué)方案[J]. 嵩天,黃天羽,禮欣.  計算機教育. 2017(08)
[4]支持模型驅(qū)動開發(fā)的軟構(gòu)件形式化描述方法[J]. 侯金奎,王成端.  計算機應(yīng)用. 2015(09)
[5]Apla中泛型約束機制研究[J]. 左正康,薛錦云.  軟件學(xué)報. 2015(06)
[6]基于Python的網(wǎng)管軟件技術(shù)體系設(shè)計[J]. 蔣洪磊.  無線電通信技術(shù). 2015(04)
[7]Radl算法到Apla程序的生成系統(tǒng)[J]. 謝武平,薛錦云.  計算機研究與發(fā)展. 2014(04)
[8]SRLtoRadl生成系統(tǒng)及其范疇論語義[J]. 王昌晶,薛錦云,左正康.  電子學(xué)報. 2014(01)
[9]Python語言學(xué)習(xí)之我見[J]. 趙彥琦,謝小西,荀宇暢.  電子制作. 2013(13)
[10]抽象數(shù)據(jù)類型的雙代數(shù)結(jié)構(gòu)及其計算[J]. 蘇錦鈿,余珊珊.  計算機研究與發(fā)展. 2012(08)

博士論文
[1]軟件技術(shù)的哲學(xué)探究[D]. 胡興華.復(fù)旦大學(xué) 2008

碩士論文
[1]Apla-Java算法程序生成系統(tǒng)中新型泛型機制的實現(xiàn)[D]. 田方.江西師范大學(xué) 2015
[2]基于Web的Python編程環(huán)境研究[D]. 劉志凱.新疆農(nóng)業(yè)大學(xué) 2015
[3]Android手機自動化測試系統(tǒng)的設(shè)計與實現(xiàn)[D]. 陳昊.西安電子科技大學(xué) 2014
[4]形式化方法在基于構(gòu)件軟件重用中的應(yīng)用研究[D]. 朱建林.河北大學(xué) 2006
[5]基于UML和形式化方法的面向方面實時系統(tǒng)模型[D]. 劉瑞成.廣東工業(yè)大學(xué) 2006
[6]PAR方法中關(guān)系數(shù)據(jù)庫機制的描述與實現(xiàn)[D]. 李英龍.江西師范大學(xué) 2006
[7]Radl->Apla自動程序轉(zhuǎn)換系統(tǒng)研究與實現(xiàn)[D]. 冉小曉.江西師范大學(xué) 2005
[8]基于Web Service的Par方法遠程教學(xué)平臺研究[D]. 胡玉貴.江西師范大學(xué) 2005
[9]基于范例、規(guī)則推理的新型程序設(shè)計ICAI系統(tǒng)研究與實現(xiàn)[D]. 劉曉瑢.江西師范大學(xué) 2004
[10]PAR方法應(yīng)用于管理信息系統(tǒng)開發(fā)方法的初步研究[D]. 施煒.江西師范大學(xué) 2004



本文編號：3580394