Институт системного программирования им. В.П. Иванникова РАН


Полное тестирование с открытым состоянием ограниченно недетерминированных систем.

Авторы

И.Б. Бурдонов, А.С. Косачев.

Аннотация

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

Полный текст статьи в формате pdf

Издание

Программирование, 2009, №6–стр 3-18.

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации