測試人員的圖論ppt課件-資料下載頁
2025-05-01 06:59本頁面
【正文】 ， D， S， In， Out)，包括三個節(jié)點(diǎn)集合 P、 D和 S，以及兩個映射集合 In和 Out。其中： P是端口事件的集合。 D是數(shù)據(jù)地點(diǎn)的集合。 S是轉(zhuǎn)移的集合。 In是 (P∪D) S的有序?qū)ε技稀? Out是 S (P∪D) 的有序?qū)ε技稀? EDPN圖 東北大學(xué)軟件學(xué)院 p3 d5 p4 p3 d6 p4 d7 s7 s8 s10 s9 為 EDPN做標(biāo)記 東北大學(xué)軟件學(xué)院 定義 EDPN(P， D， S， In， Out)的一個標(biāo)記 M，是 p元組的一個序列 M=m1， m2， … ，其中 p=k+n， k和 n是集合 P和 D中的元素個數(shù)， p元組中的個體項表示事件或數(shù)據(jù)地點(diǎn)中的記號個數(shù)。 EDPN圖中的標(biāo)記 和轉(zhuǎn)移 東北大學(xué)軟件學(xué)院 p3 d5 p4 p3 d6 p4 d7 s7 s8 s10 s9 標(biāo)記： 元組 （ p3, p4, d5, d6, d7） m1 （ 0, 0, 1, 0, 0） m2 （ 1, 0, 1, 0, 0） m3 （ 0, 0, 0, 1, 0） m4 （ 1, 0, 0, 1, 0） m5 （ 0, 0, 0, 0, 1） m6 （ 0, 1, 0, 0, 1） m7 （ 0, 0, 0, 0, 1） 轉(zhuǎn)移： 元組 描述 m1 無 m2 s7 m3 無 m4 s8 m5 無 m6 s9 m7 無 狀態(tài)圖 東北大學(xué)軟件學(xué)院 Harel使用與方法無關(guān)的術(shù)語 “ 團(tuán)點(diǎn) ” 表示狀態(tài)圖的基本構(gòu)件塊 。 團(tuán)點(diǎn)可以像維恩圖顯示集合包含那樣地包含其他團(tuán)點(diǎn) 。 團(tuán)點(diǎn)還可以像在有向圖中連接節(jié)點(diǎn)一樣地通過邊連接其他團(tuán)點(diǎn) 。 A D B C 狀態(tài)圖中得初始狀態(tài) 東北大學(xué)軟件學(xué)院 A D B C 進(jìn)入子狀態(tài)的默認(rèn)入口 東北大學(xué)軟件學(xué)院 A D B C 狀態(tài)圖中的并發(fā)狀態(tài) 東北大學(xué)軟件學(xué)院 A E F B C D 總結(jié) 東北大學(xué)軟件學(xué)院 ? 圖 ? 有向圖 ? 用于測試的圖 ， 包括程序圖 、 有向狀態(tài)機(jī) 、 Petri網(wǎng) 、狀態(tài)圖 。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1