測(cè)試人員的圖論ppt課件-資料下載頁(yè)
2025-05-01 06:59本頁(yè)面
【正文】 ， D， S， In， Out)，包括三個(gè)節(jié)點(diǎn)集合 P、 D和 S，以及兩個(gè)映射集合 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)的一個(gè)標(biāo)記 M，是 p元組的一個(gè)序列 M=m1， m2， … ，其中 p=k+n， k和 n是集合 P和 D中的元素個(gè)數(shù)， p元組中的個(gè)體項(xiàng)表示事件或數(shù)據(jù)地點(diǎn)中的記號(hào)個(gè)數(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 無(wú) m2 s7 m3 無(wú) m4 s8 m5 無(wú) m6 s9 m7 無(wú) 狀態(tài)圖 東北大學(xué)軟件學(xué)院 Harel使用與方法無(wú)關(guān)的術(shù)語(yǔ) “ 團(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é)院 ? 圖 ? 有向圖 ? 用于測(cè)試的圖 ， 包括程序圖 、 有向狀態(tài)機(jī) 、 Petri網(wǎng) 、狀態(tài)圖 。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1