軟件測(cè)試第四章測(cè)試人員的圖論(參考版)
2024-10-06 20:25本頁(yè)面
【正文】 更多資料請(qǐng)?jiān)L問(wèn)： 。 團(tuán)點(diǎn)還可以像在有向圖中連接節(jié)點(diǎn)一樣地通過(guò)邊連接其他團(tuán)點(diǎn) 。 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)件塊 。 Out是 S (P∪D) 的有序?qū)ε技稀? S是轉(zhuǎn)移的集合。其中： P是端口事件的集合。 t1 p1 p5 p2 t3 p4 p3 t2 定義 當(dāng)觸發(fā) Petri網(wǎng)一個(gè)轉(zhuǎn)移時(shí) ， 要從其每個(gè)輸入地點(diǎn)刪除一個(gè)記號(hào) ， 并在其每個(gè)刪除地點(diǎn)增加一個(gè)記號(hào) 。 t1 p1 p5 p2 t3 p4 p3 t2 Petri網(wǎng)的標(biāo)記元組是 1，1， 0， 2， 0。 用于 PIN嘗試的有限狀態(tài)機(jī) 東北大學(xué)軟件學(xué)院 Petri網(wǎng) 東北大學(xué)軟件學(xué)院 定義 Petri網(wǎng)是一種雙向有向圖 (P， T， In， Out)， 其中 ，P和 T是不相交的節(jié)點(diǎn)集合 ， In和 Out是邊集合 ， In P T， Out T P。源狀態(tài)和吸收狀態(tài)是初始節(jié)點(diǎn)和終止節(jié)點(diǎn) ， 路徑被建模為通路 ， 等等 。 2． (經(jīng)過(guò)改進(jìn)的定義 ) 節(jié)點(diǎn)要么是整個(gè)語(yǔ)句 ， 要么是語(yǔ)句的一部分 ， 邊表示控制流 (從節(jié)點(diǎn) i到節(jié)點(diǎn) j有一條邊 ， 當(dāng)且僅當(dāng)對(duì)應(yīng)節(jié)點(diǎn) j的語(yǔ)句或語(yǔ)句的一部分 ， 可以立即在節(jié)點(diǎn) i對(duì)應(yīng)的語(yǔ)句或語(yǔ)句的一部分之 后執(zhí)行 )。 n1 n2 n4 n3 n5 n6 n7
醫(yī)療健康相關(guān)推薦
鄂ICP備17016276號(hào)-1