第1章

?軟件：計(jì)算機(jī)程序及說(shuō)明程序的各種文檔。“程序”是計(jì)算任務(wù)的解決走象和

解決規(guī)則的描述；“文檔”是有關(guān)計(jì)算機(jī)程序功能、設(shè)計(jì)、編制、使用的文

字或圖形資料。

?軟件的特點(diǎn)：（1）軟件是一種邏輯產(chǎn)品，具有無(wú)形性，以程序和文檔的形式出

現(xiàn)

（2）（軟件產(chǎn)品）的生產(chǎn)重要是研制（3）?不會(huì)用壞，不存在磨損、消耗問(wèn)題

（4）~的生產(chǎn)重要靠腦力勞動(dòng)，尚未擺脫手工開(kāi)發(fā)方式（5）費(fèi)用不斷增長(zhǎng)，成本

日總

?軟件生產(chǎn)的發(fā)展：a程序設(shè)計(jì)時(shí)代45~56生產(chǎn)方式是個(gè)體手工勞動(dòng)，機(jī)器語(yǔ)言、

匯編語(yǔ)言，方法是追求編程技巧，追求程序運(yùn)營(yíng)效率b程序系統(tǒng)時(shí)代（5468）

作坊式的小集團(tuán)合作生產(chǎn)，工具高級(jí)語(yǔ)言，方法：個(gè)人技巧開(kāi)始提出結(jié)構(gòu)化方

法c軟件工程時(shí)代（68至今）

工程化的生產(chǎn)，使用數(shù)據(jù)庫(kù)、開(kāi)發(fā)工具及環(huán)境，網(wǎng)絡(luò)，分布式，面向?qū)ο蠹夹g(shù)

來(lái)開(kāi)發(fā)軟件

?“軟件危機(jī)”硬件技術(shù)進(jìn)步，軟件不能滿足發(fā)展的規(guī)定，在軟件開(kāi)發(fā)中碰到

的問(wèn)題找不到解決的辦法，使問(wèn)題積累起來(lái)，形成了鋒利的矛盾，因而導(dǎo)致了

軟件危機(jī)。危機(jī)表現(xiàn)a經(jīng)費(fèi)預(yù)算經(jīng)常突破，完畢時(shí)間一再遲延b開(kāi)發(fā)的軟件不

能滿足用戶(hù)規(guī)定、可維護(hù)性差、可靠性差

?危機(jī)因素a軟件的規(guī)模越來(lái)越大，結(jié)構(gòu)越來(lái)越復(fù)雜b軟件開(kāi)發(fā)管理困難而復(fù)雜、

費(fèi)用不斷增長(zhǎng)、技術(shù)落后、生產(chǎn)方式落后、開(kāi)發(fā)工具落后，生產(chǎn)率提高緩慢

?軟件工程68北大西洋公約組織用科學(xué)知識(shí)和技術(shù)原理來(lái)定義、開(kāi)發(fā)、維護(hù)軟件

的一門(mén)學(xué)科。

?、性質(zhì)：它涉及計(jì)算機(jī)科學(xué)、工程科學(xué)、管理科學(xué)、數(shù)學(xué)等領(lǐng)域，計(jì)算機(jī)科學(xué)著

重于原理和理論，而~著重于如何建造一個(gè)軟件系統(tǒng)。~要用工程科學(xué)中的觀點(diǎn)來(lái)

進(jìn)行費(fèi)用估算、制定進(jìn)度、制定計(jì)劃和方案。~要用管理科學(xué)中的方法和原理進(jìn)

行軟件生產(chǎn)的管理。~要用數(shù)學(xué)的方法建立?中的各種模型和各種算法，如正靠性

模型，說(shuō)明用戶(hù)需求的形式化模型等。

??目的：付出較低的開(kāi)發(fā)成本、達(dá)成規(guī)定的軟件功能、取得較好的軟件性能、開(kāi)

發(fā)的軟件易移植、需要的較低的維護(hù)費(fèi)用、能準(zhǔn)時(shí)完畢開(kāi)發(fā)任務(wù)，及時(shí)交付使用、

開(kāi)發(fā)的軟件可靠性高

?軟件工程內(nèi)容：軟件開(kāi)發(fā)技術(shù)、~管理。軟件開(kāi)發(fā)技術(shù)，重要研究軟件開(kāi)發(fā)方法、

過(guò)程、工具和環(huán)境。（軟件）開(kāi)發(fā)管理中研究?管理學(xué)、~經(jīng)濟(jì)學(xué)、~心理學(xué)。面

臨問(wèn)題：~費(fèi)用~可靠性~維護(hù)~生產(chǎn)率~重用~工程（過(guò)程）：獲取】共應(yīng)~開(kāi)發(fā)~

操作'維護(hù)~管理過(guò)程；支持過(guò)程

?軟件生存周期：可行性分析和項(xiàng)目開(kāi)發(fā)計(jì)劃；需求分析；概要設(shè)計(jì)；具體設(shè)計(jì);

編碼；測(cè)試維護(hù)。軟件生存周期模型是描述軟件開(kāi)發(fā)過(guò)程中各種活動(dòng)如

何執(zhí)行的模型。

?瀑布模型是將軟件生存周期各個(gè)活動(dòng)規(guī)定為依線性順序連接的若干階段的模

型。是一種整體開(kāi)發(fā)的模型增量模型是一種非整體開(kāi)發(fā)的模型。

?螺旋模型將瀑布模型與增量模型結(jié)合起來(lái)，加入了風(fēng)險(xiǎn)分析，用于復(fù)雜的大型

軟件開(kāi)發(fā)；分為幾個(gè)螺旋周期一，制定計(jì)劃二，風(fēng)險(xiǎn)分析三，開(kāi)發(fā)實(shí)行四，用

戶(hù)評(píng)估。

?噴泉模型是i種以用戶(hù)需求為動(dòng)力，以對(duì)象作為驅(qū)動(dòng)的模型，適合于面向?qū)?/p>

象的開(kāi)發(fā)方法。使開(kāi)發(fā)過(guò)程具有迭代性和無(wú)間隙性。基本知識(shí)的模型又稱(chēng)智

能模型，它把瀑布模型和專(zhuān)家系統(tǒng)結(jié)合在一起。

?變換模型是一種適合于形式化開(kāi)發(fā)方法的模型C從軟件需求形式化說(shuō)明開(kāi)始，

通過(guò)一系列變換，最終得到系統(tǒng)的目的程序。

?軟件開(kāi)發(fā)方法：一種使用早己定義好的技術(shù)集及符號(hào)的表達(dá)習(xí)慣來(lái)組織軟件生

產(chǎn)的過(guò)程

（結(jié)構(gòu)化）方法由~分析、~設(shè)計(jì)、~程序設(shè)計(jì)構(gòu)成。它是一種面向數(shù)據(jù)流的開(kāi)發(fā)方

法。~方法總的指導(dǎo)思想是自頂向下、逐步求精它的基本原則是功能的分解與

抽象，它是軟件工程中最早出現(xiàn)的開(kāi)發(fā)方法，特別適合于數(shù)據(jù)解決領(lǐng)域的問(wèn)題。

?Jackson方法是一種面向數(shù)據(jù)結(jié)構(gòu)的開(kāi)發(fā)方法。維也納開(kāi)發(fā)方法（VDM）是

一種形式化的開(kāi)發(fā)方法，軟件的需求用嚴(yán)格的形式語(yǔ)言描述。

?面向?qū)ο蟮拈_(kāi)發(fā)方法涉及面向?qū)ο蠓治觥⒚嫦驅(qū)ο笤O(shè)計(jì)、面向?qū)ο髮?shí)現(xiàn)。

面向?qū)ο箝_(kāi)發(fā)方法有Booch方法、Coad方法

第2章

?軟件（可行性研究）的目的就是用最小的代價(jià)在盡也許短的時(shí)間內(nèi)擬定該軟件

項(xiàng)目是否可以開(kāi)發(fā)，是否值得去開(kāi)發(fā)。

?~的目的不是去開(kāi)發(fā)一個(gè)軟件項(xiàng)目，而是研究這個(gè)軟件項(xiàng)目是否值得去開(kāi)發(fā)，

其中的問(wèn)提能否解決。、實(shí)質(zhì)上是要進(jìn)行一次簡(jiǎn)化、壓縮了的需求分析、設(shè)計(jì)

過(guò)程，要在較高層次上以較抽象的方式進(jìn)行需求分析和設(shè)計(jì)過(guò)程。

?可行性研究的任務(wù)：

技術(shù)可行性：對(duì)要開(kāi)發(fā)項(xiàng)目的功能、性能、限制條件進(jìn)行分析，擬定在現(xiàn)有的

資源條件下，技術(shù)風(fēng)險(xiǎn)有多大，項(xiàng)目是否能實(shí)現(xiàn)。涉及：開(kāi)發(fā)的風(fēng)險(xiǎn)；資源的

有效性；技術(shù)；開(kāi)發(fā)人員在評(píng)估技術(shù)可行性時(shí)，一旦估計(jì)錯(cuò)誤，將會(huì)出現(xiàn)劫難

性后果。

經(jīng)濟(jì)可行性涉及成本一一效果分析、公司經(jīng)營(yíng)長(zhǎng)期策略、開(kāi)發(fā)所需的成本和資

源、潛在的市場(chǎng)前景。

社會(huì)可行性涉及：協(xié)議、責(zé)任、侵權(quán)、用戶(hù)組織的管理模式及規(guī)范，其他一

些技術(shù)人員經(jīng)常不了解的陷阱等。

?可行性研究有環(huán)節(jié)：擬定項(xiàng)目規(guī)模和目的、研究正在運(yùn)營(yíng)的系統(tǒng)、建立新系統(tǒng)

的高層邏輯模型、導(dǎo)出和評(píng)價(jià)各種方案、推薦可行的方案、編寫(xiě)可行性研究報(bào)

告。

?可行性研究?jī)?nèi)容：引言、可行性研究前提、對(duì)現(xiàn)有系統(tǒng)的分析、所建議系統(tǒng)的

技術(shù)可行性分析、所建議系統(tǒng)的經(jīng)濟(jì)可行性分析、社會(huì)因素可行性分析、其他

可供選擇方案、結(jié)論意見(jiàn)。

?成本一一效益分析一方面是估算將要開(kāi)發(fā)的系統(tǒng)的開(kāi)發(fā)成本，然后與也許取得

的效益進(jìn)行比較和權(quán)衡。效益分有形效益和無(wú)形效益兩種。有形效益可以用貨

幣的時(shí)間價(jià)值、投資回收期、純收入等指標(biāo)進(jìn)行度量；無(wú)形效益重要從性質(zhì)上、

心理上進(jìn)行衡量，很難直接進(jìn)行量的比較。

?投資回收期就是使累計(jì)的經(jīng)濟(jì)效益等于最初的投資費(fèi)用所需的時(shí)間。

?項(xiàng)目的純收入，也就是在整個(gè)生存周期之內(nèi)的累計(jì)經(jīng)濟(jì)效益（折合成現(xiàn)在值）

與投資之差。

?項(xiàng)目開(kāi)發(fā)計(jì)劃：項(xiàng)目概述；實(shí)行計(jì)劃；人員組織及分工；交付期限。

?在進(jìn)行可行性研究和軟件計(jì)劃以后，假如確認(rèn)開(kāi)發(fā)一個(gè)新的軟件系統(tǒng)是必要的

并且是也許的，那么就進(jìn)入需求分析階段。

?需求分析指，開(kāi)發(fā)人員要準(zhǔn)確理解用戶(hù)的規(guī)定，進(jìn)行細(xì)致的調(diào)查分析，將用

戶(hù)非形式的需求陳述轉(zhuǎn)化為完整的需求定義，再由需求定義轉(zhuǎn)換到相應(yīng)的形式

功能規(guī)約（需求規(guī)格說(shuō)明）的過(guò)程。

?難點(diǎn)：?jiǎn)栴}的復(fù)雜性；交流障礙；不完備性和不一致性；需求易變性。任務(wù)

是要準(zhǔn)確地定義新系統(tǒng)的目的，為了滿足用戶(hù)需要，回答系統(tǒng)必須“做什么”

的問(wèn)題。

本階段的工作：?jiǎn)栴}辨認(rèn)：功能需求；性能需求；環(huán)境需求；用戶(hù)界面需

分析與綜合：導(dǎo)出軟件的邏輯模型

編寫(xiě)文檔：需求規(guī)格說(shuō)明書(shū)：初步用戶(hù)使用手冊(cè)：確認(rèn)測(cè)試計(jì)劃：修改完善軟

件開(kāi)發(fā)計(jì)劃。

?結(jié)構(gòu)化分析（SA）是面向數(shù)據(jù)流進(jìn)行需求分析的方法。

SA方法運(yùn)用圖形等半形式化的描述方式表達(dá)需求，簡(jiǎn)明易懂，用它們形成需

求說(shuō)明書(shū)中的重要部分。

SA描述工具：

a數(shù)據(jù)流圖（DFD）描述的分解，即描述系統(tǒng)由哪幾部分組成，各部分之間有?什

么聯(lián)系等

?一數(shù)據(jù)流數(shù)據(jù)在系統(tǒng)內(nèi)傳播的途徑，因此由一組成分固定的數(shù)據(jù)項(xiàng)組

成。

。加工（又稱(chēng)數(shù)據(jù)解決）。對(duì)數(shù)據(jù)流進(jìn)行某些操作或變換。

=數(shù)據(jù)存儲(chǔ)又稱(chēng)文獻(xiàn)）指暫時(shí)保存的數(shù)據(jù)，它可以是數(shù)據(jù)庫(kù)文獻(xiàn)或任何形式

的數(shù)據(jù)組織

口數(shù)據(jù)的源點(diǎn)或終點(diǎn)是本軟件系統(tǒng)外部環(huán)境中的實(shí)體，統(tǒng)稱(chēng)外部實(shí)體，

b數(shù)據(jù)字典；DD”定義了數(shù)據(jù)流圖中每一個(gè)圖形元素。

c描述加工邏輯的結(jié)構(gòu)化語(yǔ)言，鑒定表、鑒定樹(shù)則具體描述數(shù)據(jù)流圖中不能被再

分解的每一個(gè)加工。

?數(shù)據(jù)字典（DD）就是用來(lái)定義數(shù)據(jù)流圖中的各個(gè)成分的具體含義的，他以一

種準(zhǔn)確的、無(wú)二義性的說(shuō)明方式為系統(tǒng)的分析、設(shè)計(jì)及維護(hù)提供了有關(guān)元素的

一致的定義和具體的描述。它和數(shù)據(jù)流圖共同構(gòu)成了系統(tǒng)的邏輯模型，是需求

規(guī)格說(shuō)明書(shū)的重要組成部分。

?DD四條目：數(shù)據(jù)流、數(shù)據(jù)項(xiàng)（組成數(shù)據(jù)流和數(shù)據(jù)存儲(chǔ)的最小元素）、數(shù)據(jù)存儲(chǔ)、

基本加工

?加工條目數(shù)據(jù)字典中的加工邏輯重要描述該加工“做什么”，即實(shí)現(xiàn)另工的策

略，而不是實(shí)現(xiàn)加工的細(xì)節(jié)，它描述如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加

工規(guī)則。

?加工邏輯也稱(chēng)為“小說(shuō)明”，描述加工邏輯一般用以下工具：結(jié)構(gòu)化語(yǔ)言、鑒

定表、鑒定樹(shù)。

?結(jié)構(gòu)化語(yǔ)言是介于自然語(yǔ)言和形式語(yǔ)言之間的一種半形式語(yǔ)言。它的結(jié)構(gòu)可提

成外層和內(nèi)層兩層：外層來(lái)描述控制結(jié)構(gòu)，采用順序、選擇、反復(fù)三種基本結(jié)

構(gòu)：內(nèi)層對(duì)于順序執(zhí)行和循環(huán)執(zhí)行的動(dòng)作，用結(jié)構(gòu)化語(yǔ)言描述。存在多個(gè)條件

復(fù)雜組合的判斷問(wèn)題，用鑒定表和鑒定樹(shù)

IDEFO：用來(lái)描述系統(tǒng)的功能活動(dòng)及其聯(lián)系，建立系統(tǒng)的功能模型。

IDEF1：用來(lái)描述系統(tǒng)的信息及其聯(lián)系，建立系統(tǒng)的信息模型。

1DEF2：用來(lái)進(jìn)行系統(tǒng)模擬，建立系統(tǒng)的動(dòng)態(tài)模型。

?建立功能模型的基本方法：1,擬定建模的范圍、觀點(diǎn)及目的3.建立頂層

圖A0圖

2..建立系統(tǒng)的內(nèi)外關(guān)系圖A-0圖4.建立低層次的圖形

?傳統(tǒng)的SA方法重要用于數(shù)據(jù)解決方面的問(wèn)題，重要工具DFD體現(xiàn)了系統(tǒng)“做

什么”的功能，但它僅是一個(gè)靜態(tài)模型，沒(méi)有反映解決的順序，即控制流程。

形式化方法是將需求規(guī)格說(shuō)明用形式規(guī)約語(yǔ)言來(lái)描述。典型的有基于模型的Z

語(yǔ)言及VDM開(kāi)發(fā)方法。

第3章

?1.設(shè)計(jì)軟件系統(tǒng)結(jié)構(gòu)（簡(jiǎn)稱(chēng)軟件結(jié)構(gòu)）采用某種設(shè)計(jì)方法，將一個(gè)復(fù)雜的系統(tǒng)

按功能劃提成模塊；擬定每個(gè)模塊的功能；擬定模塊之間的接口，即模塊之

間傳遞的信息；評(píng)吩模塊結(jié)構(gòu)的質(zhì)量。

軟件結(jié)構(gòu)設(shè)計(jì)是以模塊為基礎(chǔ)的，在需求分析階段，已經(jīng)把系統(tǒng)分解為層次

結(jié)構(gòu)。設(shè)計(jì)階段，以需求分析的結(jié)果為依據(jù)，從實(shí)現(xiàn)的角度進(jìn)一步劃分為模

塊，并組成模塊的層次結(jié)構(gòu)。

2.數(shù)據(jù)結(jié)構(gòu)及數(shù)據(jù)庫(kù)設(shè)計(jì)

數(shù)據(jù)庫(kù)的設(shè)計(jì)指數(shù)據(jù)存儲(chǔ)文獻(xiàn)的設(shè)計(jì)（概念設(shè)計(jì)、邏輯設(shè)計(jì)、物理設(shè)計(jì)）

數(shù)據(jù)庫(kù)的“概念設(shè)計(jì)”、“邏輯設(shè)計(jì)”分別相應(yīng)于系統(tǒng)開(kāi)發(fā)中的“需求分析”

與“概要設(shè)計(jì)”，而數(shù)據(jù)庫(kù)的“物理設(shè)計(jì)”與模塊的“具體設(shè)計(jì)”相相應(yīng)。

3.編寫(xiě)概要設(shè)計(jì)文檔（概要設(shè)計(jì)說(shuō)明書(shū)；數(shù)據(jù)庫(kù)設(shè)計(jì)說(shuō)明書(shū)；用戶(hù)手冊(cè)；修訂測(cè)

試計(jì)劃，對(duì)測(cè)試策略、方法、環(huán)節(jié)提出明確規(guī)定。）

4.評(píng)審：對(duì)設(shè)計(jì)部分是否完整地實(shí)現(xiàn)了需求中規(guī)定的功能、性能等規(guī)定，設(shè)計(jì)方

案的可行性，關(guān)鍵的解決及內(nèi)外部接口定義對(duì)的性、有效性，各部分之間的

一致性等等都一一進(jìn)行評(píng)審。

?模塊的基本屬性：接口：指模塊的輸入與輸出；功能：指模塊實(shí)現(xiàn)什么功

能；

邏輯：描述內(nèi)部如何實(shí)現(xiàn)規(guī)定的功能及所需的數(shù)據(jù)；

狀態(tài)：該模塊的運(yùn)營(yíng)環(huán)境，即模塊的調(diào)用與被調(diào)用關(guān)系。

功能、狀態(tài)與接口反映模塊的外部特性，邏輯反映它的內(nèi)部特性。

?模塊化是指解決一個(gè)復(fù)雜問(wèn)題時(shí)自頂向下逐層把軟件系統(tǒng)劃分為若干模塊的

過(guò)程。模塊完畢一個(gè)特定的子功能，所有的模塊按某種方法組裝起來(lái),

成為一個(gè)整體，完畢整個(gè)系統(tǒng)所規(guī)定的功能。

模塊化的依據(jù):開(kāi)發(fā)一個(gè)大而復(fù)雜的軟件系統(tǒng)，將它進(jìn)行適當(dāng)?shù)姆纸猓粌H可

減少其復(fù)雜性，還可減少開(kāi)發(fā)工作量，從而減少開(kāi)發(fā)成本，提高軟件生產(chǎn)率

?抽象是結(jié)識(shí)復(fù)雜現(xiàn)象過(guò)程中使用的思維工具，即抽出事物本質(zhì)的共同的特性而

暫不考慮它的細(xì)節(jié)，不考慮其他因素。

通過(guò)抽象，可以擬定組成軟件的過(guò)程實(shí)體。通過(guò)信息隱蔽，可以定義和實(shí)行對(duì)

模塊的過(guò)程細(xì)節(jié)和局部數(shù)據(jù)結(jié)構(gòu)的存取限制。

?信息隱蔽指在設(shè)計(jì)和擬定模塊時(shí)，使得一個(gè)模塊內(nèi)部包含的信息（過(guò)程或數(shù)

據(jù)），對(duì)丁不需要這些信息的其他模塊來(lái)說(shuō)，是不能訪問(wèn)的。

?模塊獨(dú)立性指每個(gè)模塊只完畢系統(tǒng)規(guī)定的獨(dú)立子功能，并且與其他模塊的聯(lián)系

最少且接口簡(jiǎn)樸，兩個(gè)定性的度量標(biāo)準(zhǔn)一一耦合性和內(nèi)聚性。

?耦合性也稱(chēng)塊間聯(lián)系。指軟件系統(tǒng)結(jié)構(gòu)中各模訣間互相聯(lián)系緊密限度的一種度

量。模塊之間聯(lián)系越緊密，其耦合性就越強(qiáng)，模塊的獨(dú)立性則越差。模塊間耦

合高低取決于模塊間接口的復(fù)雜性、調(diào)用的方式及傳遞的信息C

?無(wú)直接耦合數(shù)據(jù)耦合標(biāo)記耦合控制耦合公共耦合內(nèi)容耦合（低一一高）

1無(wú)直接耦合

2數(shù)據(jù)耦合指兩個(gè)模塊之間有調(diào)用關(guān)系，傳遞的是簡(jiǎn)樸的數(shù)據(jù)值，相稱(chēng)于高級(jí)語(yǔ)

言的值傳遞。

3標(biāo)記耦合指兩個(gè)模塊之間傳遞的是數(shù)據(jù)結(jié)構(gòu)，婦高級(jí)語(yǔ)言中的數(shù)組名、記錄名、

文獻(xiàn)名等這些名字即標(biāo)記，其實(shí)傳遞的是這個(gè)數(shù)據(jù)結(jié)構(gòu)的地址。

4控制耦合指一個(gè)模塊調(diào)用另一個(gè)模塊時(shí)，傳遞的是控制變量（如開(kāi)關(guān)、標(biāo)志等）,

被調(diào)模塊通過(guò)該控制變量的值有選擇地執(zhí)行塊內(nèi)某一功能。

5公共耦合指通過(guò)一個(gè)公共數(shù)據(jù)環(huán)境互相作用的那些模塊間的耦合。

公共耦合的復(fù)雜程序隨耦合模塊的個(gè)數(shù)增長(zhǎng)而二曾長(zhǎng)。

6內(nèi)容耦合：這是最高限度的耦合，也是最差的耦合。當(dāng)一個(gè)模塊直接使用另一

個(gè)模塊的內(nèi)部數(shù)據(jù)，或通過(guò)非正常入口而轉(zhuǎn)入另一個(gè)模塊內(nèi)部。

?內(nèi)聚性又稱(chēng)塊內(nèi)聯(lián)系。指模塊的功能強(qiáng)度的度量，即一個(gè)模塊內(nèi)部各個(gè)元素彼

此結(jié)合的緊密限度的度量。若一個(gè)模塊內(nèi)各元素（語(yǔ)名之間、程序段之間）聯(lián)

系的越緊密，則它的內(nèi)聚性就越高。

?偶爾內(nèi)聚邏輯內(nèi)聚時(shí)間內(nèi)聚通信內(nèi)聚順序內(nèi)聚功能內(nèi)聚（低一一高）

1偶爾內(nèi)聚指一個(gè)模塊內(nèi)的各解決元素之間沒(méi)有任何聯(lián)系。

2邏輯內(nèi)聚指模塊內(nèi)執(zhí)行幾個(gè)邏輯上相似的功能，通過(guò)參數(shù)擬定該模塊完畢哪一

個(gè)功能。

3時(shí)間內(nèi)聚：把需要同時(shí)執(zhí)行的動(dòng)作組合在一起形成的模塊為時(shí)間內(nèi)聚模塊。

4通信內(nèi)聚指模塊內(nèi)所有解決元素都在同一個(gè)數(shù)羽結(jié)構(gòu)上操作（有時(shí)稱(chēng)之為信息

內(nèi)聚），或者指各解決使用相同的輸入數(shù)據(jù)或者產(chǎn)生相同的輸出數(shù)據(jù)。

5順序內(nèi)聚指一個(gè)模塊中各個(gè)解決元素都密切相關(guān)于同一功能且必須順序執(zhí)行，

前一功能元素輸出就是下一功能元素的輸入。

6功能內(nèi)聚：這是最強(qiáng)的內(nèi)聚，指模塊內(nèi)所有元素共同完畢一個(gè)功能，缺一不可。

與其他模塊的耦合是最弱的.

?耦合性與內(nèi)聚性是模塊獨(dú)立性的兩個(gè)定性標(biāo)準(zhǔn)，將軟件系統(tǒng)劃分模塊時(shí)，盡量

做到高內(nèi)聚低耦合，提高模塊的獨(dú)立性，為設(shè)計(jì)高質(zhì)量的軟件結(jié)構(gòu)奠定基礎(chǔ)。

軟件結(jié)構(gòu)圖重要內(nèi)容有：模塊、模塊的控制關(guān)系；模塊間的信息傳遞、兩個(gè)附

加符號(hào)

?構(gòu)圖的形態(tài)特性：1深度指結(jié)構(gòu)圖控制的層次：2寬度指一層中最大的模塊個(gè)

數(shù)；3扇出指一個(gè)模塊直接下屬模塊的個(gè)數(shù)；4扇入指一個(gè)模塊直接上屬模塊

的個(gè)數(shù)。

?軟件結(jié)構(gòu)設(shè)計(jì)優(yōu)化準(zhǔn)則：

L劃分模塊時(shí)，盡量做到高內(nèi)聚，低耦合，保持模塊相對(duì)獨(dú)立性，并優(yōu)化初始

軟件結(jié)構(gòu)

a假如若干模塊之間耦合強(qiáng)度過(guò)高，每個(gè)模塊內(nèi)功能不復(fù)雜，可將它們合并，以

減少信息的傳遞和公共區(qū)的引用。

b若有多個(gè)相關(guān)模塊，應(yīng)對(duì)它們的功能進(jìn)行分析，消去反復(fù)功能。

2.一個(gè)模塊的作用范圍應(yīng)在其控制范圍這內(nèi)，且鑒定所在的模塊應(yīng)與受其影響

的模塊在層次上盡量靠近。

一個(gè)模塊的作用范圍指受該模塊內(nèi)一個(gè)鑒定影響的所有模塊的集合。一個(gè)模塊

的控制范圍指模塊自身以及其所有下屬模塊（直接或間接從屬于它的模塊）

的集合。

?結(jié)構(gòu)化設(shè)計(jì)SD面向數(shù)據(jù)流的設(shè)計(jì)是以需求分圻階段產(chǎn)生的數(shù)據(jù)流圖為基礎(chǔ)，

按一定的環(huán)節(jié)映射成軟件結(jié)構(gòu)，與結(jié)構(gòu)化分析SA銜接，構(gòu)成完整的結(jié)構(gòu)化分

析與設(shè)il技術(shù)

數(shù)據(jù)流圖分為變換型和事務(wù)型

變換型DFD由輸入、變換（或解決）、輸出組成

變換型DFD基本思想：取得數(shù)據(jù)、變換數(shù)據(jù)和給出數(shù)據(jù)

?面向數(shù)據(jù)流設(shè)計(jì)過(guò)程：

（1）精化DPD（2）擬定DFD類(lèi)型

（3）分解上層模塊，設(shè)計(jì)中下層模塊結(jié)構(gòu)

（4）根據(jù)優(yōu)化準(zhǔn)則對(duì)軟件結(jié)構(gòu)求精

（5）描述模塊功能、接口及全局?jǐn)?shù)據(jù)結(jié)構(gòu)

（6）復(fù)查，入錯(cuò)轉(zhuǎn)到2修善，否則進(jìn)入具體設(shè)計(jì)

?變換分析設(shè)計(jì):

（1）擬定DFD中的變換中心、邏輯輸入和邏輯輸出

（2）設(shè)計(jì)軟件結(jié)構(gòu)的頂層和第一層一一變換結(jié)構(gòu)

這一層有3中功能模塊：輸入、輸出和變換模塊

（3）設(shè)計(jì)中下層模塊

?綜合DFD的映射（既有變換流也有事務(wù)流）設(shè)計(jì)方法：

（1）擬定DFD整體上的類(lèi)型

（2）標(biāo)出局部的DFD范圍，擬定其類(lèi)型

（3）按整體的局部的DFD特性，設(shè)計(jì)出軟件結(jié)構(gòu)

分層DFD映射（主圖變換型和子圖事務(wù)型或相反）

第5章

?具體設(shè)計(jì)是軟件設(shè)計(jì)的第二階段，重要擬定每個(gè)模塊具體執(zhí)行過(guò)程，故也稱(chēng)

“過(guò)程設(shè)計(jì)”

?具體設(shè)計(jì)的基本任務(wù)：

1.為每個(gè)模塊進(jìn)行具體的算法設(shè)計(jì)；

2.為模塊內(nèi)的數(shù)據(jù)結(jié)構(gòu)進(jìn)行設(shè)計(jì)；

3.對(duì)數(shù)據(jù)庫(kù)進(jìn)行物理設(shè)計(jì)，即擬定數(shù)據(jù)庫(kù)的物理結(jié)構(gòu)；

4.其他設(shè)計(jì)（代碼設(shè)計(jì)、輸入輸出格式設(shè)計(jì)、人機(jī)對(duì)話設(shè)計(jì)）

5.編寫(xiě)具體設(shè)計(jì)說(shuō)明書(shū)6.評(píng)審

?解決過(guò)程設(shè)計(jì)中采用的典型方法是結(jié)構(gòu)化程序設(shè)計(jì)（SP）方法。具體設(shè)計(jì)的目

的不僅是邏輯上對(duì)的地實(shí)現(xiàn)每個(gè)模塊的功能，還應(yīng)使設(shè)計(jì)出的解決過(guò)程清楚易

讀。結(jié)構(gòu)化程序設(shè)計(jì)是實(shí)現(xiàn)該目的的關(guān)鍵技術(shù)之一，它指導(dǎo)人們用良好的思想

方法開(kāi)發(fā)易于理解、易于驗(yàn)證的程序。

?構(gòu)化程序設(shè)計(jì)方法的基本要點(diǎn)是：

1采用自頂向下、逐步求精的程序設(shè)計(jì)方法

2使用三種基本控制結(jié)構(gòu)構(gòu)造程序

任何程序都可由順序、選擇、反復(fù)三種基本控制結(jié)構(gòu)構(gòu)造。這三種基本結(jié)構(gòu)的

共同點(diǎn)是單入口、單出口。

3主程序員組的組織形式。

具體描述解決過(guò)程常用三種工具：圖形、表格和語(yǔ)言。

?程序流程圖又稱(chēng)為程序框圖，都應(yīng)由三種基本左制結(jié)構(gòu)順序組合和完整嵌套而

成，不能有互相交叉的情況，這樣的流程圖是結(jié)構(gòu)化的流程圖。

?程序流程圖優(yōu)點(diǎn)：直觀清楚、易于使用，是開(kāi)發(fā)者普遍采用的工具

缺陷：1.可以隨心所欲地畫(huà)控制流程線的流向，容易導(dǎo)致非結(jié)構(gòu)化的程序結(jié)構(gòu)

2.流程圖不易反映逐步求精的過(guò)程，往往反映的是最后的結(jié)果

3.不易表達(dá)數(shù)據(jù)結(jié)構(gòu)

?PAD圖指問(wèn)題分析圖，它是一種自左往右展開(kāi)的二維樹(shù)型結(jié)構(gòu)。控制流程為自

上而下、從左到右的執(zhí)行。由機(jī)器自動(dòng)通過(guò)走樹(shù)的辦法生成相應(yīng)的源代碼，大

大提高了軟件的生產(chǎn)率。

?PAD優(yōu)點(diǎn)：1..清楚的反映了程序的層次結(jié)構(gòu)2.支持逐步求精的設(shè)計(jì)方法，

左邊層次中的內(nèi)容可以抽象，然后由左到右逐步細(xì)化3.易讀易寫(xiě)，使

用方便

4.支持結(jié)構(gòu)化的程序設(shè)計(jì)原理5.可自動(dòng)生成程序

?過(guò)程設(shè)計(jì)語(yǔ)言（PDL）,也稱(chēng)程序描述語(yǔ)言，又稱(chēng)偽碼。它是一種用于描述模塊

算法設(shè)計(jì)和解決細(xì)節(jié)的語(yǔ)言。偽碼的結(jié)構(gòu)一般分為內(nèi)外兩層，外層語(yǔ)法應(yīng)符合

一般程序設(shè)計(jì)語(yǔ)言常用的語(yǔ)法規(guī)則，而內(nèi)層語(yǔ)法則用一些簡(jiǎn)樸的句子、短語(yǔ)和

通用的數(shù)學(xué)符號(hào)，來(lái)描述程序應(yīng)執(zhí)行的功能，具有嚴(yán)格的關(guān)鍵字外層語(yǔ)法，用

于定義控制結(jié)構(gòu)、數(shù)據(jù)結(jié)構(gòu)和模塊接口，而它表達(dá)實(shí)際操作和條件的內(nèi)層語(yǔ)語(yǔ)

法又是靈活自由的，使用自然語(yǔ)言的詞匯。

?PDL程序結(jié)構(gòu)：順序結(jié)構(gòu)、選擇結(jié)構(gòu)、反復(fù)結(jié)構(gòu)、出口結(jié)構(gòu)、模塊定義與調(diào)用、

模塊調(diào)用輸入、輸出

?JACKSON方法是面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)方法，70年代中期出了“面向數(shù)據(jù)結(jié)構(gòu)”

的設(shè)計(jì)方法，其中有代表性的是由英國(guó)M.JACKSON提出的JACKSON方法和由

法國(guó)人J.WARNIER提出的WARMER方法。

?JACKSON在JSP的基礎(chǔ)上擴(kuò)展成了一種系統(tǒng)的開(kāi)發(fā)方法，簡(jiǎn)稱(chēng)JSD。JSD重要以

活動(dòng)事件為中心，通過(guò)由一串活動(dòng)順序組合構(gòu)成的進(jìn)程，建立系統(tǒng)模型，最后

實(shí)現(xiàn)該模型。JSP方法定義了一組以數(shù)據(jù)結(jié)構(gòu)為指導(dǎo)的映射過(guò)程，它根據(jù)輸入、

輸出的數(shù)據(jù)結(jié)構(gòu)，按一定的規(guī)則映射成軟件的過(guò)程描述，即程序結(jié)構(gòu)，而不是

軟件的體系結(jié)構(gòu)，因此該方法合用于具體設(shè)計(jì)階段。

?JACKSON方法提供了自己的描述工具-----JACKSON結(jié)構(gòu)圖。無(wú)論數(shù)據(jù)結(jié)構(gòu)還

是程序結(jié)構(gòu)，都限于三種基本結(jié)構(gòu)（順序結(jié)構(gòu)、選擇結(jié)構(gòu)、反復(fù)結(jié)構(gòu)）及它們

的組合。

?JACKSON結(jié)構(gòu)圖的特點(diǎn)：

1能對(duì)結(jié)構(gòu)進(jìn)行自頂向下分解，因此可以表達(dá)層次結(jié)構(gòu)。

2結(jié)構(gòu)易讀，形象直觀。

3既能表達(dá)數(shù)據(jù)結(jié)構(gòu)也能表達(dá)程序結(jié)構(gòu)，且表達(dá)的是組成關(guān)系。

?JSP方法一般通過(guò)以下五個(gè)環(huán)節(jié)來(lái)完畢設(shè)計(jì)：

1分析并擬定輸入數(shù)據(jù)和輸出數(shù)據(jù)的邏輯結(jié)構(gòu)，并用JACKsou結(jié)構(gòu)圖表達(dá)這些

數(shù)據(jù)結(jié)構(gòu)。

2找出輸入數(shù)據(jù)結(jié)構(gòu)和輸出數(shù)據(jù)結(jié)構(gòu)中有相應(yīng)關(guān)系的數(shù)據(jù)單元。“相應(yīng)關(guān)系”

指這些數(shù)據(jù)單元在數(shù)據(jù)內(nèi)容上、數(shù)量上和順序上有直接的因果關(guān)系，對(duì)于反

復(fù)的數(shù)據(jù)單元，反復(fù)的順序和次數(shù)都相同才有相應(yīng)關(guān)系。

3按一定的規(guī)則由輸入、輸出的數(shù)據(jù)結(jié)構(gòu)導(dǎo)出程序結(jié)構(gòu)

4列出基本操作與條件，并把它們分派到程序結(jié)構(gòu)圖的適當(dāng)位置。

5用偽碼寫(xiě)出程序。

第6章

?源程序代碼：將具體設(shè)計(jì)得到的解決過(guò)程的描述轉(zhuǎn)換為基于某種計(jì)算機(jī)語(yǔ)言的

程序

?程序設(shè)計(jì)語(yǔ)言特性：

1心理特性：指影響程序員心理的語(yǔ)言性能，許多這類(lèi)特性是作為程序設(shè)計(jì)的結(jié)果

而出現(xiàn)

歧義性：有些語(yǔ)法規(guī)則容易使人用不同的方式來(lái)解釋語(yǔ)言，這就產(chǎn)生了心理上

的二義性。

簡(jiǎn)潔性：人們必須記住的語(yǔ)言成分的數(shù)量越多，簡(jiǎn)潔性越差。

局部性和順序性：局部性是指語(yǔ)言的聯(lián)想性，在編碼過(guò)程中，由語(yǔ)句組合成模

塊，由模塊組裝成系統(tǒng)結(jié)構(gòu)，并在組裝過(guò)程實(shí)現(xiàn)模塊的高內(nèi)聚，低耦合，使局

部性得到加強(qiáng)。

傳統(tǒng)性：傳統(tǒng)性容易影響人們學(xué)習(xí)新語(yǔ)種的積極性。

2工程特性：可移植性（指程序從一個(gè)計(jì)算機(jī)環(huán)境移植到另一個(gè)計(jì)算機(jī)環(huán)境的容易

限度）、

開(kāi)發(fā)工具的可運(yùn)用性、軟件的可重用性、可維護(hù)性

3技術(shù)特性

?程序設(shè)計(jì)語(yǔ)言：為開(kāi)發(fā)一個(gè)特定項(xiàng)目選擇程序設(shè)計(jì)語(yǔ)言時(shí)，必須從技術(shù)特性、

工程特性和心理特性?xún)悍矫婵紤]。

?考慮選用語(yǔ)言的因素有：

1項(xiàng)目的應(yīng)用領(lǐng)域：a科學(xué)工程計(jì)算（需要大量的標(biāo)準(zhǔn)庫(kù)函數(shù)，以便解決復(fù)雜

的數(shù)值計(jì)算，可供選用的語(yǔ)言有：FORTRANPascalCPL/1）b數(shù)據(jù)解決與數(shù)

據(jù)庫(kù)應(yīng)用（CoBoiSQL4GL）；實(shí)時(shí)解決（匯編語(yǔ)言Ada）；系統(tǒng)軟件（匯編語(yǔ)

言C語(yǔ)言Pascal語(yǔ)言和Ada語(yǔ)言）：人工智能（Lisp是一種函數(shù)型語(yǔ)言

Prolog是一種邏輯型語(yǔ)言）

2軟件開(kāi)發(fā)的方法：有時(shí)編程語(yǔ)言的選擇依賴(lài)于開(kāi)發(fā)的方法，假如要用快速原

形模型來(lái)開(kāi)發(fā)，規(guī)定能快速實(shí)現(xiàn)原形，宜采用4GL。假如是面向?qū)ο蠓椒ǎ?/p>

宜采用面向?qū)ο蟮恼Z(yǔ)言編程（C++JAVA）

3軟件執(zhí)行的環(huán)境4算法和數(shù)據(jù)結(jié)構(gòu)的復(fù)雜性5軟件開(kāi)發(fā)人員的知

識(shí)

?程序設(shè)計(jì)風(fēng)格指一個(gè)編制程序時(shí)所表現(xiàn)出來(lái)的特點(diǎn)、習(xí)慣、邏輯思想等。

語(yǔ)句構(gòu)造的原則是：簡(jiǎn)樸直接，不能為了追求效率而使代碼復(fù)雜化。

?效率指解決機(jī)時(shí)間和存儲(chǔ)空間的使用（解決時(shí)要注意）：

a效率是一個(gè)性能規(guī)定，目的在需求分析給出

b追求效率建立在不損害程序可讀性或可靠性基礎(chǔ)之上

c提高程序效率的主線途徑在于選擇良好的設(shè)計(jì)方法、良好的數(shù)據(jù)結(jié)構(gòu)與算法,

而不是靠編程時(shí)對(duì)程序語(yǔ)句做調(diào)整

第7章

?軟件測(cè)試的目的：

1.軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程；

2.一個(gè)好的測(cè)試用例可以發(fā)現(xiàn)至今尚未發(fā)現(xiàn)的錯(cuò)誤；

3.一個(gè)成功的測(cè)試是發(fā)現(xiàn)了至今尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試。

?測(cè)試階段的基本任務(wù)應(yīng)當(dāng)是根據(jù)軟件開(kāi)發(fā)各階段的文檔資料和程序的內(nèi)部結(jié)

構(gòu)，精心設(shè)計(jì)一組“高產(chǎn)”的測(cè)試用例，運(yùn)用這些實(shí)例執(zhí)行程序，找出軟件中

潛在的各種錯(cuò)誤和缺陷。

?軟件測(cè)試中，應(yīng)注意以下指導(dǎo)原則：

1.測(cè)試用例應(yīng)由輸入數(shù)據(jù)和預(yù)期的輸出數(shù)據(jù)兩部分組成

2.測(cè)試用例不僅選用合理的輸入數(shù)據(jù)，還要選擇不合理的輸入數(shù)據(jù)。這樣能

更多的發(fā)現(xiàn)錯(cuò)誤，提高程序的可靠性.對(duì)不合理的輸入數(shù)據(jù)，程序應(yīng)拒絕

接受，并給出相應(yīng)提醒。

3.除了檢查程序是否做了它該做的事，還檢查是否做了不應(yīng)當(dāng)做的事

4.應(yīng)制定測(cè)試計(jì)劃并嚴(yán)格執(zhí)行，排除隨意性

5.長(zhǎng)期保持測(cè)試用例

6.對(duì)發(fā)現(xiàn)錯(cuò)誤較多的程序段，應(yīng)進(jìn)行回歸測(cè)試

7.程序員避免測(cè)試自己的程序

?軟件測(cè)試方法一般分為兩大類(lèi)：動(dòng)態(tài)測(cè)試方法與靜態(tài)測(cè)試方法

靜態(tài)測(cè)試指被測(cè)試程序不在機(jī)器上運(yùn)營(yíng)，而是采用人工檢測(cè)和計(jì)算機(jī)輔助靜態(tài)

分析的手段對(duì)程序進(jìn)行檢測(cè)。

動(dòng)態(tài)測(cè)試指通過(guò)運(yùn)營(yíng)程序發(fā)現(xiàn)錯(cuò)誤，分為黑盒測(cè)試法和白盒測(cè)試法。

黑盒法：把被測(cè)試對(duì)象當(dāng)作一個(gè)黑盒子，測(cè)試人員完全不考慮程序的內(nèi)部結(jié)構(gòu)

和解決過(guò)程，只在軟件的接口處進(jìn)行測(cè)試，依據(jù)需求規(guī)格說(shuō)明書(shū)，檢查程序是

否滿足功能規(guī)定。區(qū)此，黑盒測(cè)試又稱(chēng)為功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試。

?黑盒測(cè)試重要測(cè)試以下錯(cuò)誤：

（1）是否有不對(duì)的或漏掉了的功能

（2）在接口上，能否對(duì)的的接受輸入數(shù)據(jù)，能否產(chǎn)生對(duì)的的輸入信息

（3）訪問(wèn)外部信息是否有錯(cuò)

（4）性能上是否滿足規(guī)定等

?白盒法：把測(cè)試對(duì)象看作一個(gè)打開(kāi)的盒子，測(cè)試人員須了解程序的內(nèi)部結(jié)構(gòu)和

解決過(guò)程，以檢查解決過(guò)程的細(xì)節(jié)為基礎(chǔ)，對(duì)程序中盡也許多的邏輯途徑進(jìn)行

測(cè)試，檢查內(nèi)部控制結(jié)構(gòu)和數(shù)據(jù)結(jié)構(gòu)是否有錯(cuò)，實(shí)際的運(yùn)營(yíng)狀態(tài)與預(yù)期的狀態(tài)

是否一致。

?黑盒法和白盒法都不能是測(cè)試達(dá)成徹底

?白盒技術(shù)：

由于白盒測(cè)試是結(jié)構(gòu)測(cè)試，所以被測(cè)對(duì)象基本上是源程序，以程序的內(nèi)部邏輯

為基礎(chǔ)設(shè)計(jì)測(cè)試用例。

1.邏輯覆蓋

a語(yǔ)句覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，使被測(cè)程序中的每個(gè)語(yǔ)句至少執(zhí)行一次,

語(yǔ)句覆蓋是比較弱的覆蓋標(biāo)準(zhǔn)。

b鑒定覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，使得被測(cè)程序中每個(gè)鑒定表達(dá)式至少獲

得一次“真”值和“假”值，從而使程序的每一個(gè)分支至少都通過(guò)一次，因此

鑒定覆蓋也稱(chēng)分支覆蓋。

C條件覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，使得鑒定表達(dá)式中每個(gè)條件的各種也許

的值至少出現(xiàn)一次。

d鑒定/條件覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，使得鑒定表達(dá)式中的每個(gè)條件的所

有也許取值至少出現(xiàn)一次，并使每個(gè)鑒定表達(dá)式所有也許的結(jié)果也至少出現(xiàn)次。

e條件組合覆蓋：比較強(qiáng)的覆蓋標(biāo)準(zhǔn)，它是指設(shè)計(jì)足夠的測(cè)試用例，使得每個(gè)

鑒定表達(dá)式中條件的各種也許的值的組合至少出現(xiàn)一次，滿足條件組合覆蓋的

測(cè)試一定滿足“鑒定覆蓋”、“條件覆蓋”和“鑒定/條件覆蓋”。

f途徑覆蓋：指設(shè)計(jì)足夠的測(cè)試用例，覆蓋被測(cè)程序中所有也許的途徑。語(yǔ)句

覆蓋發(fā)現(xiàn)錯(cuò)誤能力最弱。鑒定覆蓋包含了語(yǔ)句覆蓋，但它也許會(huì)使一些條件得

不到測(cè)試。

發(fā)現(xiàn)錯(cuò)誤能力：a一一f由弱到強(qiáng)

2.循環(huán)覆蓋

?黑盒技術(shù)（黑盒測(cè)試是功能測(cè)試）：

1等價(jià)類(lèi)劃分：它將輸入數(shù)據(jù)域按有效的或無(wú)效的（也稱(chēng)合理的或不合理的）劃

分為若干

個(gè)等價(jià)類(lèi)，測(cè)試每個(gè)等價(jià)類(lèi)的代表值就等于對(duì)該類(lèi)其他值的測(cè)試。

用等價(jià)類(lèi)劃分的方法設(shè)計(jì)測(cè)試用例的環(huán)節(jié)為：

2邊界值分析

使用邊界值分析方法設(shè)計(jì)測(cè)試用例時(shí)一般與等吩類(lèi)劃分結(jié)合起來(lái)。但它不是從

一個(gè)等價(jià)

類(lèi)中任選一個(gè)例子作為代表，而將測(cè)試邊界情況作為重點(diǎn)目的，選取正好等于、

剛剛大于或剛剛小于邊界值的測(cè)試數(shù)據(jù)。

3錯(cuò)誤推測(cè)：在測(cè)試程序時(shí)，人們也許根據(jù)經(jīng)驗(yàn)或直覺(jué)推測(cè)程序中也許存在的各

種錯(cuò)誤，從而有針對(duì)性地編寫(xiě)檢查這些錯(cuò)誤的測(cè)試用例，這就是錯(cuò)誤推測(cè)法。

4因果圖：因果圖能有效地檢測(cè)輸入條件的各種組合也許會(huì)引起的錯(cuò)誤。因果圖

的基本原理是通過(guò)畫(huà)因果圖，把用自然語(yǔ)言描述的功能說(shuō)明轉(zhuǎn)換為鑒定表，

最后為鑒定表的每一列設(shè)計(jì)一個(gè)測(cè)試用例。

5綜合策略

?軟件測(cè)試時(shí)需要三類(lèi)信息：

1軟件配置：指需求規(guī)格說(shuō)明書(shū)、設(shè)計(jì)說(shuō)明書(shū)、源程序等。

2測(cè)試配置：指測(cè)試方案、測(cè)試用例、測(cè)試驅(qū)動(dòng)程序等

3測(cè)試工具：指計(jì)算機(jī)輔助測(cè)試的有關(guān)工具。

?軟件測(cè)試的環(huán)節(jié)及與各開(kāi)發(fā)階段的關(guān)系

單元測(cè)試指對(duì)源程序中每一個(gè)程序單元進(jìn)行測(cè)試，檢查各個(gè)模塊是否正的確

現(xiàn)規(guī)定的功能，從而發(fā)現(xiàn)模塊在編碼中或算法中的錯(cuò)誤。該階段涉及編碼和

具體設(shè)計(jì)的文檔。各模塊通過(guò)單元測(cè)試后，將各模塊組裝起來(lái)進(jìn)行集成測(cè)試,

以檢查與設(shè)計(jì)相關(guān)的軟件體系結(jié)構(gòu)的有關(guān)問(wèn)題。確認(rèn)測(cè)試重要檢查己實(shí)現(xiàn)的

軟件是否滿足需求規(guī)格說(shuō)明書(shū)中擬定了的各種需求。系統(tǒng)測(cè)試指把已確認(rèn)的

軟件與其他系統(tǒng)元素結(jié)合在一起進(jìn)行測(cè)試。

單元測(cè)試重要針對(duì)模塊的以下五個(gè)基本特性進(jìn)行測(cè)試：模塊接口、局部數(shù)據(jù)

結(jié)構(gòu)、重要的執(zhí)行途徑、錯(cuò)誤解決、邊界條件。

?在單元測(cè)試時(shí)，需要為被測(cè)模塊設(shè)計(jì)驅(qū)動(dòng)模塊和樁模塊。

?驅(qū)動(dòng)模塊的作用是用來(lái)模擬被測(cè)模塊的上級(jí)調(diào)用模塊，它只完畢接受測(cè)試數(shù)

據(jù)，以上

模塊調(diào)用被測(cè)模塊的格式驅(qū)動(dòng)被測(cè)模塊，接受被測(cè)模塊的測(cè)試結(jié)果并輸出。

樁模塊用來(lái)代替被測(cè)試模塊所調(diào)用的模塊.它的作用是返網(wǎng)被測(cè)試模塊所需的

信息。

集成測(cè)試是指在單元測(cè)試的基礎(chǔ)上，將所有模決按照設(shè)計(jì)規(guī)定組裝成一個(gè)完整

的系統(tǒng)

行的測(cè)試，故也稱(chēng)組裝測(cè)試或聯(lián)合測(cè)試。

?集成測(cè)試的方法重要有兩種：非漸增式測(cè)試和漸增式測(cè)試。

漸增式測(cè)試有以下兩種不同的組裝模塊的方法：自頂向下結(jié)合（深度優(yōu)先策略、

寬度優(yōu)先策略）；自底向上結(jié)合

確認(rèn)測(cè)試又稱(chēng)有效性測(cè)試。它的任務(wù)是檢查軟件的功能與性能是否與需求規(guī)格

說(shuō)明書(shū)中擬定的指標(biāo)相符合，確認(rèn)測(cè)試階段有兩項(xiàng)工作：進(jìn)行確認(rèn)測(cè)試與軟件

配置審查。

a確認(rèn)測(cè)試一般是在模擬環(huán)境下運(yùn)用黑盒測(cè)試方法，由專(zhuān)門(mén)測(cè)試人員和用戶(hù)參與

的測(cè)試。

b軟件配置審查的任務(wù)是檢查軟件的所有文檔資料的完整性、對(duì)的性。如發(fā)現(xiàn)漏

掉和錯(cuò)

應(yīng)補(bǔ)充和改正

?軟件測(cè)試的目的是盡也許多地發(fā)現(xiàn)程序中的錯(cuò)誤，而調(diào)試則是在進(jìn)行了成功

的測(cè)試之后才開(kāi)始的工作，因此調(diào)試也稱(chēng)為糾錯(cuò)。

?調(diào)試技術(shù)：1.簡(jiǎn)樸的調(diào)試方法2.歸納法調(diào)試3.演繹法調(diào)試4.回溯

法調(diào)試

第8章

?軟件維護(hù)的內(nèi)容有四種：校正性維護(hù)，適應(yīng)性維護(hù)，完善性維護(hù)和防止性維護(hù)。

校正性維護(hù)：為了辨認(rèn)和糾正錯(cuò)誤，修改軟件性能上的缺陷，應(yīng)進(jìn)行擬定利修

改錯(cuò)誤的過(guò)程，這個(gè)過(guò)程就稱(chēng)為校正性維護(hù)。

適應(yīng)性維護(hù)：為了使應(yīng)用軟件適應(yīng)硬件和軟件環(huán)境的變化而修改軟件的過(guò)程稱(chēng)

為適應(yīng)性維護(hù)。

完善性維護(hù)：增長(zhǎng)軟件功能、增強(qiáng)軟件性能、亮高軟件運(yùn)營(yíng)效率而進(jìn)行的維護(hù)

活動(dòng)稱(chēng)為完善性維護(hù)。

防止性維護(hù)：為了提高軟件的可維護(hù)性和可靠性而對(duì)軟件進(jìn)行的修改稱(chēng)為防止

性維護(hù)。

維護(hù)的特點(diǎn)：非結(jié)構(gòu)化維護(hù)和結(jié)構(gòu)化維護(hù)

維護(hù)的流程：制定維護(hù)申請(qǐng)報(bào)告、審查申請(qǐng)報(bào)告并批準(zhǔn)、進(jìn)行維護(hù)并做具體記

錄、覆審

?維護(hù)技術(shù)有兩類(lèi)：面向維護(hù)的技術(shù)和維護(hù)支援技術(shù)

維護(hù)的副作用：編碼副作用、數(shù)據(jù)副作用、文檔副作用

軟件可維護(hù)性的定義：軟件可以被理解、校正、適應(yīng)及增強(qiáng)功能的容易限度。

軟件的可維護(hù)性、可使用性、可靠性是衡量軟件質(zhì)量的幾個(gè)重要特性。

?軟件的可維護(hù)性可用下面七個(gè)質(zhì)量特性可來(lái)衡量，即可理解性、可測(cè)試性、可

修改性、可靠性、可移植性、可使用性和效率。對(duì)不同類(lèi)型的維護(hù)，這七種特

性的側(cè)重點(diǎn)也不相同，

?提高可維護(hù)性的方法：建立明確的軟件質(zhì)量目的；運(yùn)用先進(jìn)的軟件開(kāi)發(fā)技術(shù)和

工具；建立明確的質(zhì)量保證工作；選擇可維護(hù)的程序設(shè)計(jì)語(yǔ)言；改善程序文檔。

為了保證可維護(hù)性，以下四類(lèi)檢查是非常有用的：在檢查點(diǎn)進(jìn)行檢查；驗(yàn)收檢

查；周期性的維護(hù)檢查；對(duì)軟件包的檢查。

第9章

?傳統(tǒng)的瀑布模型本質(zhì)上是一種線性順序模型，各階段之間存在著嚴(yán)格的順序性

和依賴(lài)性，特別強(qiáng)調(diào)預(yù)先定義需求的重要性

瀑布模型的局限性：1.需求是可變的2.需求是模糊的3.用戶(hù)和開(kāi)發(fā)者難于溝

通

瀑布模型屬于整體開(kāi)發(fā)模型，它規(guī)定在開(kāi)始下一個(gè)階段的工作之前，必須完畢前

階段的所有細(xì)節(jié)。而增量模型屬丁非整體開(kāi)發(fā)模型，它推遲某些階段或吁有階

段中的細(xì)節(jié)，從而較早的產(chǎn)生工作軟件。

?根據(jù)增量的方式和形式的不同，分為漸增模型和原型模型。

漸增模型是瀑布模型的變種，有兩類(lèi)漸增模型：

1增量構(gòu)造模型：它在瀑布模型基礎(chǔ)上，對(duì)一些階段進(jìn)行整體開(kāi)發(fā)，對(duì)另一些階

段進(jìn)行增

量開(kāi)發(fā)。前面的開(kāi)發(fā)階段按瀑布模型進(jìn)行整體開(kāi)發(fā)，后面的開(kāi)發(fā)階段按增量方

式開(kāi)發(fā)。

2演化提交模型：它在瀑布模型的基礎(chǔ)上，所有階段都進(jìn)行增量開(kāi)發(fā)，也就是說(shuō)

不僅是增量開(kāi)發(fā)，也是增量提交。

?原形模型又稱(chēng)快速原形模型，它是增量模型的另一種形式。

?根據(jù)原型的不同作用，有三類(lèi)原型模型：

1探索型原型：這種類(lèi)型的原型模型是把原型用于開(kāi)發(fā)的需求分析階段，目的

是要弄清用戶(hù)的需求，擬定所盼望的特性，并探索各種方案的可行性。它重

要針對(duì)開(kāi)發(fā)目的模糊，用戶(hù)與開(kāi)發(fā)都對(duì)項(xiàng)目都缺少經(jīng)驗(yàn)的情況，通過(guò)對(duì)原型

的開(kāi)發(fā)來(lái)明確用戶(hù)的需求

2實(shí)驗(yàn)型原型：重要用于設(shè)計(jì)階段，考核算現(xiàn)方案是否合適，能否實(shí)現(xiàn)。

3演化型原型：重要用于及早向用戶(hù)提交一個(gè)原型系統(tǒng)，該原型系統(tǒng)或者包含

系統(tǒng)的框架，或者包含系統(tǒng)的重要功能，在得到用戶(hù)的認(rèn)可后，將原型系統(tǒng)

不斷擴(kuò)充演變?yōu)樽罱K的軟件系統(tǒng)。它將原型的思想擴(kuò)展到軟件開(kāi)發(fā)的全過(guò)

程。

第10章

?傳統(tǒng)軟件方法存在的問(wèn)題：1.軟件重用性2.軟件可維護(hù)性3.開(kāi)發(fā)出的軟件不

能滿足用戶(hù)需要

對(duì)象具有狀態(tài)。一個(gè)對(duì)象用數(shù)據(jù)值來(lái)描述它的狀態(tài)。

對(duì)象尚有操作，用于改變對(duì)象的狀態(tài)，對(duì)象及其操作就是對(duì)象的行為。

對(duì)象實(shí)現(xiàn)了數(shù)據(jù)和操作的結(jié)合，使數(shù)據(jù)和操作封裝于對(duì)象的統(tǒng)一體中。

類(lèi)具有屬性，它是對(duì)象的狀態(tài)的抽象，用數(shù)據(jù)結(jié)構(gòu)來(lái)描述類(lèi)的屬性。

類(lèi)具有操作，它是對(duì)象的行為的抽象，用操作名和實(shí)現(xiàn)該操作的方法來(lái)描述。

?對(duì)象之間進(jìn)行通信的構(gòu)造叫做消息

類(lèi)的實(shí)現(xiàn)是核心問(wèn)題

類(lèi)中操作的實(shí)現(xiàn)過(guò)程叫做方法，一個(gè)方法有方法名、參數(shù)、方法體。當(dāng)一個(gè)對(duì)

象接受一條消息后，它所包含的方法決定對(duì)象如何動(dòng)作。

?在客觀世界中這些類(lèi)之間有一定的結(jié)構(gòu)關(guān)系。通常有兩種重要的結(jié)構(gòu)關(guān)系，即

一般一一具體結(jié)構(gòu)關(guān)系，整體一一部分結(jié)構(gòu)關(guān)系。

一般一一具體結(jié)構(gòu)稱(chēng)為分類(lèi)結(jié)構(gòu)，也可以說(shuō)是“或”關(guān)系，或者是“isa”關(guān)

系。

整體一一部分結(jié)構(gòu)稱(chēng)為組裝結(jié)構(gòu)，它們之間的關(guān)系是一種“與”關(guān)系，或者是

“hasa”關(guān)系。

在類(lèi)的層次結(jié)構(gòu)中，通常上層類(lèi)稱(chēng)為父類(lèi)或超類(lèi)，下層類(lèi)稱(chēng)為子類(lèi)。

面向?qū)ο蟮奶匦裕簩?duì)象惟一性；分類(lèi)性；繼承性；多態(tài)性（多形性）。

繼承性：子類(lèi)只繼承一個(gè)父類(lèi)的數(shù)據(jù)結(jié)構(gòu)方法，則稱(chēng)為單重繼承。

子類(lèi)繼承了多個(gè)父類(lèi)的數(shù)據(jù)結(jié)構(gòu)和方法，則稱(chēng)為多重繼承。

?具有相同或相似性質(zhì)的對(duì)象的抽象就是類(lèi)。因此，對(duì)象的抽象是類(lèi)，類(lèi)的具體

化就是對(duì)象，也可以說(shuō)類(lèi)的實(shí)例是對(duì)象。

?面向?qū)ο蟮囊兀?/p>

1抽象：是指強(qiáng)調(diào)實(shí)體的本質(zhì)、內(nèi)在的屬性，忽略一些無(wú)關(guān)緊要的屬性。類(lèi)實(shí)現(xiàn)

了對(duì)象的數(shù)據(jù)（即狀態(tài)）和行為的抽象，它是對(duì)象的共性的抽象。

2封裝性：是指所有軟件部件內(nèi)部都有明確的范圍以及清楚的外部邊界。

3共享性（3個(gè)級(jí)別）：面向?qū)ο蠹夹g(shù)在不同級(jí)別上促進(jìn)了共享。同一個(gè)類(lèi)中的共

享、在同一個(gè)應(yīng)用中共享、在不同應(yīng)用中的共享。

?面向?qū)ο箝_(kāi)發(fā)方法有Coad方法、Rccch方法、OMT方法和Umi方法

Umi語(yǔ)言不公統(tǒng)一了booch方法、omt方法、oose方法的表達(dá)方法，并且對(duì)其

作了進(jìn)一步的發(fā)展，最終統(tǒng)一為大眾所接受的標(biāo)準(zhǔn)建模語(yǔ)言。

?對(duì)象模型表達(dá)了靜態(tài)的、結(jié)構(gòu)化的系統(tǒng)數(shù)據(jù)性質(zhì)，描述了系統(tǒng)的靜態(tài)結(jié)構(gòu)，它

是從客觀世界實(shí)體的對(duì)象關(guān)系角度來(lái)描述。

?屬性指的是類(lèi)中對(duì)象所具有的性質(zhì)（數(shù)據(jù)值）。不同對(duì)象的同一屬性可以具有

相同或不同的屬性值。類(lèi)中的各屬性名是唯一的。

操作是類(lèi)中對(duì)象所使用的一種功能或變換。類(lèi)中的各對(duì)象可以共享操作。

?方法是類(lèi)的操作的實(shí)現(xiàn)環(huán)節(jié)。

?鏈表達(dá)對(duì)象間的物理與概念聯(lián)結(jié)，關(guān)聯(lián)表達(dá)類(lèi)之間的一種關(guān)系，就是一些也許

的鏈的集合，

鏈?zhǔn)顷P(guān)聯(lián)的實(shí)例，關(guān)聯(lián)是鏈的抽象。兩個(gè)類(lèi)之間的關(guān)聯(lián)稱(chēng)為二元關(guān)聯(lián)，三個(gè)類(lèi)

之間的關(guān)聯(lián)稱(chēng)為三元關(guān)聯(lián)。

?類(lèi)的層次結(jié)構(gòu)：

1聚集關(guān)系。聚集是i種“整體一一部分”關(guān)系。在這種關(guān)系中，有整體類(lèi)和部

分類(lèi)之分。聚集最重要的性質(zhì)是傳遞性，也具有逆對(duì)性。

2一般化關(guān)系。是在保存對(duì)象差異的同時(shí)共享對(duì)象相似性的一種高度抽象方法。

它是“一般一一具體”的關(guān)系，一般化類(lèi)乂稱(chēng)父類(lèi)，具體類(lèi)乂稱(chēng)子類(lèi)。

?繼承有單重繼承和多重繼承。單重繼承指的是子類(lèi)只有一個(gè)父親，在一個(gè)類(lèi)層

次結(jié)構(gòu)

若只有單重繼承，則該類(lèi)層次結(jié)構(gòu)是樹(shù)型層次結(jié)構(gòu)。多重繼承指的是子類(lèi)繼

承了多個(gè)父類(lèi)的性質(zhì)，在一個(gè)類(lèi)層次結(jié)構(gòu)中，若有多重繼承，則該類(lèi)層次結(jié)

構(gòu)是網(wǎng)狀層次結(jié)構(gòu)。

對(duì)象模型：模板是類(lèi)、關(guān)聯(lián)、一般化結(jié)構(gòu)的邏輯結(jié)構(gòu)組成

對(duì)象模型是由一個(gè)或若干模板組成

?動(dòng)態(tài)模型是與時(shí)間和變化有關(guān)的系統(tǒng)性質(zhì)。該模型描述了系統(tǒng)的控制結(jié)構(gòu)，它

表達(dá)了瞬時(shí)的、行為化的系統(tǒng)控制性質(zhì)，它關(guān)心的是系統(tǒng)的控制，操作的執(zhí)行

順序，它從對(duì)象的事件和狀態(tài)的角度出發(fā)，表現(xiàn)了對(duì)象的互相行為。該模型描

述的系統(tǒng)懺屬性是觸發(fā)事件、事件序歹h狀態(tài)、事件與狀態(tài)的組織。使用狀態(tài)圖

作為描述工具。它涉及到事件、狀態(tài)、操作等重要概念

現(xiàn)實(shí)世界中，各對(duì)象之間互相觸發(fā)，一個(gè)觸發(fā)行為就是一個(gè)事件

?狀態(tài)是對(duì)象屬性值的抽象，狀態(tài)指明了對(duì)象對(duì)輸入事件的響應(yīng)。

狀態(tài)圖反映了狀態(tài)與事件的關(guān)系，狀態(tài)圖擬定了由事件序列引起的狀態(tài)序列。

活動(dòng)是一種有時(shí)間間隔的操作，它是依附于狀態(tài)的操作。

動(dòng)作是一種瞬時(shí)操作，它是與事件聯(lián)系在一起的操作。

功能模型描述了系統(tǒng)的所有計(jì)算。功能模型指出發(fā)生了什么，動(dòng)態(tài)模型擬定什

么時(shí)候發(fā)生，而對(duì)象模型擬定發(fā)生的客體。功能模型由多張數(shù)據(jù)流圖組成。

數(shù)據(jù)流圖中包具有解決、數(shù)據(jù)流、動(dòng)作對(duì)象和數(shù)據(jù)存儲(chǔ)對(duì)象。

?分析模型有三種用途：用來(lái)明確問(wèn)題需求、為用戶(hù)和開(kāi)發(fā)人員提供明確需求、

為用戶(hù)和開(kāi)發(fā)人員提供一個(gè)協(xié)商的基礎(chǔ)，作為后繼的設(shè)計(jì)和實(shí)現(xiàn)的框架

?面向?qū)ο笤O(shè)計(jì)（00D）是把分析階段得到的需求轉(zhuǎn)變成符合成本和質(zhì)量規(guī)定的、

抽象的系統(tǒng)實(shí)現(xiàn)方案的過(guò)程

?面向?qū)ο笤O(shè)計(jì)的準(zhǔn)則：模型化；抽象；信息隱蔽；低耦合；高內(nèi)聚（操作內(nèi)聚、

類(lèi)內(nèi)聚、一般一一具體內(nèi)聚）

在面向?qū)ο蠓椒ㄖ校畔㈦[蔽通過(guò)對(duì)象的封裝性來(lái)實(shí)現(xiàn)。類(lèi)結(jié)構(gòu)分離了與實(shí)現(xiàn),

從而支持了信息隱蔽。

?面向?qū)ο笤O(shè)計(jì)的啟發(fā)規(guī)則：

1.設(shè)“結(jié)果應(yīng)當(dāng)清楚易懂2.一般一一具體結(jié)構(gòu)的深度應(yīng)適當(dāng)3.設(shè)計(jì)簡(jiǎn)

樸的類(lèi)

4.使用簡(jiǎn)樸的協(xié)議5.使用簡(jiǎn)樸的操作6.把設(shè)計(jì)變動(dòng)減至最小

第11章

?軟件質(zhì)量定義：

1與所擬定的功能和性能需求的一致性。）

2與所成文的開(kāi)發(fā)標(biāo)準(zhǔn)的一致性。

3與所有專(zhuān)業(yè)開(kāi)發(fā)的軟件所盼望的隱含特性的一致性。

軟件質(zhì)量保證的策略：a以檢測(cè)為重b以過(guò)程管理為重c以新產(chǎn)品開(kāi)發(fā)為重

?軟件質(zhì)量保證的任務(wù)：1對(duì)的定義用戶(hù)規(guī)定2技術(shù)方法的應(yīng)用

3提高軟件開(kāi)發(fā)的工程能力4軟件的復(fù)用5發(fā)揮每個(gè)開(kāi)發(fā)者的能力

6組織外部力量協(xié)作7排除無(wú)效勞動(dòng)8提高計(jì)劃和管理質(zhì)量。

?針對(duì)面向軟件產(chǎn)品的運(yùn)營(yíng)、修正、轉(zhuǎn)移，軟件質(zhì)量概念涉及11個(gè)特性面向

軟件產(chǎn)品操作）對(duì)的性、可靠性、效率、完整性、可性。（面向軟件產(chǎn)品修改）

可維護(hù)性、可測(cè)試性、適應(yīng)性。（面向軟件產(chǎn)品適應(yīng)）可移植性、可重用性、

可互操作性

ISO三層次中的第一層為質(zhì)量特性，第二層為質(zhì)量子特性、第三層為度量。

高層（SQRC）軟件質(zhì)量需求評(píng)價(jià)準(zhǔn)則

中層（SQDC）軟件質(zhì)量設(shè)計(jì)評(píng)價(jià)準(zhǔn)則

低層（SQMC）軟件質(zhì)量度量評(píng)價(jià)準(zhǔn)則

?通常，把“質(zhì)量”理