【正文】 （20）可為空需求開始時間日期型（8）可為空需求結(jié)束時間日期型（8）可為空表26 設(shè)備還庫表列名數(shù)據(jù)類型可否為空設(shè)備號數(shù)值型（20）不能為空還庫時間日期型（8）不能為空倉庫管理員字符型（10）可為空歸還數(shù)量數(shù)值型（20）可為空歸還人字符型（10）可為空表27 操作日志表列名數(shù)據(jù)類型可否為空操作員字符型（50）不能為空操作內(nèi)容字符型（50）不能為空操作時間日期型（8）不能為空表28 設(shè)備采購計劃表列名數(shù)據(jù)類型可否為空設(shè)備號數(shù)值型（20）不能為空現(xiàn)有庫存數(shù)值型（20）可為空總庫存數(shù)值型（20）可為空最大庫存數(shù)值型（20）可為空購買數(shù)量數(shù)值型（20）可為空供應(yīng)商字符型（20）可為空價格字符型（10）可為空計劃采購時間（主鍵）日期型（8）可為空第3章 庫存管理系統(tǒng)的系統(tǒng)實施 物理系統(tǒng)的實施MIS物理系統(tǒng)的實施是計算機(jī)系統(tǒng)和通信網(wǎng)絡(luò)系統(tǒng)設(shè)備的訂購、機(jī)房的準(zhǔn)備和設(shè)備的安裝調(diào)試等一系列活動的總和。我們必須從這些計算機(jī)產(chǎn)品中選擇最合適應(yīng)用需要的品牌。此外，還應(yīng)考慮以下問題：1. 計算機(jī)系統(tǒng)是否具有合理的性價比；2. 系統(tǒng)是否具有良好的可擴(kuò)充性；3. 能否得到來供應(yīng)商的售后服務(wù)和技術(shù)支持等。通常，機(jī)房要安裝雙層玻璃門窗，并且要求無塵。另外，為了防止由于突然停電造成的事故發(fā)生，應(yīng)安裝備用電源設(shè)備，如功率足夠的不間斷電源（UPS）.當(dāng)計算機(jī)設(shè)備到貨后，應(yīng)馬上按訂貨合同進(jìn)行開箱驗收。系統(tǒng)運(yùn)行用的常規(guī)診斷校驗系統(tǒng)也應(yīng)由供貨方提供，并負(fù)責(zé)操作人員的培訓(xùn)。MIS網(wǎng)絡(luò)有局域網(wǎng)（LAN）和廣域網(wǎng)（WAN）兩種。廣域網(wǎng)設(shè)備之間的通信，通常利用公共電信網(wǎng)絡(luò)，實現(xiàn)遠(yuǎn)程設(shè)備之間的通信。常用的通信線路有雙絞線 、同軸電纜、光纖電纜以及微波和衛(wèi)星通信等。在小程序設(shè)計中，主要強(qiáng)調(diào)程序的正確和效率，但對于大型程序，人們則傾向于首先強(qiáng)調(diào)程序的可維護(hù)性、可靠性和可理解性，然后才是效率。應(yīng)用軟件的編程工作量極大，而且要經(jīng)常維護(hù)、修改。（1）自頂向下的模塊化設(shè)計方法（Topdown Programming）自頂向下的方法在系統(tǒng)分析和設(shè)計階段都要使用。底層的模塊一般規(guī)模較小，功能較簡單，完成系統(tǒng)的某一方面的處理功能。在模塊化程序設(shè)計中應(yīng)注意：● 模塊的獨(dú)立性。● 模塊的大小劃分要適當(dāng)。● 模塊的功能要簡單?！?共享的功能模塊應(yīng)集中。（2）結(jié)構(gòu)化程序設(shè)計方法(Structured Programming)自頂向下的模塊化方法描述了大程序設(shè)計的原則，在具體編程中，則應(yīng)采用結(jié)構(gòu)化程序設(shè)計方法。其特點(diǎn)是采用以下三種基本邏輯結(jié)構(gòu)來編寫程序：順序結(jié)構(gòu)、循環(huán)結(jié)構(gòu)和選擇結(jié)構(gòu)。順序結(jié)構(gòu)是一種線性有序結(jié)構(gòu)，由一系列執(zhí)行的語句或模塊構(gòu)成。循環(huán)結(jié)構(gòu)是由一個或幾個模塊構(gòu)成，程序運(yùn)行時重復(fù)執(zhí)行，直到滿足某一條件為止。選擇結(jié)構(gòu)是根據(jù)條件成立與否選擇程序執(zhí)行路徑的結(jié)構(gòu)，一般有以下三種形式：結(jié)構(gòu)一IF 條件命令組1ELSE命令組2ENDIF結(jié)構(gòu)二IF 條件命令組ENDIF結(jié)構(gòu)三DO CASECASE 條件1 命令組1CASE 條件2 命令組2 CASE 條件n 命令組n ENDCASE 程序調(diào)試程序和系統(tǒng)調(diào)試的目的是發(fā)現(xiàn)程序和系統(tǒng)中可能存在的錯誤并及時予以糾正。理論法是屬于程序正確性證明問題，它是利用數(shù)學(xué)方法證明程序的正確性。目前程序的正確性驗證中普遍采用的仍是實驗法。（1） 代碼測試 調(diào)試過程中通常要編寫測試數(shù)據(jù)。測試數(shù)據(jù)是經(jīng)過精心挑選的，是程序和模塊中的每 一條語句都能得到執(zhí)行，即能夠測試程序中的任一邏輯通路。（2） 程序功能測試經(jīng)代碼測試正確的程序只是基本上驗證了邏輯處理上的正確性，但并不能驗證程序是否滿足程序說明書中定義的功能，也不能驗證測試數(shù)據(jù)本身是否完備。2. 分調(diào)系統(tǒng)應(yīng)用軟件通常由多個功能模塊組成，每個模塊由一個或幾個程序構(gòu)成。這種調(diào)試的目的是需要保證模塊內(nèi)各程序間具有正確的控制關(guān)系，同時可以測試模塊的運(yùn)行效率?？傉{(diào)的內(nèi)容包括兩部分：（1） 主控程序和調(diào)度程序調(diào)試這部分程序的語句不多，但邏輯控制復(fù)雜。調(diào)試目的不是處理結(jié)果的正確性，而是驗證控制接口和參數(shù)傳遞的正確性，以及發(fā)現(xiàn)并解決資源調(diào)度中的問題。也就是將主控制和調(diào)度程序與各功能模塊連結(jié)起來進(jìn)行總體調(diào)試對系統(tǒng)各種可能的使用形態(tài)及其組合在軟件中的流通情況進(jìn)行性能測試。4. 特殊測試除了上述常規(guī)測試之外，還有一些必要的性能測試。 系統(tǒng)切換、運(yùn)行及維護(hù) 系統(tǒng)切換系統(tǒng)切換只由舊的、手工處理系統(tǒng)向新的計算機(jī)信息系統(tǒng)過度?？紤]到系統(tǒng)測試中試驗樣本的不徹底性，一般只有老的系統(tǒng)無法滿足需要或新系統(tǒng)不太復(fù)雜的情況下才采用這種方法。并行切換一般分為兩步進(jìn)行，第一步以原系統(tǒng)作業(yè)為正式作業(yè)，原系統(tǒng)作校核用，經(jīng)過一段時間的運(yùn)行，在驗證新系統(tǒng)處理準(zhǔn)確、可靠后，原系統(tǒng)停止運(yùn)行。3. 試點(diǎn)過渡法試點(diǎn)過渡法先選用新系統(tǒng)的某一部分代替老系統(tǒng)，以此作為試點(diǎn)逐步地代替老系統(tǒng)。 系統(tǒng)運(yùn)行管理及維護(hù)該系統(tǒng)投入運(yùn)行后，為了讓其長期高效的工作，必須加強(qiáng)對其運(yùn)行的日常管理。其中日常的維護(hù)主要包括數(shù)據(jù)收集、數(shù)據(jù)整理、數(shù)據(jù)錄入以及處理結(jié)果的整理與分發(fā)；另外也要注意對運(yùn)行情況的記錄，因為它能反映出系統(tǒng)的狀態(tài)和工作效率，對于系統(tǒng)的評價與改進(jìn)具有重要的參考價值；但對其運(yùn)行的記錄是一項細(xì)致而又繁瑣的工作，從系統(tǒng)開始投入運(yùn)行就要抓好。系統(tǒng)人員應(yīng)根據(jù)其運(yùn)行的外部環(huán)境的變更和業(yè)務(wù)量的改變，及時對系統(tǒng)進(jìn)行維護(hù)。系統(tǒng)投入運(yùn)行后，要在日常運(yùn)行管理工作的基礎(chǔ)上定期對其運(yùn)行狀況進(jìn)行集中評價。結(jié)　論該庫存管理系統(tǒng)項目的開發(fā)與實施涉及面廣、時間長、過程復(fù)雜，本身就是一個需要統(tǒng)籌和協(xié)調(diào)好的工程，需要多方面人員的密切配合和科學(xué)的項目管理。該系統(tǒng)實施后可顯著提高倉庫的管理效率，減少倉庫的管理費(fèi)用，是企業(yè)倉庫的管理工作系統(tǒng)化、規(guī)范化、自動化，使得資金使用合理，物資設(shè)備的儲存最佳。數(shù)據(jù)庫系統(tǒng)開發(fā)實例導(dǎo)航 Hennessy J L. Computer organization and design: The hardware/software interface. 2nd Edition, San Francisco: Morgan Kaufmann, 1994 [18] Carreira J, Madeira H and Silva J G. Xception: A technique for the experimental evaluation of dependability in modern puters. IEEE Transactions on Software Engineering, 1998, 24(2): 125136 [19] Koopman P and DeVale K. Comparing the robustness of POSIX operating systems. In: Proceedings of the IEEE 29th International Symposium on FaultTolerant Computing, Madison, IEEE CS Press, June 1999, pp. 3037 [20] MC88100 RSIC Microprocessor User’s Manual (Second edition). Englewood Cliffs: Prentice Hall, 1990