计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
17期
57-60
,共4页
Petri网%独立段组(ISG)%测试用例%可行性
Petri網%獨立段組(ISG)%測試用例%可行性
Petri망%독립단조(ISG)%측시용례%가행성
软件测试不仅要考虑到功能的正确性、覆盖的完整性,也应该考虑到测试用例的可行性.一种常用的产生测试用例的方法是路径覆盖,它是通过分析控制流来产生的,但是这样很可能产生不可行路径.论文运用Petri网来描述程序,并且按照一定的数学规则将此Petri网进行分解,得到独立的段组(Independent Segment Group,ISG)并产生测试用例,最后设计一个算法找到满足覆盖准则的最少测试用例.
軟件測試不僅要攷慮到功能的正確性、覆蓋的完整性,也應該攷慮到測試用例的可行性.一種常用的產生測試用例的方法是路徑覆蓋,它是通過分析控製流來產生的,但是這樣很可能產生不可行路徑.論文運用Petri網來描述程序,併且按照一定的數學規則將此Petri網進行分解,得到獨立的段組(Independent Segment Group,ISG)併產生測試用例,最後設計一箇算法找到滿足覆蓋準則的最少測試用例.
연건측시불부요고필도공능적정학성、복개적완정성,야응해고필도측시용례적가행성.일충상용적산생측시용례적방법시로경복개,타시통과분석공제류래산생적,단시저양흔가능산생불가행로경.논문운용Petri망래묘술정서,병차안조일정적수학규칙장차Petri망진행분해,득도독립적단조(Independent Segment Group,ISG)병산생측시용례,최후설계일개산법조도만족복개준칙적최소측시용례.
