1、Web應(yīng)用程序是近些年來軟件業(yè)中發(fā)展最快的應(yīng)用程序之一。Web應(yīng)用所使用的開發(fā)語言和開發(fā)模型在不斷發(fā)展。新技術(shù)的應(yīng)用或現(xiàn)有技術(shù)的強(qiáng)強(qiáng)組合使Web應(yīng)用本身變得越來越復(fù)雜。所有這些因素都給Web應(yīng)用的分析、建模和測(cè)試帶來了很大的難度。隨著網(wǎng)絡(luò)技術(shù)的快速發(fā)展，很多傳統(tǒng)的應(yīng)用軟件在向Web應(yīng)用程序過渡，Web應(yīng)用將涉及很多敏感行業(yè)，如軍事、金融或醫(yī)療等相關(guān)的領(lǐng)域。Web應(yīng)用的測(cè)試面臨了新的挑戰(zhàn)。 要保證軟件測(cè)試的質(zhì)量，首先要提高測(cè)試用例

2、的質(zhì)量。手工生成測(cè)試用例要求軟件測(cè)試人員具有一定的經(jīng)驗(yàn)和較高的專業(yè)水平。而且，沒有系統(tǒng)化的方法作為指導(dǎo)會(huì)大大降低質(zhì)量和效率。 Web應(yīng)用可認(rèn)為是一系列交互組件的集合。本文不考慮單個(gè)組件的測(cè)試，而是將每個(gè)組件視為已經(jīng)過充分測(cè)試的黑盒，研究組件間的交互性測(cè)試。 本文提出了Web應(yīng)用組件交互測(cè)試的測(cè)試準(zhǔn)則。我們采用有限狀態(tài)機(jī)(FSM)作為測(cè)試模型，每個(gè)組件對(duì)應(yīng)一個(gè)FSM，用組件FSM的合成來描述組件交互(或整個(gè)Web應(yīng)用)的F