基于模型的軟件測試技術(shù)研究.pdf

1、軟件是現(xiàn)代服務(wù)業(yè)發(fā)展的核心，但是隨著軟件系統(tǒng)規(guī)模和復(fù)雜性的增長，如何大力提升軟件產(chǎn)品的質(zhì)量和可靠性，滿足消費(fèi)者追求安全可靠的心理，成為當(dāng)前軟件產(chǎn)業(yè)發(fā)展的新問題。軟件測試就是利用測試工具按照測試方案和流程對產(chǎn)品進(jìn)行功能和性能測試，甚至根據(jù)需要編寫不同的測試工具，設(shè)計(jì)和維護(hù)測試系統(tǒng)，對測試方案可能出現(xiàn)的問題進(jìn)行分析和評估。執(zhí)行測試用例后，需要跟蹤故障，以確保開發(fā)的產(chǎn)品滿足用戶的需求。
　　基于模型的測試是指根據(jù)需求文檔建立的模型來產(chǎn)生

2、測試用例，再通過輸入測試用例，來確認(rèn)實(shí)際的軟件實(shí)現(xiàn)是否與建立的模型相符。模型是指對被測系統(tǒng)與其行為動(dòng)作的抽象描述，并不關(guān)心程序的具體實(shí)現(xiàn)。
　　本文主要研究基于模型的測試用例生成方法及測試用例的優(yōu)化。首先介紹基于模型測試的方法以及模型的選擇，分析各種模型的可測性。其次基于上述分析，本文選擇有限狀態(tài)機(jī)建模，研究五種基于有限狀態(tài)機(jī)的測試序列的生成方法:轉(zhuǎn)換路徑法、區(qū)分序列法、特征序列法、部分特征序列法、唯一輸入/輸出序列法。根據(jù)測試覆