明盒預(yù)期函數(shù)設(shè)計

第第頁明盒預(yù)期函數(shù)設(shè)計明盒預(yù)期函數(shù)設(shè)計

發(fā)表于：2023-01-28來源：：點擊數(shù)：標(biāo)簽：函數(shù)設(shè)計

為恢復(fù)已有的程序函數(shù)而解讀和抽象控制結(jié)構(gòu)與過程設(shè)計是互逆的。這些函數(shù)被稱為預(yù)期函數(shù)(intendedfunction)。明盒設(shè)計不斷細(xì)化預(yù)期函數(shù)。這些預(yù)期函數(shù)也定義了控制結(jié)構(gòu)細(xì)化過程中所要求的數(shù)據(jù)。在明盒細(xì)化過程中初始的預(yù)期函數(shù)就是一個狀態(tài)盒規(guī)范。明盒細(xì)化

為恢復(fù)已有的程序函數(shù)而解讀和抽象控制結(jié)構(gòu)與過程設(shè)計是互逆的。這些函數(shù)被稱為預(yù)期函數(shù)(intendedfunction)。明盒設(shè)計不斷細(xì)化預(yù)期函數(shù)。這些預(yù)期函數(shù)也定義了控制結(jié)構(gòu)細(xì)化過程中所要求的數(shù)據(jù)。在明盒細(xì)化過程中初始的預(yù)期函數(shù)就是一個狀態(tài)盒規(guī)范。明盒細(xì)化過程中的預(yù)期函數(shù)可根據(jù)表1所描述的設(shè)計語言文法而嵌入到它們的設(shè)計文本中。在表1中，方括號([])用來限定預(yù)期函數(shù)。在具體實現(xiàn)的語言中也可以使用解釋符。整個控制結(jié)構(gòu)的預(yù)期函數(shù)用[f]表示，放在入口處?？刂平Y(jié)構(gòu)里的預(yù)期函數(shù)接在關(guān)鍵字的后面。例如，在ifthenelse結(jié)構(gòu)中，[g]和[h]分別放在then和else的后面，以記錄操作g和h的效果。表1控制結(jié)構(gòu)中的預(yù)期函數(shù)

圖1則表示了對整型的變量的左操作的預(yù)期函數(shù)的細(xì)化過程。它本身嵌須一個更大的系統(tǒng)中(在圖中未表示出來)。在第一步函數(shù)被分解為有兩個執(zhí)行部分的sequence結(jié)構(gòu)。它們用兩個需要進(jìn)一步細(xì)化的預(yù)期函數(shù)表示(變量B是設(shè)計的局部變量。在初始預(yù)期函數(shù)的表示中并未出現(xiàn))。注意在sequence中初始的預(yù)期函數(shù)被傳遞下來，以記錄對數(shù)據(jù)的影響。第二步細(xì)化這兩個新的預(yù)期函數(shù)，就變成了圖右邊的兩ifthenelse控制結(jié)構(gòu)。同樣這兩個新的預(yù)期函數(shù)也要往后傳遞以記錄對數(shù)據(jù)的影響。

圖1同時也表現(xiàn)了與已得到程序函為目的而解讀控制結(jié)構(gòu)有關(guān)的兩步抽象。抽象后的程序函數(shù)和最初的預(yù)期函數(shù)應(yīng)一樣。盡管這個簡單的例子從控制結(jié)構(gòu)上就可以理解，但是在相對較大的設(shè)計院里，預(yù)期函數(shù)在驗證和維護(hù)上對保證設(shè)計意圖則發(fā)揮了至關(guān)重要的作用。對僅僅5-10行的語句可以一目了然，但對50或100行就不那么容易了。很明顯在預(yù)期函數(shù)對保證控制結(jié)構(gòu)細(xì)化的正確性是很重要的。后面詳述。

另一個重要的地方就是明盒細(xì)化過程并不是因循守舊的。只有在知道了如何將設(shè)計的上層結(jié)構(gòu)后，才可能創(chuàng)建良好的上層結(jié)構(gòu)。設(shè)計是一個反復(fù)的和創(chuàng)造性的過程。加深了理解，才會出現(xiàn)更好的主意。對下層的洞察會導(dǎo)