×
严、军；张健

一种有效的生成基路径测试可行路径的方法。 （英语） Zbl 1186.68129号

信息处理。莱特。 107，编号3-4，87-92（2008）.
概要：基路径测试是一种非常强大的结构测试标准。测试路径的数量等于McCabe定义的程序的圈复杂度。传统的测试生成方法要么在不考虑变量约束的情况下选择路径，要么以交互方式选择路径。在本文中，提出了一种生成一组可行基路径的有效方法。实验表明，该方法可以在可接受的时间内自动为实际C程序生成可行的基路径。

引用于三文件

MSC公司：

68N99型 软件理论

关键词：

软件工程；基本路径测试；路径可行性；测试数据生成

软件：

PathCrawler（路径爬行器）
PDF格式BibTeX公司 XML格式引用
\textit{J.Yan}和\textit{J.Zhang}，Inf.Process。莱特。107，编号3--4，87-92（2008；Zbl 1186.68129）
全文： 内政部

参考文献：

[1] D.Hedley，M.A.Hennell，《计算机程序中不可行路径的原因和影响》，摘自：Proc。第八届软件工程国际会议（ICSE’85），1985年，第259-266页；D.Hedley，M.A.Hennell，《计算机程序中不可行路径的原因和影响》，摘自：Proc。第八届软件工程国际会议（ICSE’85），1985年，第259-266页
[2] McCabe，T.J.，复杂性度量，IEEE Trans。柔和。工程师，SE-2，4308-320（1976年12月）·Zbl 0352.68066号
[3] 朱，H。；霍尔，P.A.V。；May，J.H.R.，软件单元测试覆盖率和充分性，ACM Comput。调查。，29,4366-427（1997年12月）
[4] 张杰。；Wang，X.，约束求解器及其在路径可行性分析中的应用，国际。J.软件工程师.知识工程师，11，2139-156（2001）
[5] King，J.C.，《符号执行和程序测试》，ACM委员会，19，7，385-394（1976）·兹伯利0329.68018
[6] Z.Xu，J.Zhang，C程序单元测试的测试数据生成工具，载于：第六届国际质量软件会议（QSIC’06），2006年，第107-114页；Z.Xu，J.Zhang，C程序单元测试的测试数据生成工具，载于：第六届国际质量软件会议（QSIC’06），2006年，第107-114页
[7] lp_解决方案，http://groups.yahoo.com/group/lp_solve/; lp_解决方案，http://groups.yahoo.com/group/lp_solve/
[8] J.Poole，《确定执行程序测试的基本路径集的方法》（NISTIR 5737），商务部技术代表，NIST，1995年11月；J.Poole，《确定执行程序测试的基本路径集的方法》（NISTIR 5737），NIST商务部技术代表，1995年11月
[9] A.H.Watson，T.J.McCabe，《结构化测试：使用圈复杂度度量的测试方法》，技术代表，计算机系统实验室，NIST，NIST特别出版物500-2351996年9月；A.H.Watson，T.J.McCabe，《结构化测试：使用圈复杂度度量的测试方法》，技术代表，计算机系统实验室，NIST，NIST特别出版物500-2351996年9月
[10] Bertolino，A。；Marré，M.，《基于计算机程序控制流分析的路径覆盖自动生成》，IEEE Trans。柔和。工程，20，12，885-899（1994）
[11] Z.Guangmei，C.Rui，L.Xiaowei，H.Congying，路径测试基集的自动生成，载：第十四届亚洲测试研讨会论文集（ATS’05），2005年，第46-51页；Z.Guangmei，C.Rui，L.Xiaowei，H.Congying，路径测试基集的自动生成，载：第十四届亚洲测试研讨会论文集（ATS’05），2005年，第46-51页
[12] A.H.Watson，《结构化测试：分析与扩展》，普林斯顿大学计算机科学系博士论文，1996年11月；A.H.Watson，《结构化测试：分析与扩展》，普林斯顿大学计算机科学系博士论文，1996年11月
[13] N.Williams，B.Marre，P.Mouy，M.Roger，PathCrawler：通过结合静态和动态分析自动生成路径测试，收录于：EDCC，2005年，第281-292页；N.Williams，B.Marre，P.Mouy，M.Roger，PathCrawler：通过结合静态和动态分析自动生成路径测试，收录于：EDCC，2005年，第281-292页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。