《基於規格說明的Web套用測試方法研究》是依託上海大學，由繆淮扣擔任項目負責人的面上項目。
基本介紹
- 中文名：基於規格說明的Web套用測試方法研究
- 項目類別：面上項目
- 項目負責人：繆淮扣
- 依託單位：上海大學
- 負責人職稱：教授
- 批准號：60673115
- 研究期限：2007-01-01 至 2009-12-31
- 申請代碼：F0203
- 支持經費：25（萬元）
中文摘要
本課題研究用形式規格說明語言和UML以及有限狀態機（FSM）等描述方式對Web套用的結構和行為建模的方法。主要包括：研究對Web套用進行分解和劃分的方法、用UML(包圖、協作圖、構件圖和部署圖等)對Web套用進行結構建模的方法和用FSM對Web套用的各組成部分進行行為建模的方法以及將Web套用模型轉換為形式規格說明的方法；研究從Web套用的形式規格說明產生測試用例的方法，即從抽象的測試需求通過精化與推導以及模型檢查方法獲得測試用例的方法；對現有的測試準則改造並開發更加有效的測試準則從Web套用模型的規格說明構造有效的測試用例。通過對測試用例進行分析評估對各種用於Web套用測試的準則進行評估。對上述方法構造工具。這一研究在學術上對Web套用建模和測試、軟體驗證和確認、提高軟體質量有重大意義，研究成果可以廣泛套用到大量的Web套用開發過程中，具有廣闊的套用前景。
