基于模型的軟件驗(yàn)證與測試

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

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