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

第1章 基于FSM的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 設(shè)計
第3節(jié) 實現(xiàn)及測試
第4節(jié) 實際應用及結(jié)果
第5節(jié) 總結(jié)
第2章 基于TTCN -3的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) TTCN -3相關(guān)技術(shù)
第3節(jié) 實時性方法設(shè)計
第4節(jié) 實時性方法的一般實現(xiàn)過程
第5節(jié) 總結(jié)
第3章 基于模型的Web服務測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) Web服務及其測試理論
第3節(jié) 基于樹模型的Web服務測試用例生成算法
第4節(jié) Web服務自動測試方案設(shè)計與應用
第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é) 實驗
第4節(jié) 總結(jié)
第6章 組合測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 組合測試方法
第3節(jié) 組合測試在故障定位中的應用
第4節(jié) 總結(jié)
附錄
參考文獻