最新自動程序設計-文庫吧
2025-06-22 14:11 本頁面
【正文】 的規(guī)格說明或程序；后者是在相同抽象級別上的規(guī)格說明或程序間的功能等價轉換。③實例推廣。借助反映程序行為的實例來構作程序，一般有兩種方法。一種是輸入/輸出對法：借助給出一組輸入/輸出對，逐步導出適用于一類問題的程序。另一種是部分程序軌跡法：通過所給實例的運行軌跡，逐步導出程序。這一途徑的思想誘人，為用戶稱道，但欲歸納出一定規(guī)模的程序，難度頗大。④過程實現(xiàn)。在對應規(guī)格說明中的各個成分，其轉換目標的相應成分明確，而且相應的轉換映射也明確的前提下，該映射可借助過程實現(xiàn)。目前一般采取設計甚高級語言（如SETL），其中含有全稱量詞，存在量詞等，以便于書寫軟件設計規(guī)格說明的成分。但是，SETL本身還不能算是功能規(guī)格說明語言，不能算是功能性語言。這一途徑的實現(xiàn)效率較高，困難點在于從非算法性成分到算法性成分的轉換。因此，迄今采用這一途徑的系統(tǒng)一般自動化程度不高，很難實現(xiàn)從功能規(guī)格說明到可執(zhí)行的程序代碼的自動轉換。此外，其關鍵的技術還包括了程序綜合，程序驗證，以及對程序調試的概念的推廣。程序綜合指的是自動編出的一份程序來獲得某種指定結果的任務，程序驗證指論證一份給定的程序將獲得某種指定結果的任務兩者是緊密相關的，許多自動程序設計系統(tǒng)將產(chǎn)生一份輸出程序的驗證作為額外的收益。把程序調試的概念推廣到作為問題求解的策略，是自動程序設計研究的一項重要內容。實踐已顯示出，對與程序設計或機器人的控制的問題，先產(chǎn)生一個代價不太高的有錯誤的解，然后再進行修改的作法，要比堅持要求第一次得到的解就完全沒有缺陷的作法，通常效率要高的多。自動程序設計的內容在計算機技術發(fā)展初期，編譯程序的出現(xiàn)被認為是自動程序設計方面的一大進展。1956年，美國國際商業(yè)機器公司(IBM)建立的第一個編譯程序FORTRAN就曾被稱為自動程序設計系統(tǒng)。隨著技術的進步，自動程序設計的內容在不斷變化。已建立的實驗系統(tǒng)包括規(guī)格說明、目標語言、問題范圍和采用方法四方面基本內容。規(guī)格說明解決的問題是：以某種方式告知計算機，所需要的是什么樣的程序，要求這一程序做什么。提交規(guī)格說明的方式有如下三種。①形式規(guī)格說明：可以認為是由一種超高級的程序語言書寫的文件。這種語言的語法和語義是精確的、無歧義的，精確而完全地指出程序所要做的工作。一般形式規(guī)格說明通常不采用人機交互對話方式，個別系統(tǒng)也有例外。②示例陳述：試圖通過足夠多的例子表明某一程序所要做的工作。系統(tǒng)根據(jù)這些例子自動構造出符合這些要求的程序。陳述中可包括程序的輸入－輸出性能，也可包括程序對某一輸入的處理軌跡。這種方法還存在不少困難，方法很少是完備的。因為僅僅通過若干個例子，并不能充分描述在所有情況下程序的性態(tài)。③自然語言：用戶使用自然語言陳述程序要做的工作。這種方法常采用交互對話方式。目標語言自動程序設計系統(tǒng)用以表示最
研究報告相關推薦
鄂ICP備17016276號-1