Презентация на тему Тестирование на основе моделей

презентация по теме Тестирование на основе моделей

Данная презентация группу  спецификации, верификации и тестирования ИСП РАН. Вы рассмотрите такие разделы проекта, как формирование группы, результаты первого проекта, проблемы тестирования, контрактные спецификации: предусловия и постусловия операций, инварианты типов данных, критерий качества тестирования – покрытие спецификаций, построение конечного автомата по спецификации и заданному уровню покрытия, построение теста во время выполнения – обход конечного автомата, повышение уровня абстракции при разработке тестов.  Скачать данную презентацию можно с нашего сайта по ссылке ниже.


Оставить комментарий

Комментарии содержащие ненормативную лексику или спам будут удаляться.

Ваш комментарий будет первым