×
波格丹·科尔;贾努斯·拉斯基

动态程序切片。 （英语） Zbl 0656.68018号

信息处理。莱特。 29，第3期，155-163（1988）.
动态程序切片是原始程序的可执行子集，它对选定变量和输入的子集产生相同的计算。它不同于静态切片[M.韦瑟，IEEE传输。软件工程SE-10，352-357（1984；Zbl 0552.68004号)]因为它完全是在计算的基础上定义的。两个主要优点如下：可以更精确地处理阵列和动态数据结构，并且可以显著减小切片的大小，从而实现更精细的故障定位。该方法被研究为STAD调试功能的可能扩展，STAD是作者最近开发的用于测试和调试的系统。

引用于21文件

理学硕士：

60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

切片;动态切片;弹道;数据相关性;控制依赖性;调试

引文：

Zbl 0552.68004号
PDF格式BibTeX公司 XML格式引用
\textit{B.Korel}和\textit{J.Laski}，Inf.过程。莱特。29，第3号，155--163（1988；Zbl 0656.68018）
全文： 内政部

参考文献：

[1] Aho，A.V。；Ullman，J.D.，《编译器设计原理》（1977），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0196.01702号
[2] Barth，J.M.，《一种实用的过程间数据流分析算法》，美国通信协会，21，9，724-736（1978）
[3] Bergeretti，J.F。；Carre，B.A.，信息流和数据流分析虽然-程序，ACM事务。编程语言与系统，7，1，37-61（1985）·兹伯利0559.68014
[4] Chan，F.T。；Chen，T.Y.，AIDA-A用于P的动态数据流异常检测系统ASCAL公司程序，软件实践与经验，17，3，227-239（1987）·Zbl 0607.68008号
[5] Denning，D.E。；Denning，P.J.，《安全信息流程序认证》，美国通信协会，20，7，504-513（1977）·Zbl 0361.68033号
[6] Fosdick，L.D。；Osterweil，L.J.，软件可靠性中的数据流分析，计算。调查，8305-330（1976）·Zbl 0359.68022号
[7] Hecht，M.S.，《计算机程序流分析》（1977），北荷兰：北荷兰阿姆斯特丹·Zbl 0381.68013号
[8] Huang，J.C.，通过程序仪表检测数据流异常，IEEE Trans。软件工程，SE-5，3，226-236（1979）·Zbl 0396.68012号
[9] Jones，C.B.，《软件开发，严格方法》（1980），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·兹伯利0424.68019
[10] Kennedy，K.，《全球数据流分析两种算法的比较》，SIAM J.Compute。，5, 158-180 (1976) ·Zbl 0338.68026号
[11] Korel，B.，《计算机程序错误定位自动化中基于依赖的建模》，博士论文（1986年8月），奥克兰大学工程与计算机科学学院：密歇根州奥克兰罗切斯特工程与计算机学院
[12] Korel，B.，静态程序测试中的程序依赖图，Inform。过程。莱特。，24, 2, 103-108 (1987)
[13] Korel，B。；Laski，J.，《面向数据流的程序测试工具》，Softfair II，第二届软件开发、工具、技术和替代品大会，34-38（1985年12月），加利福尼亚州旧金山
[14] Korel，B。；Laski，J.，STAD-A测试和调试系统，技术报告。TR-CSE-87-08（1987年8月），奥克兰大学工程与计算机科学学院：密歇根州罗切斯特奥克兰学院工程与计算机学院
[15] Laski，J.W.，《程序测试的分层方法》，SIGPLAN通知，第15期，第77-85页（1980年）
[16] Laski，J.，《计算机程序的数据流测试》，技术报告。TR-CSE-87-06（1987年6月），奥克兰大学工程与计算机科学学院：密歇根州罗切斯特奥克兰学院工程与计算机学院
[17] 拉斯基，J.W。；Korel，B.，《面向数据流的程序测试策略》，IEEE Trans。软件工程，SE-9，3，347-354（1983）·Zbl 0509.68011号
[18] Lengauer，T。；Tarjan，R.E.，一种在流程图中查找支配者的快速算法，ACM Trans。程序设计语言与系统，121-141（1979）·兹比尔0449.68024
[19] Longworth，H.D。；Ottenstein，L.M。；Smith，M.R.，《调试任务期间程序复杂性和切片复杂性之间的关系》，第十届国际会议。计算机软件与应用会议（COMSAQ-86），383-389（1986年10月），伊利诺伊州芝加哥
[20] Muchnick，S.S。；Jones，N.D.，《程序流分析：理论与应用》（1981），新泽西州普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯·Zbl 0468.68002号
[21] Ottenstein，K.J。；Ottenstein，L.M.，软件开发环境中的程序依赖图，ACM SIGPLAN通知，19，5，177-184（1984）
[22] Rosen，B.K.，《过程语言的数据流分析》，J.ACM，26，2，322-344（1979）·Zbl 0395.68031号
[23] Weiser，M.，《程序员在调试时使用片》，Comm.ACM，25，446-452（1982）
[24] Weiser，M.，程序切片，IEEE Trans。软件工程，SE-10，4，352-357（1984）·Zbl 0552.68004号
[25] 怀特，N.H。；Bennett，K.H.，P型运行时诊断ASCAL公司《软件实践与经验》，第15、4、359-367页（1985年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。