使用測(cè)試有限方法開(kāi)發(fā)用戶界面

1、軟件自動(dòng)化測(cè)試實(shí)例分析軟件測(cè)試是對(duì)創(chuàng)造力和智力非常有挑戰(zhàn)性的任務(wù)。測(cè)試一個(gè)大型軟件需要的智能要超過(guò)設(shè)計(jì)這個(gè)程序的智能。軟件在它發(fā)行之前應(yīng)當(dāng)通過(guò)徹底的測(cè)試,以保證它的可靠性和功能性,不幸的是,測(cè)試工程師要覆蓋一個(gè)大型程序的所有情況會(huì)感到太麻煩和太費(fèi)時(shí)。確實(shí),軟件的每個(gè)部分如能被分別測(cè)試到,同時(shí)一些指定的路徑也能被測(cè)試,這對(duì)總的軟件質(zhì)量的保障是非常有效的。一般的說(shuō),沒(méi)有測(cè)試覆蓋分析工具,軟件在發(fā)行前僅有50%的源程序被測(cè)試過(guò)。在差不多有一半源代碼沒(méi)有被測(cè)試的情況下,大量的故障(bug隨軟件一道被發(fā)行出去。在這種情況下,軟件的質(zhì)量、性能和功能不可能得到保障。此外,什么時(shí)候測(cè)試結(jié)束?或是否要對(duì)該程序作

2、進(jìn)一步的測(cè)試?對(duì)于測(cè)試工程師和測(cè)試管理人員來(lái)說(shuō)是不知道的,通過(guò)引進(jìn)測(cè)試覆蓋的概念,問(wèn)題就可以得到解決。項(xiàng)目測(cè)試管理1.幫助軟件管理者準(zhǔn)確地測(cè)算開(kāi)發(fā)組的效率的,通過(guò)提供多層分析,包括系統(tǒng)/文件/類/函數(shù)的能力。2.提供管理人員測(cè)算工程開(kāi)發(fā)進(jìn)度與質(zhì)量分析的能力,允許在被生成的類繼承圖和函數(shù)調(diào)用圖上,直接反顯所有在規(guī)定的日期或一個(gè)小組/單個(gè)員工完成的模塊,在這些圖上帶有覆蓋在每個(gè)類/函數(shù)框上以條形圖方式顯示的相關(guān)質(zhì)量信息,比如大小、復(fù)雜性、數(shù)據(jù)性能、代碼測(cè)試覆蓋等。3. 結(jié)合軟件系統(tǒng)質(zhì)量分析能力和系統(tǒng)開(kāi)發(fā)管理能力,提供給管理人員的帶有質(zhì)量數(shù)據(jù)的有關(guān)開(kāi)發(fā)效率和工程開(kāi)發(fā)進(jìn)度信息總是即時(shí)的和精確的,因?yàn)樗?/p>

3、們是直接從源代碼得來(lái)的第一手信息。測(cè)試計(jì)劃軟件系統(tǒng)不僅變得越來(lái)越龐大,但是也變得越來(lái)越復(fù)雜。復(fù)雜的代碼是很難閱讀、理解和修改的;必須化更多的精力去測(cè)試、維護(hù)和再測(cè)試。測(cè)試復(fù)雜性分析能幫助軟件工程師容易并精確地去計(jì)劃他們的測(cè)試活動(dòng)。提供系統(tǒng)級(jí)復(fù)雜性分析和過(guò)程級(jí)復(fù)雜性分析去精確地測(cè)量復(fù)雜性,幫助工程師更好地計(jì)劃他們的測(cè)試活動(dòng)。幫助工程師更好估計(jì)和使用測(cè)試復(fù)雜性度量,為滿足不同層次的測(cè)試覆蓋的要求,必需提供:塊測(cè)試復(fù)雜性、分支測(cè)試復(fù)雜性、段測(cè)試復(fù)雜性、條件-判定測(cè)試復(fù)雜性、條件-段測(cè)試復(fù)雜性。測(cè)試復(fù)雜性的值取決于用于記錄對(duì)應(yīng)的測(cè)試覆蓋數(shù)據(jù)的插裝點(diǎn)的點(diǎn)數(shù)。測(cè)試用例管理1. OO-Test提供了在國(guó)內(nèi)外

4、市場(chǎng)上最全面的測(cè)試覆蓋分析能力,去滿足不同的測(cè)試覆蓋需求:類的測(cè)試覆蓋函數(shù)的測(cè)試覆蓋塊的覆蓋循環(huán)邊界的覆蓋分支的覆蓋段的覆蓋條件(判定的覆蓋段-條件的覆蓋2.TCA能確定每一個(gè)測(cè)試用例作用的范圍,通過(guò)給出的測(cè)試用例就能確定被測(cè)試的類,或函數(shù),或段。這種功能對(duì)于評(píng)估測(cè)試用例的效率,和對(duì)于修改以后指定的類或函數(shù)或段的再測(cè)試是非常有用的。3.此外,TCA能從初始測(cè)試用例中自動(dòng)地抽取最小測(cè)試用例集,并對(duì)基于類的、函數(shù)的、分支的、塊的、段的覆蓋等等各自分別進(jìn)行劃分。它可以對(duì)系統(tǒng)級(jí)的再測(cè)試節(jié)省大量的時(shí)間和費(fèi)用。訓(xùn)練新成員1. 提供全面的靜態(tài)和動(dòng)態(tài)系統(tǒng)分析的能力,能抽取各種信息及自動(dòng)生成系統(tǒng)文檔,并且可以使

5、被抽取的信息讓新成員聯(lián)機(jī)訪問(wèn),大大的節(jié)省了設(shè)計(jì)人員和工程師的時(shí)間。2.通過(guò)提供最新的和精確的各種系統(tǒng)概貌圖和流程圖(包括數(shù)據(jù)結(jié)構(gòu)、類繼承圖、函數(shù)調(diào)用圖和程序樹(shù),全局?jǐn)?shù)據(jù)分析的詳細(xì)報(bào)告,詳細(xì)的程序邏輯圖和源代碼的控制流程圖,幫助他們了解系統(tǒng)和深入地理解代碼。3.使用的GUI接口,使開(kāi)發(fā)組的新成員容易自我訓(xùn)練;具有一個(gè)從頂層到詳細(xì)的代碼系統(tǒng)動(dòng)態(tài)的和圖形化的表達(dá)能力;具有鏈接不同層次的結(jié)構(gòu)圖和流程圖在一起的能力。4.提供基于函數(shù)分析和流程圖化的能力與基于類分析和流程圖化的能力,使得一個(gè)面向?qū)ο蟮南到y(tǒng)很容易被透徹地了解。單元測(cè)試的考慮單元測(cè)試是要檢驗(yàn)程序最小單位(模塊有無(wú)錯(cuò)誤,它是在編碼完成后,首先要

6、施行的測(cè)試工作。一般由編碼人員自己來(lái)完成,因而通常把單元測(cè)試看成是編碼步驟的附屬品。單元測(cè)試大多從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計(jì)測(cè)試用例,即采用白盒測(cè)試方法,多個(gè)程序模塊可以并行地獨(dú)立開(kāi)展測(cè)試工作。單元測(cè)試是針對(duì)每個(gè)程序模塊,解決5個(gè)方面的問(wèn)題:模塊接口、局部數(shù)據(jù)結(jié)構(gòu)、邊界條件、獨(dú)立的路徑和錯(cuò)誤處理。1.模塊接口:對(duì)模塊接口的測(cè)試,是檢查進(jìn)出程序單元的數(shù)據(jù)流是否正確。對(duì)模塊接口數(shù)據(jù)流的測(cè)試必須在任何其他測(cè)試之前進(jìn)行,因?yàn)槿绻荒艽_保數(shù)據(jù)正確地輸入和輸出的話,所有的測(cè)試都是沒(méi)有意義的。2.局部數(shù)據(jù)結(jié)構(gòu):在模塊工作過(guò)程中,必須測(cè)試其內(nèi)部的數(shù)據(jù)能否保持完整性,包括內(nèi)部數(shù)據(jù)的內(nèi)容、形式及相互關(guān)系不發(fā)生錯(cuò)誤。3

7、.獨(dú)立的路徑:在單元測(cè)試中,最主要的測(cè)試是針對(duì)路徑的測(cè)試。測(cè)試用例必須能夠發(fā)現(xiàn)由于計(jì)算錯(cuò)誤、不正確的判定或不正常的控制流而產(chǎn)生的錯(cuò)誤。4.邊界條件:軟件常常在邊界地區(qū)發(fā)生問(wèn)題。5. 錯(cuò)誤處理:測(cè)試出錯(cuò)處理的要點(diǎn)是模塊在工作中發(fā)生了錯(cuò)誤,其中的出錯(cuò)處理設(shè)施是否有效。單元測(cè)試的過(guò)程單元測(cè)試常常和代碼編寫(xiě)同步進(jìn)行,在完成了程序編寫(xiě)、復(fù)查和語(yǔ)法正確性驗(yàn)證后,就應(yīng)進(jìn)行單元測(cè)試用例設(shè)計(jì)。在對(duì)每個(gè)模塊進(jìn)行單元測(cè)試時(shí),不能完全忽視它們和周圍模塊的相互聯(lián)系。為模擬這一聯(lián)系,在進(jìn)行單元測(cè)試時(shí),需設(shè)置若干輔助測(cè)試模塊。輔助模塊有兩種,一種是驅(qū)動(dòng)模塊(driver,用以模擬被測(cè)模塊的上級(jí)模塊。驅(qū)動(dòng)模塊在單元測(cè)試中接受測(cè)試數(shù)據(jù),把相關(guān)的數(shù)據(jù)傳送給被測(cè)模塊,啟動(dòng)被測(cè)模塊,并打印出相應(yīng)的結(jié)果。另一種是樁模塊(stub,用以模擬被測(cè)模塊工作過(guò)程中所調(diào)用的模塊。樁模塊由被測(cè)模塊調(diào)用,它們一般只進(jìn)行很少的數(shù)據(jù)處理,例如打印入口和返回,以便于檢驗(yàn)被測(cè)模塊與其下級(jí)模塊的接口。驅(qū)