Аннотация

Выявление пути распространения ошибки. Программный слайсинг. Статический, динамический слайсинг. Слайсинг бинарного кода.

Слайды
PDF
865 KiB
Литература
Weiser. M. Program Slicing // 352 IEEE Transactions on software engineering, Volume SE-IO, NO. 4, July. - 1984. Tip F. A Survey of Program Slicing // Journal of programming languages, Volume 3. - 1995. - C. 121-189 Horwitz S., Reps T., Binkley D. Interprocedural slicing using dependence graphs // Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation. - 1988. - C. 35-46 Korel B., Laski J. Dynamic program slicing // Information Processing Letters, Volume 29 Issue 3, October 26. - 1988. - C. 155-163 Harman M., Danicic S., Sivagurunathan Y. Next 700 slicing criteria // 2nd Workshop on Program Comprehension, Durham, England, 11th – 12th July. - 1996.