小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2010年
6期
1185-1189
,共5页
类间交互测试%对象活跃点%对象连接子%分支冲突%标记-变迁路径%约束型标记驱动Petri网
類間交互測試%對象活躍點%對象連接子%分支遲突%標記-變遷路徑%約束型標記驅動Petri網
류간교호측시%대상활약점%대상련접자%분지충돌%표기-변천로경%약속형표기구동Petri망
面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).
麵嚮對象軟件測試的主要問題是攷慮類間交互的集成測試,交互測試能檢查齣對象間的消息傳遞產生的不可達路徑.設計瞭一種約束型標記驅動Petri網(C-LDPN)模型描述對象間的消息交互,給齣瞭UML協作圖轉換為C-LDPN的規則.在定義對象活躍點以及對象活躍格跼概唸的基礎上,根據對象所關聯的變遷得齣對象狀態集上的等價類,提齣一種消除C-LDPN中分支遲突的類間交互測試用例生成算法,求齣對象的每箇等價類中所有的活躍點數,得齣對象的總狀態數,用對象的分割連接子分割對象的狀態域得到可達性C-LDPN,用閤併連接子閤併子對象得到標準型C-LDPN,最終生成類間交互測試用例--標記-變遷路徑(LTPaths).
면향대상연건측시적주요문제시고필류간교호적집성측시,교호측시능검사출대상간적소식전체산생적불가체로경.설계료일충약속형표기구동Petri망(C-LDPN)모형묘술대상간적소식교호,급출료UML협작도전환위C-LDPN적규칙.재정의대상활약점이급대상활약격국개념적기출상,근거대상소관련적변천득출대상상태집상적등개류,제출일충소제C-LDPN중분지충돌적류간교호측시용례생성산법,구출대상적매개등개류중소유적활약점수,득출대상적총상태수,용대상적분할련접자분할대상적상태역득도가체성C-LDPN,용합병련접자합병자대상득도표준형C-LDPN,최종생성류간교호측시용례--표기-변천로경(LTPaths).