組合服務(wù)建模、測試與驗證

內(nèi)容概要

《組合服務(wù)建模、測試與驗證》主要介紹在互聯(lián)網(wǎng)環(huán)境下如何對組合服務(wù)進(jìn)行行為建模、組合服務(wù)集成測試、回歸測試和相關(guān)的屬性驗證。具體內(nèi)容包括：從三個主要方面，即組合服務(wù)的建模理論，組合服務(wù)的測試方法和組合服務(wù)的屬性驗證方法，討論了如何利用形式化規(guī)約理論（例如交互行為規(guī)約IBS：interactivebehaviorspecification）和可視化建模語言（例如UML2.0）進(jìn)行組合服務(wù)行為建模，如何利用Petri網(wǎng)和標(biāo)號變遷系統(tǒng)（LTS）進(jìn)行集成測試和回歸測試的測試用例自動化生成，以及如何利用屬性序列圖進(jìn)行屬性描述和驗證等。

圖書封面

評論、評分、閱讀與下載

---

    組合服務(wù)建模、測試與驗證 PDF格式下載

---