面向?qū)ο筌浖y試技術(shù).pdf

1、隨著計算機技術(shù)的不斷發(fā)展，軟件的規(guī)模和復(fù)雜度都有了很大的提高。軟件失效己成為系統(tǒng)癱瘓的主要原因。因此，提高軟件質(zhì)量及可靠性己成為當(dāng)前軟件工程領(lǐng)域的重要任務(wù)。 軟件測試是保障軟件質(zhì)量的重要途徑。面向?qū)ο筌浖夹g(shù)的迅速發(fā)展使得面向?qū)ο筌浖y試工具的研制與開發(fā)已成當(dāng)務(wù)之急。因此，本文從傳統(tǒng)的軟件測試技術(shù)出發(fā)，結(jié)合面向?qū)ο缶幊碳夹g(shù)的特點，分析了面向?qū)ο筌浖夹g(shù)對軟件測試技術(shù)的影響，并從測試角度對面向?qū)ο蟮幕靖拍钸M(jìn)行了剖析，在此基礎(chǔ)上，

2、討論了面向?qū)ο筌浖臏y試技術(shù)。在面向?qū)ο筌浖y試的幾個階段中，本文重點研究了類測試和集成測試。類測試是面向?qū)ο筌浖y試的關(guān)鍵，本文對面向?qū)ο筌浖悓哟蔚臏y試技術(shù)進(jìn)行了深入研究。首先介紹了兩種常見的類層次測試方法：基于狀態(tài)和基于數(shù)據(jù)流的測試，然后重點討論了基于狀態(tài)的類測試用例生成技術(shù)。類測試用例通常分為測試序列和測試數(shù)據(jù)兩大部分。本文對測試序列的生成采用了基于EFSM構(gòu)造測試路徑樹的方法，并利用UIOS驗證對象是否達(dá)到預(yù)期的正確狀態(tài)，提出