一般把用一個(gè)名字就可以調(diào)用的一段程序稱(chēng)為模塊，模塊具有三個(gè)基本屬性（）。

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

詳細(xì)設(shè)計(jì)需要完成的工作包括：算法設(shè)計(jì)、（）、物理設(shè)計(jì)；編寫(xiě)詳細(xì)說(shuō)明書(shū)和評(píng)審等。

按照軟件的功能不同，可以將軟件分為（）。

結(jié)構(gòu)化需求分析使用（）和判定樹(shù)等工具，采用自頂向下、逐層分解的方法來(lái)定義系統(tǒng)的需求。