计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
4期
67-69
,共3页
侯芸%顾刚%高海昌%郭斌
侯蕓%顧剛%高海昌%郭斌
후예%고강%고해창%곽빈
路径覆盖%支配树%蕴含树%非限制弧
路徑覆蓋%支配樹%蘊含樹%非限製弧
로경복개%지배수%온함수%비한제호
路径覆盖是考察软件测试充分性的一种重要准则,它使程序的每个分支至少执行一次.该文通过对DDGRAPH图的定义及相关概念的分析,对构建DDGRAPH图及支配树、蕴含树、非限制弧的方法进行了改进.通过具体的应用实例对比了改进前后的方法,改进后的方法可以减少生成的路径数,用更少的测试用例发现更多的错误.
路徑覆蓋是攷察軟件測試充分性的一種重要準則,它使程序的每箇分支至少執行一次.該文通過對DDGRAPH圖的定義及相關概唸的分析,對構建DDGRAPH圖及支配樹、蘊含樹、非限製弧的方法進行瞭改進.通過具體的應用實例對比瞭改進前後的方法,改進後的方法可以減少生成的路徑數,用更少的測試用例髮現更多的錯誤.
로경복개시고찰연건측시충분성적일충중요준칙,타사정서적매개분지지소집행일차.해문통과대DDGRAPH도적정의급상관개념적분석,대구건DDGRAPH도급지배수、온함수、비한제호적방법진행료개진.통과구체적응용실례대비료개진전후적방법,개진후적방법가이감소생성적로경수,용경소적측시용례발현경다적착오.