期刊文献+

路径覆盖自动生成技术研究 被引量:7

Research on Automatic Generation of Path Coverage
下载PDF
导出
摘要 路径覆盖是路径测试最重要的课题之一。文章给出了ddgraph图的支配树、蕴含树和非限制弧的构造方法,提出了一种基于最小路径测试子集的寻找单个测试路径算法,该算法可有效地生成从入口到出口且覆盖非限制弧的路径子集,并给出了具体的应用实例。 Path coverage is one of the most important topics of the path testing research.This paper gives the con-struction method of dominance tree,implication tree and unconstrained arcs in ddgraph,and presents a FIND_A_PATH algorithm based on minimum number of paths testing subset.It can constructs the path subset from entry to exit,using unconstrained arcs,and an example is given in this paper.
出处 《计算机工程与应用》 CSCD 北大核心 2003年第16期123-125,共3页 Computer Engineering and Applications
基金 黑龙江省教育厅科技项目(编号:10513011) 哈尔滨师范大学基金项目资助
关键词 ddgraph 支配树 蕴含树 非限制弧 寻找单个测试路径算法 Ddgraph,Dominator Tree,Implied Tree,Unconstrained Arc,Find_A_Path Algorithm
  • 相关文献

参考文献8

  • 1伦立军,宋益波.基于程序图的路径测试[J].小型微型计算机系统,1998,19(7):74-77. 被引量:7
  • 2伦立军,丁雪梅.路径表达式的构造方法及路径测试[J].微机发展,1999,9(5):35-36. 被引量:3
  • 3Shooman M.Software Engineering : Design, Reliability and Management [M].MeGraw-Hill, 1983.
  • 4Chellappa M.Nontraversible Paths in a Program[J].IEEE Transactions on Software Engineering, 1987; 13(6) :751-756.
  • 5Bertolino A.Unconstrained Edges and Their Application to Branch Analysis and Testing of Progranm[J].The Journal of Systems and Software, 1993 ;20(2) : 125-133.
  • 6Bertolino A,Marré M.How Many Paths are Needed for Branch Testing?[J].The Journal of Systems and Software, 1996;35(2) :95-106.
  • 7Bertolino A,Marré M.Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs[J].IEEE Transactions on Software Engineering, 1994 ;20 (12) : 885-899.
  • 8Bertolino A,Mirandola R,Peciola E.A Case Study in Branch Testing Automation[J].The Journal of Systems and Software, 1997 ;38 ( 1 ) :47-59.

二级参考文献4

共引文献6

同被引文献54

引证文献7

二级引证文献29

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部