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

檢查數(shù)據(jù)記錄中各數(shù)據(jù)項(xiàng)的位數(shù)和位置是否符合預(yù)先規(guī)定的格式屬于（）

對(duì)象是對(duì)客觀世界里的任何實(shí)體的抽象，是客觀世界實(shí)體的（）

黑盒測(cè)試也稱功能測(cè)試，它將被測(cè)程序看作黑盒子，不考慮內(nèi)部（）

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