測(cè)試的目的不是證明程序的正確，而是盡量的（）

在數(shù)據(jù)編碼的后面加一位校驗(yàn)碼，該校驗(yàn)碼是根據(jù)一定的計(jì)算方法由校驗(yàn)碼前的各位編碼計(jì)算出來的校驗(yàn)屬于（）

數(shù)據(jù)庫(kù)關(guān)系模式確定后可借助規(guī)范化理論進(jìn)行規(guī)范化，以消除數(shù)據(jù)表冗余、更新異常等不合理現(xiàn)象提高數(shù)據(jù)的可修改性、一致性和（）

決策者和研制者在一個(gè)小而重要的子問題上取得一致意見，然后開發(fā)和設(shè)計(jì)一個(gè)原始的系統(tǒng)以支持所需要的決策，在使用一個(gè)短時(shí)期后，如幾周以后對(duì)系統(tǒng)進(jìn)行評(píng)價(jià)、修改，并增加、擴(kuò)展，這樣循環(huán)幾次直到發(fā)展成為一個(gè)相對(duì)穩(wěn)定的系統(tǒng)。該方法是（）

安裝硬件和軟件，程序編寫、系統(tǒng)測(cè)試、人員培訓(xùn)、系統(tǒng)試用，并轉(zhuǎn)換為新系統(tǒng)等工作屬于（）

采用目測(cè)的方法檢查輸入數(shù)據(jù)的正確性，目測(cè)一般在屏幕前進(jìn)行，在輸入內(nèi)容復(fù)雜的情況下也可以打印出來檢測(cè)，其校驗(yàn)方法是（）

平衡校驗(yàn)碼根據(jù)數(shù)據(jù)之間的計(jì)算關(guān)系來檢查輸入數(shù)據(jù)的（）

數(shù)據(jù)庫(kù)的規(guī)范化處理過程就是按照規(guī)范化規(guī)則逐步地分析處理原有（）

數(shù)據(jù)庫(kù)設(shè)計(jì)是信息系統(tǒng)設(shè)計(jì)階段的重要組成部分，數(shù)據(jù)模型規(guī)范化屬于（）

系統(tǒng)采用模塊化結(jié)構(gòu)，提高系統(tǒng)各模塊的獨(dú)立性，盡量減少各子模塊間的相互依賴，這是系統(tǒng)設(shè)計(jì)應(yīng)遵循的（）