詳細(xì)設(shè)計(jì)的描述一般使用工具來(lái)表達(dá)過(guò)程細(xì)節(jié)。表達(dá)過(guò)程規(guī)格說(shuō)明的工具叫做詳細(xì)設(shè)計(jì)工具，它可以分為三類（）。

配置審核的對(duì)象主要是軟件配置項(xiàng)的變化信息。

逐步細(xì)化是一種自底向上的設(shè)計(jì)策略。

面向?qū)ο蟮能浖_(kāi)發(fā)方法使用了一系列的面向?qū)ο蠹夹g(shù)，其中第一步的任務(wù)是通過(guò)分析問(wèn)題域建立系統(tǒng)的概念模型，這一步是（）。

如何理解模塊獨(dú)立性？用什么指標(biāo)來(lái)衡量模塊獨(dú)立性。

程序員對(duì)每一個(gè)模塊的編碼之后先做（）測(cè)試，再做單元測(cè)試。

UML中，對(duì)象圖描ET系統(tǒng)中所有類的類型、類所具有的屬性和操作以及類與類之間的靜態(tài)的相互聯(lián)系。

UML中用狀態(tài)圖、順序圖、（）和活動(dòng)圖來(lái)建立動(dòng)態(tài)模型。

在兩個(gè)用例中，如果一個(gè)用例擁有另一個(gè)用例的所有結(jié)構(gòu)、行為和關(guān)系，并在此基礎(chǔ)上增加了新的特性，則此兩個(gè)用例之間可以用泛化關(guān)系表示。

軟件測(cè)試就是設(shè)計(jì)測(cè)試用例，并利用這些測(cè)試用例去運(yùn)行程序，以證明程序沒(méi)有錯(cuò)誤的過(guò)程。