Индустрия программирования


4. Тестовый пакет - часть 3


книгах Майеpса . Однако, несмотря на кажущуюся простоту, явное использование методов
Майеpса оказалось непрактичным.

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

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

Несмотря на эти замечания, разработка спецификаций для А-тестов включает в себя следующие
четыре шага:

  1. Определяется набор тестовых атрибутов. Атрибут теста - это любой атрибут или свойство
    языковой конструкции или выражения, встречающиеся в рассматриваемой части стандарта, или
    любое свойство контекста данной конструкции, которое может рассматриваться как предмет
    отдельного тестирования.
  2. Для каждого тестового атрибута определяется набор возможных значений. Каждое значение
    должно удовлетворять следующим двум требованиям:
    • значение присутствует в стандарте,
    • значение определяет отдельную тестируемую сущность.

  3. Определяется набор эффектов, получаемых при компиляции. Каждый эффект должен
    удовлетворять следующим двум требованиям:
    • существует возможность определения наличия или отсутствие данного
      эффекта,
    • данный эффект должен быть как можно проще.

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



    - Начало -  - Назад -  - Вперед -