计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
9期
135-138
,共4页
并发程序%Petri网%独立段群
併髮程序%Petri網%獨立段群
병발정서%Petri망%독립단군
并发程序的测试路径具有不可预测性,而Petri网在描述并发方面具有其它系统模型无法比拟的优势.因此通过Petri网来产生并发程序的测试路径:对有并发程序的源代码构造的Petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群,此独立段群即为该并发程序的测试路径.实验证明,将Petri网用于并发程序测试用的例生成降低了测试难度,提高了测试效率.
併髮程序的測試路徑具有不可預測性,而Petri網在描述併髮方麵具有其它繫統模型無法比擬的優勢.因此通過Petri網來產生併髮程序的測試路徑:對有併髮程序的源代碼構造的Petri網模型進行圖形矩陣轉換;按照一定的規則得齣相應的獨立段組;閤併獨立段組得齣網的獨立段群,此獨立段群即為該併髮程序的測試路徑.實驗證明,將Petri網用于併髮程序測試用的例生成降低瞭測試難度,提高瞭測試效率.
병발정서적측시로경구유불가예측성,이Petri망재묘술병발방면구유기타계통모형무법비의적우세.인차통과Petri망래산생병발정서적측시로경:대유병발정서적원대마구조적Petri망모형진행도형구진전환;안조일정적규칙득출상응적독립단조;합병독립단조득출망적독립단군,차독립단군즉위해병발정서적측시로경.실험증명,장Petri망용우병발정서측시용적례생성강저료측시난도,제고료측시효솔.