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