Спецификация и тестирование систем с асинхронным интерфейсом



         

Архитектура UniTesK для систем с синхронным интерфейсом


Настоящая глава состоит из четырех разделов. Первые три раздела посвящены рассмотрению математических моделей и принципов решения основных задач тестирования:

  • задачи оценки корректности поведения тестируемой системы;
  • задачи генерации тестовых данных;
  • задачи оценки качества тестирования.

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

Математические модели, описанные в данной главе, несколько отличаются от традиционных описаний технологии UniTesK [, , ], что обусловлено попыткой взглянуть на технологию UniTesK с точки зрения ее практического использования.




Содержание  Назад  Вперед