Дата публикации: 2011

Дата публикации в реестре: 2021-08-05T23:11:57Z

Аннотация:

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

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 89-98