面向Web應(yīng)用的測(cè)試用例生成技術(shù)研究.pdf

1、Web應(yīng)用程序是近些年來(lái)軟件業(yè)中發(fā)展最快的應(yīng)用程序之一。Web應(yīng)用本身越來(lái)越復(fù)雜，同時(shí)它所使用的開(kāi)發(fā)語(yǔ)言和開(kāi)發(fā)模型在不斷發(fā)展。所有這些因素都給分析、建模和測(cè)試帶來(lái)了很大的難度。目前的測(cè)試主要依賴(lài)測(cè)試工程師的直覺(jué)和經(jīng)驗(yàn)，對(duì)它的測(cè)試被認(rèn)為是一個(gè)耗時(shí)的、代價(jià)昂貴的過(guò)程。因此，迫切需要一套新的Web應(yīng)用測(cè)試方法并實(shí)現(xiàn)測(cè)試的自動(dòng)化。 基于模型的測(cè)試是一種黑盒測(cè)試技術(shù)，它以明確描述系統(tǒng)預(yù)期行為的抽象模型為依據(jù)，自動(dòng)生成可執(zhí)行的測(cè)試用例，產(chǎn)生

2、測(cè)試腳本，執(zhí)行測(cè)試并自動(dòng)評(píng)價(jià)測(cè)試結(jié)果，實(shí)現(xiàn)測(cè)試過(guò)程的自動(dòng)化。這種方法可以使得軟件測(cè)試和軟件設(shè)計(jì)以及實(shí)現(xiàn)同時(shí)進(jìn)行，改變了軟件工程中“現(xiàn)在編程，以后測(cè)試”的工作方式，使得在整個(gè)軟件生命期中可以并行地進(jìn)行測(cè)試工作。因此，基于模型的測(cè)試技術(shù)是實(shí)現(xiàn)對(duì)Web應(yīng)用測(cè)試的有效途徑。 本文以Web應(yīng)用為研究對(duì)象，從FSM模型出發(fā)，研究基于模型的測(cè)試用例生成技術(shù)，獲得基于模型的Web應(yīng)用軟件測(cè)試方法，構(gòu)建一個(gè)從模型出發(fā)產(chǎn)生測(cè)試用例的原型工具，力圖實(shí)