軟件工程導(dǎo)論_10

1、軟件工程導(dǎo)論陳丹琪災(zāi)害信息工程系復(fù) 習(xí)n面向?qū)ο蟮模悾┰O(shè)計(jì)原則面向?qū)ο蟮模悾┰O(shè)計(jì)原則里氏替換原則（里氏替換原則（Liskov Substitution Pinciple)最少知識(shí)原則（最少知識(shí)原則（ Least Knowledge Principle）合成合成/聚合復(fù)用原則（聚合復(fù)用原則（Composite/Aggregate Reuse Principle）單一職責(zé)原則（單一職責(zé)原則（Single Resposibility Principle）開(kāi)放開(kāi)放-封閉原則（封閉原則（Open-Closed Principle）依賴倒置原則（依賴倒置原則（Dependence Inversion

2、Principle）接口隔離原則（接口隔離原則（Interface Segregation Principle）子類應(yīng)當(dāng)能完全替代其父類，并出子類應(yīng)當(dāng)能完全替代其父類，并出現(xiàn)在父類能夠出現(xiàn)的任何地方?，F(xiàn)在父類能夠出現(xiàn)的任何地方。子類盡量不要重寫(xiě)或重載父類的方子類盡量不要重寫(xiě)或重載父類的方法。法。一個(gè)軟件實(shí)體應(yīng)當(dāng)盡可能少的一個(gè)軟件實(shí)體應(yīng)當(dāng)盡可能少的與其他實(shí)體發(fā)生相互作用。與其他實(shí)體發(fā)生相互作用。一個(gè)對(duì)象應(yīng)該對(duì)其他對(duì)象保持一個(gè)對(duì)象應(yīng)該對(duì)其他對(duì)象保持最少的了解最少的了解盡量降低類與盡量降低類與類之間的耦合。類之間的耦合。 盡量使用對(duì)象組合，而不是繼盡量使用對(duì)象組合，而不是繼承來(lái)達(dá)到復(fù)用的目的。承來(lái)達(dá)

3、到復(fù)用的目的。組合組合/ /聚合可以使系統(tǒng)更加靈活，聚合可以使系統(tǒng)更加靈活，類與類之間的耦合度降低，一個(gè)類與類之間的耦合度降低，一個(gè)類的變化對(duì)其他類造成的影響相類的變化對(duì)其他類造成的影響相對(duì)較少，因此一般首選使用組合對(duì)較少，因此一般首選使用組合/ /聚合來(lái)實(shí)現(xiàn)復(fù)用。聚合來(lái)實(shí)現(xiàn)復(fù)用。一個(gè)類應(yīng)該僅有一個(gè)一個(gè)類應(yīng)該僅有一個(gè)職責(zé)職責(zé)。OOD的實(shí)質(zhì)，就是合理的進(jìn)行的實(shí)質(zhì)，就是合理的進(jìn)行類的職責(zé)分配類的職責(zé)分配。如果一個(gè)類承如果一個(gè)類承擔(dān)的職責(zé)過(guò)多，那么這些職責(zé)擔(dān)的職責(zé)過(guò)多，那么這些職責(zé)就相互依賴，一個(gè)職責(zé)的變化就相互依賴，一個(gè)職責(zé)的變化可能會(huì)影響另一個(gè)職責(zé)的履行?？赡軙?huì)影響另一個(gè)職責(zé)的履行。對(duì)于擴(kuò)展是開(kāi)

4、放的，對(duì)于修改對(duì)于擴(kuò)展是開(kāi)放的，對(duì)于修改是封閉的。是封閉的。OCP原則的關(guān)鍵是原則的關(guān)鍵是“抽象抽象”；多態(tài)保證了擴(kuò)展的開(kāi)放性；開(kāi)多態(tài)保證了擴(kuò)展的開(kāi)放性；開(kāi)放意味著實(shí)現(xiàn)是可替換的。放意味著實(shí)現(xiàn)是可替換的。高層模塊不應(yīng)該依賴于低層模高層模塊不應(yīng)該依賴于低層模塊，二者都應(yīng)該依賴于抽象，塊，二者都應(yīng)該依賴于抽象，即細(xì)節(jié)應(yīng)該依賴于抽象。即細(xì)節(jié)應(yīng)該依賴于抽象。模塊都應(yīng)面向接口編程，而不模塊都應(yīng)面向接口編程，而不是依賴于具體實(shí)現(xiàn)。此原則的是依賴于具體實(shí)現(xiàn)。此原則的核心是核心是“抽象抽象”和和“間接間接”，抽象的穩(wěn)定性決定了系統(tǒng)的穩(wěn)抽象的穩(wěn)定性決定了系統(tǒng)的穩(wěn)定性。定性。不應(yīng)該強(qiáng)迫客戶依賴于它們不用不應(yīng)該強(qiáng)迫

5、客戶依賴于它們不用的方法。的方法。通過(guò)把胖類的接口分解為多個(gè)特通過(guò)把胖類的接口分解為多個(gè)特定于客戶程序的接口，然后胖類定于客戶程序的接口，然后胖類繼承這些接口，實(shí)現(xiàn)它們。這樣繼承這些接口，實(shí)現(xiàn)它們。這樣可以解除這種耦合關(guān)系?？梢越獬@種耦合關(guān)系。作 業(yè)n一款游戲中有各種鳥(niǎo)類，有人一款游戲中有各種鳥(niǎo)類，有人設(shè)計(jì)了如圖的繼承關(guān)系。其中，設(shè)計(jì)了如圖的繼承關(guān)系。其中，鴿子和老鷹所要顯示的行為不鴿子和老鷹所要顯示的行為不同，在父類中只提供了一個(gè)接同，在父類中只提供了一個(gè)接口，子類給出具體實(shí)現(xiàn)。而它口，子類給出具體實(shí)現(xiàn)。而它們都會(huì)飛，沒(méi)有不同，在父類們都會(huì)飛，沒(méi)有不同，在父類中設(shè)定了中設(shè)定了“飛飛”操作，

6、通過(guò)繼操作，通過(guò)繼承，子類重用了父類代碼，提承，子類重用了父類代碼，提高了可維護(hù)性。如果現(xiàn)在要把高了可維護(hù)性。如果現(xiàn)在要把企鵝也作為鳥(niǎo)類的一個(gè)子類，企鵝也作為鳥(niǎo)類的一個(gè)子類，這個(gè)設(shè)計(jì)是否合理？若不合理，這個(gè)設(shè)計(jì)是否合理？若不合理，應(yīng)如何修改？試說(shuō)明你的設(shè)計(jì)應(yīng)如何修改？試說(shuō)明你的設(shè)計(jì)符合什么設(shè)計(jì)原則。符合什么設(shè)計(jì)原則。多態(tài)，父類給出接口，多態(tài)，父類給出接口，子類具體實(shí)現(xiàn)。子類具體實(shí)現(xiàn)。行為和種類易變行為和種類易變封裝變化點(diǎn)：封裝變化點(diǎn)：滿足合成滿足合成/聚合復(fù)用原則聚合復(fù)用原則復(fù) 習(xí)n按照在軟件生命周期全過(guò)程中應(yīng)完成的任務(wù)的性按照在軟件生命周期全過(guò)程中應(yīng)完成的任務(wù)的性質(zhì)，可以把軟件生命周期劃分成

7、問(wèn)題定義、可行質(zhì)，可以把軟件生命周期劃分成問(wèn)題定義、可行性研究、需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)、編碼性研究、需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)、編碼和單元測(cè)試、綜合測(cè)試以及維護(hù)等和單元測(cè)試、綜合測(cè)試以及維護(hù)等8 8個(gè)階段。個(gè)階段。系統(tǒng)分析系統(tǒng)分析系統(tǒng)設(shè)計(jì)系統(tǒng)設(shè)計(jì)系統(tǒng)實(shí)現(xiàn)系統(tǒng)實(shí)現(xiàn)本節(jié)課內(nèi)容n第七章實(shí)現(xiàn)第七章實(shí)現(xiàn) 7.17.1、編碼、編碼7.27.2、軟件測(cè)試基礎(chǔ)、軟件測(cè)試基礎(chǔ)7.37.3、單元測(cè)試、單元測(cè)試7.47.4、集成測(cè)試、集成測(cè)試7.57.5、確認(rèn)測(cè)試、確認(rèn)測(cè)試7.67.6、白盒測(cè)試技術(shù)、白盒測(cè)試技術(shù)7.77.7、黑盒測(cè)試技術(shù)、黑盒測(cè)試技術(shù)7.87.8、調(diào)試、調(diào)試7.97.9、軟件可靠性、軟件可

8、靠性編 碼n選擇適當(dāng)?shù)某绦蛟O(shè)計(jì)語(yǔ)言選擇適當(dāng)?shù)某绦蛟O(shè)計(jì)語(yǔ)言用高級(jí)語(yǔ)言編寫(xiě)的程序容易閱讀、容易測(cè)試、容用高級(jí)語(yǔ)言編寫(xiě)的程序容易閱讀、容易測(cè)試、容易調(diào)試、容易維護(hù)、明顯優(yōu)于匯編語(yǔ)言。易調(diào)試、容易維護(hù)、明顯優(yōu)于匯編語(yǔ)言。選擇語(yǔ)言的實(shí)用標(biāo)準(zhǔn)：選擇語(yǔ)言的實(shí)用標(biāo)準(zhǔn)：n系統(tǒng)用戶的要求；可以使用的編譯程序；可以得到系統(tǒng)用戶的要求；可以使用的編譯程序；可以得到的軟件工具；工程規(guī)模；程序員的知識(shí)；軟件可移的軟件工具；工程規(guī)模；程序員的知識(shí)；軟件可移植性要求；軟件的應(yīng)用領(lǐng)域。植性要求；軟件的應(yīng)用領(lǐng)域。n編碼風(fēng)格編碼風(fēng)格編 碼編 碼n試說(shuō)明下面的兩個(gè)程序段的功能是什么？可否用試說(shuō)明下面的兩個(gè)程序段的功能是什么？可否用另

9、一些等效的程序段來(lái)代替它們，以提高其可讀另一些等效的程序段來(lái)代替它們，以提高其可讀性。性。(1)AI = AI + AT;(1)AI = AI + AT; AT = AI - AT;AT = AI - AT; AI = AI - AT; AI = AI - AT;(2) for (int i=1; i=n; i+)(2) for (int i=1; i=n; i+) for (int j=1; j=n; j+)for (int j=1; j=n; j+)Vij = (i/j) Vij = (i/j) * * (j/i); (j/i);軟件測(cè)試基礎(chǔ)n軟件測(cè)試的目的與軟件工程其他階段的目的都相軟件

10、測(cè)試的目的與軟件工程其他階段的目的都相反，是為了反，是為了“破壞破壞”已經(jīng)建造好的軟件系統(tǒng)已經(jīng)建造好的軟件系統(tǒng)竭力證明程序中有錯(cuò)誤，不能按照預(yù)定要求正確竭力證明程序中有錯(cuò)誤，不能按照預(yù)定要求正確工作。工作。G. Myers給出關(guān)于測(cè)試的一些規(guī)則給出關(guān)于測(cè)試的一些規(guī)則n測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程。測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程。軟件測(cè)試準(zhǔn)則軟件測(cè)試準(zhǔn)則測(cè)試方法：測(cè)試方法：n黑盒測(cè)試，又稱為功能測(cè)試黑盒測(cè)試，又稱為功能測(cè)試n白盒測(cè)試，又稱為結(jié)構(gòu)測(cè)試白盒測(cè)試，又稱為結(jié)構(gòu)測(cè)試軟件測(cè)試基礎(chǔ)n測(cè)試階段的信息流測(cè)試階段的信息流軟件測(cè)試基礎(chǔ)n測(cè)試步驟：測(cè)試步驟：?jiǎn)卧獪y(cè)試又稱為模塊測(cè)

11、試。發(fā)現(xiàn)的往往是編單元測(cè)試又稱為模塊測(cè)試。發(fā)現(xiàn)的往往是編碼和詳細(xì)設(shè)計(jì)的錯(cuò)誤。碼和詳細(xì)設(shè)計(jì)的錯(cuò)誤。集成測(cè)試又稱為組裝測(cè)試或子系集成測(cè)試又稱為組裝測(cè)試或子系統(tǒng)測(cè)試。目的是發(fā)現(xiàn)與接口有關(guān)統(tǒng)測(cè)試。目的是發(fā)現(xiàn)與接口有關(guān)的模塊之間的問(wèn)題。的模塊之間的問(wèn)題。確認(rèn)測(cè)試目的是對(duì)軟件產(chǎn)確認(rèn)測(cè)試目的是對(duì)軟件產(chǎn)品進(jìn)行評(píng)估以確定其是否品進(jìn)行評(píng)估以確定其是否滿足軟件需求。滿足軟件需求。系統(tǒng)測(cè)試是針對(duì)系統(tǒng)中各個(gè)組成部系統(tǒng)測(cè)試是針對(duì)系統(tǒng)中各個(gè)組成部分進(jìn)行的綜合性檢驗(yàn)，可能發(fā)現(xiàn)軟分進(jìn)行的綜合性檢驗(yàn)，可能發(fā)現(xiàn)軟件設(shè)計(jì)或需求說(shuō)明中的錯(cuò)誤，同時(shí)件設(shè)計(jì)或需求說(shuō)明中的錯(cuò)誤，同時(shí)可證明系統(tǒng)的性能。可證明系統(tǒng)的性能。驗(yàn)收測(cè)試的目的是驗(yàn)證系統(tǒng)

12、確實(shí)能驗(yàn)收測(cè)試的目的是驗(yàn)證系統(tǒng)確實(shí)能夠滿足用戶的需要。發(fā)現(xiàn)的往往是夠滿足用戶的需要。發(fā)現(xiàn)的往往是系統(tǒng)需求說(shuō)明書(shū)中的錯(cuò)誤。系統(tǒng)需求說(shuō)明書(shū)中的錯(cuò)誤。單元測(cè)試n單元測(cè)試是對(duì)軟件基本組成單元進(jìn)行的測(cè)試，用單元測(cè)試是對(duì)軟件基本組成單元進(jìn)行的測(cè)試，用以發(fā)現(xiàn)模塊內(nèi)部的錯(cuò)誤。以發(fā)現(xiàn)模塊內(nèi)部的錯(cuò)誤。單元測(cè)試單元測(cè)試方法：?jiǎn)卧獪y(cè)試方法：n人工測(cè)試人工測(cè)試代碼審查，即由審查小組對(duì)源程序進(jìn)代碼審查，即由審查小組對(duì)源程序進(jìn)行正式的人工測(cè)試。行正式的人工測(cè)試。代碼審查的優(yōu)點(diǎn)：一次審查會(huì)上可以發(fā)現(xiàn)許多錯(cuò)誤，代碼審查的優(yōu)點(diǎn)：一次審查會(huì)上可以發(fā)現(xiàn)許多錯(cuò)誤，減少系統(tǒng)驗(yàn)證的總工作量。減少系統(tǒng)驗(yàn)證的總工作量。n計(jì)算機(jī)測(cè)試計(jì)算機(jī)測(cè)試模

13、塊不是獨(dú)立的程序模塊不是獨(dú)立的程序, ,自己不能運(yùn)行自己不能運(yùn)行, ,要靠其它部分來(lái)調(diào)用和驅(qū)動(dòng)要靠其它部分來(lái)調(diào)用和驅(qū)動(dòng)。所以所以需要為每個(gè)單元需要為每個(gè)單元測(cè)試增加輔助模塊。測(cè)試增加輔助模塊。驅(qū)動(dòng)程序：驅(qū)動(dòng)程序：相當(dāng)于主程序相當(dāng)于主程序 接收測(cè)試數(shù)據(jù)，傳送給所測(cè)模塊，最后再輸出實(shí)測(cè)結(jié)接收測(cè)試數(shù)據(jù)，傳送給所測(cè)模塊，最后再輸出實(shí)測(cè)結(jié)果。果。存根程序：代替被測(cè)試的模塊所調(diào)用的模塊，又叫存根程序：代替被測(cè)試的模塊所調(diào)用的模塊，又叫做樁模塊或虛擬子程序。做樁模塊或虛擬子程序。集成測(cè)試n集成測(cè)試集成測(cè)試是測(cè)試和組裝軟件的系統(tǒng)化技術(shù)，在是測(cè)試和組裝軟件的系統(tǒng)化技術(shù)，在把模塊按照設(shè)計(jì)要求組裝起來(lái)的同時(shí)進(jìn)行測(cè)試

14、，主把模塊按照設(shè)計(jì)要求組裝起來(lái)的同時(shí)進(jìn)行測(cè)試，主要目標(biāo)是發(fā)現(xiàn)與接口有關(guān)的問(wèn)題，又稱組裝測(cè)試或要目標(biāo)是發(fā)現(xiàn)與接口有關(guān)的問(wèn)題，又稱組裝測(cè)試或聯(lián)合測(cè)試。聯(lián)合測(cè)試。集成測(cè)試方法集成測(cè)試方法n非漸增式測(cè)試非漸增式測(cè)試先分別測(cè)試每個(gè)模塊，再把所有模先分別測(cè)試每個(gè)模塊，再把所有模塊按設(shè)計(jì)要求放在一起結(jié)合成所要的程序。塊按設(shè)計(jì)要求放在一起結(jié)合成所要的程序。缺點(diǎn)：發(fā)現(xiàn)錯(cuò)誤難以診斷定位。又稱缺點(diǎn)：發(fā)現(xiàn)錯(cuò)誤難以診斷定位。又稱“莽撞測(cè)試莽撞測(cè)試”。n漸增式測(cè)試漸增式測(cè)試把下一個(gè)要測(cè)試的模塊同已經(jīng)測(cè)試好把下一個(gè)要測(cè)試的模塊同已經(jīng)測(cè)試好的那些模塊結(jié)合起來(lái)進(jìn)行測(cè)試，即逐個(gè)把未經(jīng)過(guò)測(cè)試的那些模塊結(jié)合起來(lái)進(jìn)行測(cè)試，即逐個(gè)把未經(jīng)

15、過(guò)測(cè)試的模塊組裝到已經(jīng)測(cè)試過(guò)的模塊上去，進(jìn)行集成測(cè)試。的模塊組裝到已經(jīng)測(cè)試過(guò)的模塊上去，進(jìn)行集成測(cè)試。非漸增式測(cè)試非漸增式測(cè)試漸增式測(cè)試漸增式測(cè)試工作量工作量工作量較小工作量較小需要編寫(xiě)的測(cè)試用例較多，工需要編寫(xiě)的測(cè)試用例較多，工作量較大作量較大發(fā)現(xiàn)錯(cuò)發(fā)現(xiàn)錯(cuò)誤時(shí)間誤時(shí)間及排錯(cuò)及排錯(cuò)情況情況發(fā)現(xiàn)接口錯(cuò)誤較晚，已經(jīng)推發(fā)現(xiàn)接口錯(cuò)誤較晚，已經(jīng)推遲到組裝階段才發(fā)現(xiàn)，因此遲到組裝階段才發(fā)現(xiàn)，因此很難判斷是哪一部分接口出很難判斷是哪一部分接口出錯(cuò)，不利于排錯(cuò)。錯(cuò)，不利于排錯(cuò)?？梢暂^早發(fā)現(xiàn)接口間的錯(cuò)誤，可以較早發(fā)現(xiàn)接口間的錯(cuò)誤，有利于排錯(cuò)，發(fā)生錯(cuò)誤往往和有利于排錯(cuò)，發(fā)生錯(cuò)誤往往和最近加進(jìn)來(lái)的模塊有關(guān)。最近加進(jìn)

16、來(lái)的模塊有關(guān)。測(cè)試測(cè)試質(zhì)量質(zhì)量不能很好地對(duì)接口及全局?jǐn)?shù)不能很好地對(duì)接口及全局?jǐn)?shù)據(jù)結(jié)構(gòu)進(jìn)行充分測(cè)試據(jù)結(jié)構(gòu)進(jìn)行充分測(cè)試把已測(cè)試的模塊和新的模塊集把已測(cè)試的模塊和新的模塊集成后再測(cè)試，更徹底成后再測(cè)試，更徹底測(cè)試測(cè)試時(shí)間時(shí)間其目的就是盡可能縮短測(cè)試其目的就是盡可能縮短測(cè)試時(shí)間，所以用時(shí)稍少時(shí)間，所以用時(shí)稍少由于要一個(gè)一個(gè)模塊添加進(jìn)來(lái)由于要一個(gè)一個(gè)模塊添加進(jìn)來(lái)測(cè)試，所用時(shí)間較多測(cè)試，所用時(shí)間較多資源利資源利用情況用情況可并行測(cè)試所有模塊，所以可并行測(cè)試所有模塊，所以能充分利用人力、物力資源能充分利用人力、物力資源可以同時(shí)投入的人力、物力受可以同時(shí)投入的人力、物力受限限集成測(cè)試兩種不同的漸增式集成策略：

17、兩種不同的漸增式集成策略：n自頂向下集成自頂向下集成從主控制模塊（主程序）開(kāi)始，從主控制模塊（主程序）開(kāi)始，沿著軟件的控制層次向下移動(dòng)，從而逐漸把各個(gè)模沿著軟件的控制層次向下移動(dòng)，從而逐漸把各個(gè)模塊結(jié)合起來(lái)。塊結(jié)合起來(lái)。在把附屬于主控制模塊的那些模塊組裝到程序結(jié)構(gòu)在把附屬于主控制模塊的那些模塊組裝到程序結(jié)構(gòu)中去時(shí)，可使用深度優(yōu)先或?qū)挾葍?yōu)先的策略。中去時(shí)，可使用深度優(yōu)先或?qū)挾葍?yōu)先的策略。需要存根程序。需要存根程序。n自底向上集成自底向上集成測(cè)試從測(cè)試從“原子原子”模塊（即在軟件模塊（即在軟件結(jié)構(gòu)最低層的模塊）開(kāi)始組裝和測(cè)試。結(jié)構(gòu)最低層的模塊）開(kāi)始組裝和測(cè)試。需要驅(qū)動(dòng)程序。需要驅(qū)動(dòng)程序。集成測(cè)試兩

18、種集成策略的比較：兩種集成策略的比較：改進(jìn)的自頂向下測(cè)試方法改進(jìn)的自頂向下測(cè)試方法基本使用自頂向下的基本使用自頂向下的測(cè)試方法，但早期使用自底向上的方法測(cè)試軟件測(cè)試方法，但早期使用自底向上的方法測(cè)試軟件中少數(shù)關(guān)鍵模塊。中少數(shù)關(guān)鍵模塊。n優(yōu)點(diǎn)：能在測(cè)試早期發(fā)現(xiàn)關(guān)鍵模塊中的錯(cuò)誤優(yōu)點(diǎn)：能在測(cè)試早期發(fā)現(xiàn)關(guān)鍵模塊中的錯(cuò)誤n缺點(diǎn)：測(cè)試關(guān)鍵模塊時(shí)需要驅(qū)動(dòng)程序缺點(diǎn)：測(cè)試關(guān)鍵模塊時(shí)需要驅(qū)動(dòng)程序混合法混合法對(duì)軟件結(jié)構(gòu)中較上層，使用的是自頂向?qū)浖Y(jié)構(gòu)中較上層，使用的是自頂向下方法；對(duì)軟件結(jié)構(gòu)中較下層，使用的是自底向下方法；對(duì)軟件結(jié)構(gòu)中較下層，使用的是自底向上方法，兩者相結(jié)合。上方法，兩者相結(jié)合。n回歸測(cè)試回歸測(cè)試

19、是指重新執(zhí)行已經(jīng)做過(guò)的測(cè)試的某是指重新執(zhí)行已經(jīng)做過(guò)的測(cè)試的某個(gè)子集，以保證加入新模塊的變化沒(méi)有帶來(lái)非預(yù)個(gè)子集，以保證加入新模塊的變化沒(méi)有帶來(lái)非預(yù)期的副作用。又稱為退化測(cè)試。期的副作用。又稱為退化測(cè)試。調(diào) 試n調(diào)試：是在測(cè)試發(fā)現(xiàn)錯(cuò)誤之后排除錯(cuò)誤的過(guò)程。調(diào)試：是在測(cè)試發(fā)現(xiàn)錯(cuò)誤之后排除錯(cuò)誤的過(guò)程。調(diào)試過(guò)程：試圖找出產(chǎn)生癥狀的原因，并且改正調(diào)試過(guò)程：試圖找出產(chǎn)生癥狀的原因，并且改正軟件錯(cuò)誤。軟件錯(cuò)誤。調(diào)試途徑：調(diào)試途徑：n蠻干法：在程序中到處都寫(xiě)上輸出語(yǔ)句，希望在這蠻干法：在程序中到處都寫(xiě)上輸出語(yǔ)句，希望在這樣生成的信息海洋中發(fā)現(xiàn)錯(cuò)誤原因的線索。樣生成的信息海洋中發(fā)現(xiàn)錯(cuò)誤原因的線索。n回溯法：從發(fā)現(xiàn)癥

20、狀的地方開(kāi)始，人工沿程序的控回溯法：從發(fā)現(xiàn)癥狀的地方開(kāi)始，人工沿程序的控制流圖追蹤源代碼，直到找出錯(cuò)誤原因。制流圖追蹤源代碼，直到找出錯(cuò)誤原因。n原因排除法原因排除法采用對(duì)分查找法或歸納法或演繹法采用對(duì)分查找法或歸納法或演繹法完成調(diào)試工作。完成調(diào)試工作。調(diào) 試軟件可靠性n軟件可靠性軟件可靠性是程序在給定的是程序在給定的時(shí)間間隔時(shí)間間隔內(nèi)，按內(nèi)，按照規(guī)格說(shuō)明書(shū)的規(guī)定成功地運(yùn)行的概率。照規(guī)格說(shuō)明書(shū)的規(guī)定成功地運(yùn)行的概率?？煽啃噪S著給定的時(shí)間間隔的加大而減少?？煽啃噪S著給定的時(shí)間間隔的加大而減少。n軟件可用性軟件可用性是程序在給定的是程序在給定的時(shí)間點(diǎn)時(shí)間點(diǎn)，按照規(guī)，按照規(guī)格說(shuō)明書(shū)的規(guī)定，成功地運(yùn)行的概率。格說(shuō)明書(shū)的規(guī)定，成功地運(yùn)行的概率。系統(tǒng)的穩(wěn)態(tài)可用性系統(tǒng)的穩(wěn)態(tài)可用性Ass:軟件可靠性n估算平均無(wú)故障時(shí)間的方法估算平均無(wú)故障時(shí)間的方法基本假定基本假定n在類似的程序中，單位長(zhǎng)度里的錯(cuò)誤數(shù)近似為一常在類似的程序中，單位長(zhǎng)度里的錯(cuò)誤數(shù)近似為一常數(shù)。一般在測(cè)試之前每數(shù)。一般在測(cè)試之前每10001000條指令中大約有條指