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

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

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

用數(shù)據(jù)流程圖來描述現(xiàn)行系統(tǒng)和最終產(chǎn)生的新系統(tǒng)（）

短小簡單，易擴(kuò)充，但沒有邏輯含義的碼是（）