【文章內(nèi)容簡介】 得到 Jones 記錄?，F(xiàn)在事務記錄關鍵字與舊的主文件記錄關鍵字相同，正如從事務文件中看到的那樣，先修改舊的主文件記錄（ Jones記錄），然后把它刪除，以便讀取下一個事務記錄（ Smith）和下一個舊的主文件記錄 （也是 Smith）。遺憾的是，事務類型是 1（插入），但是在舊的主文件中已經(jīng)有 Smith記錄了，因此，在輸入數(shù)據(jù)中有錯誤，將 Smith記錄寫入異常報告中。更確切地說，將 Smith事務記錄寫入異常報告，而把Smith舊的主文件記錄寫入新的主文件。 總結(jié)上述例子中揭示出的處理過程，得到表 。 表 處理規(guī)則 根據(jù)表 ，可以對圖 “處理”框求精，得圖 二步求精結(jié)果。為減少連線（特別是為了減少交叉線），在這張流程圖中用標有相同字母（例如，字母 A） 的圓代表應該連在一起的點。圖中連到“輸入”和“輸出”方框的虛線表示把如何處理輸入和輸出的設計決定推遲到較晚的求精步驟中再做出，該圖其余部分是實現(xiàn)“處理”的流程圖，或者說是對處理事務的算法的初步求精結(jié)果。正如剛才講過的，已把對輸入和輸出問題的考慮推遲了，此外，還沒有規(guī)定文件結(jié)束的條件，也沒有規(guī)定遇到出錯條件時應該怎么處理。逐步求精方法的優(yōu)點就在于可以把這類問題推遲到后面的求精步驟中去解決。 圖 第二步求精 下一步設計步驟是求精圖 中的“輸入”和“輸出”兩個處理框，得到圖 ，在這個設計 步驟中仍然沒有處理到文件結(jié)束的條件，也沒有寫入工作結(jié)束的信息，這些設計工作可以在后面的求精步驟中完成。使用逐步求精方法設計軟件時，每完成一個求精步驟都必須對這個求精步驟得出的設計結(jié)果仔細審查，沒有發(fā)現(xiàn)錯誤才能進行下一個求精步驟的設計工作，如果發(fā)現(xiàn)了錯誤則應該及時糾正。審查圖 ，該設計包含一個嚴重錯誤?？紤]圖 。假設當前的事務是 2Jones，也就是修改 Jones記錄，也就是修改 Jones記錄，并且當前的舊的主文件記錄是 Jones。在圖 ，因為事務記錄 的關鍵字與舊的主文件記錄的關鍵字相同，沿最左邊的路徑到底“測試事務類型”判定框。因為當前的事務類型是“修改”，所以修改舊的主文件記錄并把修改后的記錄寫入新的主文件。然后讀取下一個事務記錄，該記錄是 3Jones，也就是刪除 Jones 記錄，但是，已經(jīng)把修改后的 Jones記錄寫入新的主文件記錄了。 在用逐步求精方法設計軟件的過程中對每個求精步驟得出的設計結(jié)果都進行嚴格審查的好處是，一旦發(fā)現(xiàn)錯誤，不必從頭開始重做一遍，只需回到前一步的設計結(jié)果，從那里開始重新設計即可。在本設計中，第二步求精的結(jié)果（見圖 ）是正 確的，可以把它作為第三步求精的基礎。 圖 第三步求精（有嚴重錯誤） 正如剛才講過的，圖 ，當事務類型為 2（修改）時沒有考慮下一個事務的影響，就把修改后的主文件記錄寫入新的主文件中。為了改正上述錯誤，我們采用“前瞻一步”的策略，也就是說，只有在分析了一個事務類型的下一個事務記錄之后，才能處理該事務記錄。更具體地說，當一個事務記錄的類型為“修改”時，修改緩沖區(qū)中的舊主文件記錄，然后讀取下一個事務記錄，如果剛讀出的事務記錄的關鍵字與緩沖區(qū)中的舊文件記錄的關鍵字不相同，則把緩沖 區(qū)中已經(jīng)修改過的舊主文件記錄寫入新的主文件；如果新讀出的事務記錄的關鍵字與主文件記錄關鍵字相同，則依據(jù)新的事務記錄的類型來處理緩沖區(qū)中的舊主文件記錄。由于事務文件是預先排好序的，當新讀出的事務記錄與主文件記錄有相同的關鍵字時，也就是新讀出的事務記錄與前一個事務記錄是針對同一個訂戶的事務的，新讀出的事務記錄的類型只可能是“修改”或“刪除”（已知前一個事務記錄的類型是“修改”）。采用“前瞻一步”的設計策略，得出圖 。 圖 改正錯誤后的第三步求精 為簡單起見，當針對同一個訂戶有多個事務時，僅考慮了在修改事務之后又有修改事務或刪除事務的情況。實際上，如果對事務文件先進行預處理，使得針對每位訂戶最多只有一個事務，則更新順序主文件的算法可大大簡化。下面列出對事務文件可能做的一些預處理：如果針對同一個訂戶有多個修改事務，則僅保留最后一個修改事務（本問題中的主文件記錄僅有訂戶姓名和地址兩項信息，多次修改地址則以最后一次修改為準）；若插入一位新訂戶記錄后，又有零或多個修改事務，最后是一個刪除事務，則略去這一系列事務；若對一個訂戶記錄既有修改事務又有刪除事務，則略 去修改事務，僅保留刪除事務；若針對一位訂戶既有插入事務又有修改事務，則用修改事務的內(nèi)容（地址信息）更正插入事務的內(nèi)容（地址信息），然后刪去這個修改事務。 在第 4次求精的過程中，應該考慮迄今為止被忽略的諸如打開和關閉文件這樣的細節(jié)問題。采用逐步求精方法設計軟件時，這樣的細節(jié)問題是在基本算法被完全設計出來之后，最后處理的。顯然，不打開和關閉文件，程序是不可能正常運行的，也就是說，這些問題是必須處理的，但是，重要的是，處理這類細節(jié)問題應該在設計的最后階段進行。在設計的早期階段，設計者集中精力關注的 7 個左右問題是不 應該包括打開和關閉文件這樣的細節(jié)問題的。打開和關閉文件與特定軟件的設計無關，它們只是作為任何設計的一部分的實現(xiàn)細節(jié)。然而，在后面的求精步驟中，打開和關閉文件變得重要起來，必須加以處理。 從前述設計過程可知，可以把逐步求精方法看作是建立在某個階段內(nèi)需要解決的各種問題的優(yōu)先級的一種技術(shù)。逐步求精方法能夠確保每個問題都得到解決，并且是在合適的時間解決，在任何時刻都不需要同時考慮 7個以上的問題。 ：從圖 ，這個程序的功能是計算若干個指定地點的每日平均溫度。變量 sum保存某地一天之內(nèi)在指 定的時間取樣點的溫度之和。程序運行時首先初始化變量 sum并打開文件，然后讀取地點、時間和溫度等原始數(shù)據(jù)，創(chuàng)建用于保存這些數(shù)據(jù)的溫度記錄，接下來計算特定地點的日平均溫度，存儲溫度記錄。重復調(diào)用“讀取地點、時間和溫度”、“創(chuàng)建新的溫度記錄”、“計算特定地點的日平均溫度”和“存儲溫度記錄”等模塊，直至計算出并保存好所有指定地點的日平均溫度。最后，打印平均溫度并關閉文件。 從上述敘述可知，“計算多個地點的日平均溫度”、“讀取地點、時間和溫度”、“創(chuàng)建新的溫度記錄”、“計算特定地點的日平均溫度”和“存儲溫度記錄”等 5個模塊，每個都完成一個單一的功能，模塊內(nèi)所有元素都為完成同一個功能服務，彼此結(jié)合的十分緊密，因此，這 5個模塊的內(nèi)聚類型都是功能內(nèi)聚。 初看起來，由于初始化變量 sum和打開文件這兩個操作都是在程序運行的初始階段完成的，“初始化變量 sum和打開文件” 這個模塊的內(nèi)聚類型似乎是時間內(nèi)聚。但是，初始化變量 sum是本程序特有的操作，而打開文件是硬件要求的操作，是任何使用文件的程序都包含的一個操作，并非本程序特有的操作。當可以分配兩個或更多個不同級別的內(nèi)聚類型給一個模塊時，規(guī)則是分配最低級別的內(nèi)聚類型給該模塊。因此，“ 初始化變量 sum和打開文件”這個模塊的內(nèi)聚類型都是偶然內(nèi)聚。同理，“關閉文件并打印平均溫度” 這個模塊的內(nèi)聚類型也是偶然內(nèi)聚。 ：綜合分析圖 。例如，當模塊 p調(diào)用模塊 q時（接口 1），它傳遞一個參數(shù) 飛機類型。當模塊 q把控制返還給模塊 p時，它傳回一個狀態(tài)標志。 某些模塊之間的耦合類型是明顯的，例