计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2002年
10期
39-40,122
,共3页
测试例%路径空间%状态图%基本路径集%缺省边%生成树%线性无关
測試例%路徑空間%狀態圖%基本路徑集%缺省邊%生成樹%線性無關
측시례%로경공간%상태도%기본로경집%결성변%생성수%선성무관
在协议测试中,设计测试例是主要工作之一,测试例包括了对状态错和数据错的测试.测试状态错要求对状态图中路径进行遍历.基于向量空间的思想,设计了一个生成基本路径集的算法,使得状态图中任何路径都可由基本路径通过线性组合生成,以达到简化协议路径抖测试之目的,并对此加以了证明.
在協議測試中,設計測試例是主要工作之一,測試例包括瞭對狀態錯和數據錯的測試.測試狀態錯要求對狀態圖中路徑進行遍歷.基于嚮量空間的思想,設計瞭一箇生成基本路徑集的算法,使得狀態圖中任何路徑都可由基本路徑通過線性組閤生成,以達到簡化協議路徑抖測試之目的,併對此加以瞭證明.
재협의측시중,설계측시례시주요공작지일,측시례포괄료대상태착화수거착적측시.측시상태착요구대상태도중로경진행편력.기우향량공간적사상,설계료일개생성기본로경집적산법,사득상태도중임하로경도가유기본로경통과선성조합생성,이체도간화협의로경두측시지목적,병대차가이료증명.
