基于模型的軟件驗證與測試

　　隨著計算機應用的飛速發(fā)展，整個社會對計算機軟件的需求在不斷擴大；軟件的規(guī)模不斷地擴大，數(shù)量也飛速地增長。與此同時，軟件質量卻并沒有得到顯著提高，軟件故障所帶來的損失不容忽視，如何有效地提高和保證軟件質量，成為計算機領域重要的研究課題。但是，當前的測試技術，存在很多缺點，直接影響著軟件質量?；谀Ｐ偷能浖y試在近年來得到了較為廣泛的關注，它以明確描述系統(tǒng)預期行為的抽象模型為依據(jù)，根據(jù)模型覆蓋測試準則自動生成抽象的測試序列，自動產(chǎn)生測試腳本，執(zhí)行測試并自動評價測試結果，實現(xiàn)測試過程的自動化。總體上說，這方面的研究還處于方法探索階段，比較實用的工具非常少。但這種方法可以使得軟件測試和軟件設計以及實現(xiàn)同時進行，改變了軟件工程中“現(xiàn)在編程，以后測試”的工作方式，使得在整個軟件生命期中都可以并行地進行測試工作，從而極大地提高了軟件開發(fā)的效率?！队嬎銠C系列教程：基于模型的軟件驗證與測試》試圖在總結過去研究工作的基礎上，提出了新的方法并進行了實驗論證。全書分為六章。每章通過介紹具體測試的背景、研究現(xiàn)狀，進一步提出了方法，并以實驗進行了論證。

暫缺《基于模型的軟件驗證與測試》作者簡介