學術講座報告

學術講座報告

學術講座報告

學號：

姓名：

報告題目：

指導教師：

所屬學院：

桂林電子科技大學研究生院

20xx年12 月 19 日

爲拓寬研究生的知識面，活躍學術氣氛，學校要求研究生在研一期間必須參加有關學術報告和講座。經過研一一學年，我已經按照學校規定完成了參加學術講座聽取學術報告的任務，受益匪淺。在此做一下回顧，總結一下自己的收穫和體會，以便更好的指導以後的學習和工作。

爲了更好地瞭解所學專業領域的先進技術，我先後參加了《形式軟件工程方法》、《物聯網、雲計算技術及其應用》、《基於模型的Web應用測試》等學術講座，對相關的只是有了更深的認識。另外爲了拓寬視野，豐富課餘知識，我還聽取了《中國外貿順差、外匯儲備與通貨膨脹》、《北部灣與海峽西岸經濟區發展比較研究》等學術報告。由於篇幅所限，不一一對其進行總結，而只針對《基於模型的Web應用測試》寫一下自己的心得體會。

應學院邀請，上海大學計算機工程與科學學院副院長繆淮扣教授於20xx年4月12日來校進行基於模型的Web應用測試方法的學術講座。繆淮扣教授1992年10月至1995年1月由國家公派在英國york大學做訪問學者。擔任中國軟件行業協會理事上海市南市區第四屆科協常委、上海市南市區計算機學會理事長，上海市黃浦區第一屆科協常委、上海市黃浦區計算機學會理事長。現任上海大學學術委員會委員、《應用科學學報》等三個雜誌的變爲，是享受政府特殊津貼的專家。繆淮扣教授擅長人工智能、計算機軟件方法、軟件工程等。在講座中，繆淮扣教授幽默而又嚴謹的講學風格也帶動了我們大家的熱情以及袁教授對專業技術領域的真知灼見也令我們在座的研究生由衷欽佩。

此次講座使我對Web應用的測試有了全新的認識。在Web工程過程中，基於Web系統的測試、確認和驗收是一項重要而富有挑戰性的工作。基於Web的系統測試與傳統的軟件測試不同，它不但需要檢查和驗證是否按照設計的要求執行，而且還要測試系統在不同用戶的瀏覽器端的顯示是否合適。重要的是，還要從最終用戶的角度進行安全性和可用性測試。然而，Internet和Web媒體的不可預見性使測試基於Web的系統變得困難。因此，我們必須爲測試和評估複雜的基於Web的系統研究新的方法和技術。

Web應用已經滲透到國計民生的各個領域一個非常關鍵的問題是如何保證Web應用的可靠性和質量。測試是提高軟件可靠性和保證軟件質量的一種最基本的手段。目前Web應用的測試主要依賴測試工程師的直覺和經驗，沒有比較系統的方法和工具，測試是一個耗時的、代價昂貴的過程。許多Web應用在沒有進行充分測試的情況下投入運營，質量難以保證，導致Web應用軟件的開發可靠性不高、風險大。因此，纔有了基於模型的Web應用測試的產生。

基於模型的語言（如UML）、模型驅動技術（MDA）和以測試爲中心的軟件開發技術與方法的星期和應用以及形式化驗證技術的逐步成熟，使基於模型的軟件測試方法與技術在近幾年得到了較爲廣泛的關注，一些理論的和商業的工具相機出現。基於模型的測試以明確描述系統預期行爲的抽象模型爲依據，根據模型覆蓋準則自動生成抽象的.測試用例：輸入和預期的輸出。輸入部分在被實例化後輸入被測系統（the System Under Test，SUT）進行測試。基於模型的測試實現測試用例生成、測試執行和測試結果判別的自動化。

Web應用的測試可以分爲非功能測試和功能測試，非功能測試包括性能測試、負載測試、可用性測試、相容性測試和安全性測試等。功能測試包括連結測試、表單測試、數據校驗、cookies測試、數據庫測試、應用程序特定的功能需求測試和設計語言測試。

目前，Web應用的測試技術大多着重於客戶端和服務器的靜態模式，包括link檢查檢查、HTML驗證器、捕獲/回訪、安全性測試以及負載和壓力測試等Web應用測試支援工具，大都是基於程序或原始碼的靜態驗證和計量功能，不支援或很少支援Web應用的測試。

Web應用由複雜的用戶介面和不計其數的後端構件以各種方式繼承在一起。基於模型的測試方法爲Web應用功能測試的自動化提供了一種非常有效的解決方案。在基於模型店測試中，測試模型和基於測試模型生成的測試用例都是抽象的，獨立於平臺的，從而是可重用的。測試執行時透過對測試執行環境的動態配置自動產生實例化的可執行的測試包。這一特性將大大降低由於Web應用的異構性和動態性所帶來的測試複雜度。基於模型的Web應用測試方法改變了軟件工程中“現在編程，以後測試”的工作方式，使得在整個軟件生命期中都可以並行地進行測試工作，從而實現編碼前的錯誤檢測，大大降低測試的代價。

Web應用是一種典型的應用程序。Web應用本身越來越複雜，同時它所使用的開發語言和開發模型在不斷髮展。所有這些因素都給分析、建模和測試帶來了很大的難度。目前的測試主要依賴測試工程師的直覺和經驗。Web應用測試被認爲是一個耗時、代價昂貴的過程。因此，迫切需要一套系統的Web應用測試方法並能實現測試過程的自動化。繆淮扣教授所研究的正是基於以上目的，設計並實現了一個基於模型的Web應用測試系統，以Web應用的UML狀態圖作爲系統測試模型，採用UML書序圖描述測試目標，透過轉換和組合，構成FSM測試模型。實現了測試生成的自動化、測試模型以及測試用例的可視化、測試執行的自動化等。

經過這次講座，我不僅在某些具體的實際技術理論上學到了很多，對Web測試方法的的發展有了更加清晰明確的認識，同時，我也初步領略了專家的一種思想以及思維方式，以後要經常聽一些專家的講座，讓自己在具體理論以及思維方式上有一個不斷的提升，進而能夠理解這些大家的獨特的思想。