Web應(yīng)用模型轉(zhuǎn)換和模型同步積的方法研究.pdf

1、現(xiàn)有的軟件規(guī)模越來越龐大，形態(tài)越來越復(fù)雜。隨著Internet的普及以及構(gòu)件、中間件和Web Services等技術(shù)的迅速發(fā)展與應(yīng)用，使Web應(yīng)用滲透到國計(jì)民生的各個(gè)領(lǐng)域，所以對(duì)Web應(yīng)用的測試變得越來越重要! Web測試的方法有很多，基于模型的測試方法就是其中一種。其大致過程是對(duì)Web應(yīng)用進(jìn)行建模，然后從所描述的模型產(chǎn)生測試用例，并運(yùn)行測試用例。因此，Web應(yīng)用的建模對(duì)于基于模型的Web測試是非常重要的，建模的好壞直接關(guān)系到

2、生成的測試用例的質(zhì)量；但因?yàn)槊糠N模型是從不同方面對(duì)Web應(yīng)用進(jìn)行建模和描述，所以如果從每種模型去產(chǎn)生測試，會(huì)造成測試用例的繁瑣和冗余以及表示不一致。假如能夠?qū)⑦@些模型轉(zhuǎn)換到統(tǒng)一的模型，就可以避免這種情況的發(fā)生。本文選取有窮確定狀態(tài)自動(dòng)機(jī)(FSM)作為測試用例生成的統(tǒng)一模型。 本文給出了從UML模型到FSM模型轉(zhuǎn)換的方法，提出了從UML狀態(tài)圖模型到FSM模型的三種不同情況下對(duì)應(yīng)的轉(zhuǎn)換方法及其轉(zhuǎn)換規(guī)則；可以從UML狀態(tài)圖模型中的簡單