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

第1章 基于FSM的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 設(shè)計
第3節(jié) 實(shí)現(xiàn)及測試
第4節(jié) 實(shí)際應(yīng)用及結(jié)果
第5節(jié) 總結(jié)
第2章 基于TTCN -3的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) TTCN -3相關(guān)技術(shù)
第3節(jié) 實(shí)時性方法設(shè)計
第4節(jié) 實(shí)時性方法的一般實(shí)現(xiàn)過程
第5節(jié) 總結(jié)
第3章 基于模型的Web服務(wù)測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) Web服務(wù)及其測試?yán)碚?br />第3節(jié) 基于樹模型的Web服務(wù)測試用例生成算法
第4節(jié) Web服務(wù)自動測試方案設(shè)計與應(yīng)用
第5節(jié) 總結(jié)
第4章 基于統(tǒng)計的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 謂詞統(tǒng)計模型錯誤定位算法SOBER
第3節(jié) 基于Mann - Whitney秩和檢驗技術(shù)的錯誤定位算法
第4節(jié) 對SOBER算法的研究和優(yōu)化
第5節(jié) 謂詞統(tǒng)計錯誤定位算法FDI
第6節(jié) 總結(jié)
第5章 回歸測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 方法
第3節(jié) 實(shí)驗
第4節(jié) 總結(jié)
第6章 組合測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 組合測試方法
第3節(jié) 組合測試在故障定位中的應(yīng)用
第4節(jié) 總結(jié)
附錄
參考文獻(xiàn)