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

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

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

決策者和研制者在一個(gè)小而重要的子問(wèn)題上取得一致意見(jiàn)，然后開(kāi)發(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)。該方法是（）

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