※ 引述《qrtt1 (愚人)》之銘言： : ※ 引述《H45 (!H45)》之銘言： : : 功能，針對不同的需求與功能先設計好每個測試案例 (test case), 如此一來，在開發整 : : 個系統的時候，就只要對每個 test case 負責就好了，只要通過每個 test case 的測試 : : ，大概就可以說軟體已經開發完畢了？ : : 請問這樣有答對嗎？ : test case 裡面可以沒有 assert 那就全過拉 :P : 所以通常會搭配 coverage 一起看 最近我們有在k Model-based testing的書耶,因為我們接的計畫和它有關, 看到版上有人在討論,想來發表一下目前看的心得。 我是看一本叫Practical Model-based testing的原文書,裡面介紹了很多的 方法與工具,而會想做model-based testing的原因是希望能夠在還未進行 coding時,就能先測試問題出來,所以應該是在PIM層次做測試,但是礙於沒有 試用版的軟體可以跑,所以目前只是紙上談兵,書上內容介紹的流程如下: 1.需求文件的分析 註:SUT-->system under test 2.產生所需的use cases 3.根據2.產生class diagram,並選定主要的測試類別,以stereotype<<SUT>>標示, 並以stereotype<<events>>標示主要的public operation,此class diagram會比 實際系統的class diagram要精簡 4.針對SUT的class轉成UML state machine,並輔以OCL來表達,然後使用LEIRIOS的 LTG/UML工具將state machine作為輸入,以致output能產生出test cases 5.設定一個測試的initial state,因此會產生出一個object diagram,(這個物件圖 不知是不是由工具所產生,還是由人工去從類別圖instantiate出來??),接下來 再設定transition-based coverage criteria以及data-based coverage criteria 等等,最後會產生出一組test cases 6.將所產生的test cases轉換成executable test scripts,書上介紹三種方法, adaptation、transformation、mixed(結合前面兩種),而這裡書上主要是介紹 ruby on rails,也就是可以產生出ruby test scripts並執行測試,此外,在書中 的個案研究中,作者有使用另一套叫expect test tool去做轉換,轉出來好像是 叫Tcl的script,(在此我不知是否LTG/UML這套tool都有支援??) 以上大概是目前我看的內容,其實作者還有探討其它的分析方法及表達法,只是那 些東東我們不會採用,所以有些內容就skip掉了,不知版上有沒有人目前正在研究 這一塊的,可以提出來一起討論~~ -- --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.117.178.141