Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования

Авторы

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

Аннотация

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

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

Ключевые слова

тестирование, конформность, трассы, отказы, неде- терминизм, LTS.

Издание

Вестник Томского Государственного Университета, № 2(15), 2011.

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

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

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

Все публикации