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

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

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