基于UML-FSM模型的Web應(yīng)用測(cè)試用例生成.pdf

1、隨著Internet極快發(fā)展革新，保證Web應(yīng)用質(zhì)量的技術(shù)也成為了人們近年來(lái)研究的熱點(diǎn)之一。Web應(yīng)用的可靠性以及質(zhì)量保證成為其中一個(gè)非常關(guān)鍵的問(wèn)題和研究熱點(diǎn)。軟件測(cè)試則是確保軟件可靠性和質(zhì)量的一種主要手段。
　　然而，對(duì)于Web應(yīng)用而言，它的特性給測(cè)試帶來(lái)了很大挑戰(zhàn)。由于它具有多元化、異構(gòu)性、連接多樣性、動(dòng)態(tài)性、控制流程可變性等特性，目前還沒(méi)有比較系統(tǒng)的方法和工具對(duì)它進(jìn)行有效的測(cè)試。因而要求對(duì)傳統(tǒng)的測(cè)試方法進(jìn)行改進(jìn)或找出新的適合

2、Web應(yīng)用特性的測(cè)試方法。與此同時(shí)傳統(tǒng)測(cè)試主要依賴測(cè)試人員的直覺(jué)和經(jīng)驗(yàn)，耗時(shí)且代價(jià)昂貴。因此，除了迫切需要一套新的有效的Web應(yīng)用測(cè)試方法外能夠?qū)崿F(xiàn)測(cè)試的自動(dòng)化也很重要。
　　由于近幾年基于模型的、模型驅(qū)動(dòng)的、以測(cè)試為中心的軟件開(kāi)發(fā)方法和技術(shù)的活躍和應(yīng)用，加之形式化驗(yàn)證技術(shù)的逐步成熟，使得基于模型的軟件測(cè)試方法與技術(shù)得到了關(guān)注?；谀Ｐ偷臏y(cè)試以明確描述系統(tǒng)預(yù)期行為的抽象模型為依據(jù)，自動(dòng)生成可執(zhí)行的測(cè)試用例，產(chǎn)生測(cè)試腳本，執(zhí)行測(cè)試并

3、自動(dòng)評(píng)價(jià)測(cè)試結(jié)果，是一種突破性的黑盒測(cè)試技術(shù)，實(shí)現(xiàn)了測(cè)試過(guò)程的自動(dòng)化。該技術(shù)可以使得測(cè)試與設(shè)計(jì)實(shí)現(xiàn)同時(shí)進(jìn)行，從而使整個(gè)軟件生命期中可以并行地進(jìn)行測(cè)試工作?；谀Ｐ偷臏y(cè)試技術(shù)對(duì)Web應(yīng)用測(cè)試是一種有效途徑。而這方面的研究還處于探索階段，還需要進(jìn)一步深入研究。
　　本文是以Web應(yīng)用為研究對(duì)象，從UML模型以及FSM模型出發(fā)，對(duì)基于模型的測(cè)試用例生成的一系列技術(shù)進(jìn)行研究（例如對(duì)測(cè)試準(zhǔn)則以及用例生成算法等研究），來(lái)獲得基于模型的Web應(yīng)