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

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

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