程序切片技术及应用

书籍简介:

本书介绍了程序切片的起源和发展，程序切片技术的图形理论基础，程序切片的各种变体（如静态切片、动态切片、有条件切片、并发切片、面向对象程序的切片、体系结构切片和规约切片等），计算程序切片的各种方法，以及程序切片技术在软件调试、波动分析、软件测试、度量、重用、程序理解、逆向工程、软件安全等方面的应用，并展示了程序切片技术的发展趋向。

书籍规格:

书籍信息归属:

程序切片技术及应用是科学出版社于2006.03出版的中图分类号为 TP311.5 的主题关于 软件－测试 ,软件－分析 的书籍。