Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки

16+

Название статьи

АНАЛИЗ И ТЕСТИРОВАНИЕ ПРОГРАММ НА ОСНОВЕ АЛГЕБРАИЧЕСКОЙ МОДЕЛИ

Номер журнала	5
Дата выпуска	2011

Тип статьи	научная статья	Коды УДК	681.518.5
Страницы	185-190	Ключевые слова	программное обеспечение, верификация, тестирование, автоматизация, символьное выполнение, семантический анализ

Авторы

Вигура Антон Николаевич

Место работы

Вигура Антон Николаевич Нижегородский государственный технический университет им. Р.Е. Алексеева

Аннотация

Рассмотрена автоматизация тестирования программного обеспечения на основе структурного критерия и символьного выполнения программы. Предложена алгебраическая модель программы, на основе которой разработаны алгоритмы построения управляющих графов и символьного выполнения.

Загрузить статью

Библиографический список

1 . Myers G.J. The Art of Software Testing. Second edition. Wiley, 2004. 234 p.
2 . Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции / Под ред. В.М. Агафонова. М.: Мир, 1978. 613 с.
3 . Борзов Ю.В. Тестирование программ с использованием символического выполнения // Программирование. 1980. №1. С. 51-59.
4 . Белоусов А.И., Ткачев С.Б. Дискретная математика: Учеб. для вузов / Под ред. В.С. Зарубина, А.П. Крищенко. 3-е изд., стереотип. М.: Изд-во МГТУ им. Н.Э. Баумана, 2004. 744 с.