基于UML-FSM模型的Web應用測試用例生成.pdf

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

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

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