自動(dòng)程序設(shè)計(jì)

1、自動(dòng)程序設(shè)計(jì)自動(dòng)程序設(shè)計(jì)自動(dòng)程序設(shè)計(jì)的含義自動(dòng)程序設(shè)計(jì)的含義自動(dòng)程序設(shè)計(jì)，是指采用自動(dòng)化的手段進(jìn)行程序設(shè)計(jì)的技術(shù)。后引申為采用自動(dòng)化手段進(jìn)行開(kāi)發(fā)的技術(shù)和過(guò)程。其目的是提高生產(chǎn)率和產(chǎn)品質(zhì)量，并且它在軟件工程、流水線控制等領(lǐng)域均有廣泛的運(yùn)用。自動(dòng)程序設(shè)計(jì)的含義按廣義和狹義，橫向和縱向，可以分成幾個(gè)類型。廣義含義按照廣義的理解，自動(dòng)程序設(shè)計(jì)是盡可能借助計(jì)算機(jī)系統(tǒng)，尤指自動(dòng)的程序設(shè)計(jì)系統(tǒng)進(jìn)行工程開(kāi)發(fā)的過(guò)程。這里的開(kāi)發(fā)指的是，從問(wèn)題的非形式描述，

2、經(jīng)形式的軟件功能規(guī)格說(shuō)明、設(shè)計(jì)規(guī)格說(shuō)明，到可執(zhí)行的程序代碼、調(diào)試，及至確認(rèn)、交付使用的全過(guò)程。狹義含義按照狹義的理解，自動(dòng)程序設(shè)計(jì)指的是從形式的功能和規(guī)格的說(shuō)明，到可執(zhí)行的程序代碼的這個(gè)過(guò)程的自動(dòng)化?？v向理解按縱向理解，低級(jí)的自動(dòng)化指從設(shè)計(jì)規(guī)格說(shuō)明，到可執(zhí)行的程序代碼這一過(guò)程的自動(dòng)化，系統(tǒng)只是起到了程序員的作用；中級(jí)的自動(dòng)化指的是從除了設(shè)計(jì)還有功能的規(guī)格說(shuō)明，到可執(zhí)行的程序代碼的過(guò)程的自動(dòng)化，系統(tǒng)除了起到程序人員的作用外，還起設(shè)計(jì)員、系

3、統(tǒng)分析員的作用；高級(jí)的自動(dòng)化則解決了從非形式的描述到可執(zhí)行的代碼當(dāng)中整個(gè)過(guò)程的自動(dòng)化問(wèn)題，系統(tǒng)除了起程序員、設(shè)計(jì)員、系統(tǒng)分析員的作用外，還起到了領(lǐng)域?qū)＜业牟糠肿饔?。橫向理解按橫向理解，在上述各種縱向理解級(jí)別上，根據(jù)人工干預(yù)的程度，又可區(qū)分各種不同的自動(dòng)化級(jí)別。自動(dòng)程序設(shè)計(jì)的任務(wù)是設(shè)計(jì)一個(gè)程序系統(tǒng)，它接受關(guān)于所設(shè)計(jì)的程序要求實(shí)現(xiàn)某個(gè)目標(biāo)非常高級(jí)描述作為其輸入，然后自動(dòng)生成一個(gè)能完成這個(gè)目標(biāo)的具體程序。在某種意義上說(shuō)，編譯程序?qū)嶋H上就是去做

4、“自動(dòng)程序設(shè)計(jì)”的工作。編譯程序是接受一段有關(guān)干某件事情的源碼說(shuō)明（源程序），然后轉(zhuǎn)換成一個(gè)目標(biāo)碼（目的程序）程序去完成這件事情。而這里所說(shuō)的自動(dòng)程序設(shè)計(jì)相當(dāng)于一種“超級(jí)編譯程序”，它要求能對(duì)高級(jí)描述進(jìn)行處理，解，然后再進(jìn)行修改的作法，要比堅(jiān)持要求第一次得到的解就完全沒(méi)有缺陷的作法，通常效率要高的多。自動(dòng)程序設(shè)計(jì)的內(nè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ī)器公

5、司(IBM)建立的第一個(gè)編譯程序FTRAN就曾被稱為自動(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ǔ)言書(shū)寫(xiě)的文件。這種語(yǔ)言的語(yǔ)法和語(yǔ)義是精確的、無(wú)歧義的，精確而完全地指出程序所要做的工作

6、。一般形式規(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)

7、用以表示最后構(gòu)造成的程序的語(yǔ)言。有一些系統(tǒng)往往采用如LISP、PLI、GPSS等高級(jí)語(yǔ)言作為目標(biāo)語(yǔ)言。問(wèn)題范圍所欲生成的程序應(yīng)用的范圍。例如NLPQ系統(tǒng)處理的問(wèn)題都是有關(guān)排隊(duì)方面的程序PSI系統(tǒng)處理的則是有關(guān)符號(hào)計(jì)算（包括表處理、搜索和排列、數(shù)據(jù)的存放和檢索等）。問(wèn)題范圍與規(guī)格說(shuō)明有關(guān)，并對(duì)系統(tǒng)采用的方法有很大影響。采用方法各種實(shí)驗(yàn)系統(tǒng)采用的方法不盡一致，可歸納為下列幾個(gè)方面。①定理證明：對(duì)要生成的程序，用戶給出它的輸入、輸出數(shù)據(jù)必須滿