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


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


документированы, поскольку они напрямую связаны с полнотой пакета тестов.

Для того, чтобы объяснить способ, которым оценивалась величина важности значений атрибутов,
необходимо явно сформулировать гипотезы о тестируемых свойствах реализации языка С++. Одна
из таких гипотез, называемая "Гипотеза об относительной корректности реализации", относится
ко всему пакету тестов. Эта гипотеза, называемая в дальнейшем ГОКР, формулируется так: "Когда
проверяется взаимодействие между различными языковыми конструкциями, предполагается, что
каждая из этих конструкций реализована правильно. Отсюда вытекает, что конкретное
представление данных конструкций не важно".

Предполагалось, что ГОКР будет использоваться только для ограничения количества тестов в
потенциально-бесконечном наборе тестов, а не для ограничения их сложности. Другими словами,
конкретный выбор языковых конструкций производился в соответствии с ГОКР, но был
тривиальным.

Поддержка версий

Пакет тестов строится и изменяется методом "от версии к версии". Любая конечная версия пакета
тестов является результатом точного последовательного выполнения следующих шагов:

  1. Строится и документиpуется список различий между стандартами C и C ++. Каждое
    различие снабжается соответствующей ссылкой на стандарт языка C++.
  2. Для каждого различия выполняется следующая последовательность шагов:
    • Каждое различие анализируется, чтобы определить может ли оно быть
      основой для аттестационных тестов. Возможно, что некоторые различия
      являются следствиями других различий или имеют информационное и
      технологическое, а не нормативное значение.
    • Для каждого различия, отбираемого, как основа для аттестационного
      тестирования, определяется набор разделов стандарта C++ соответствующий
      рассматриваемой языковой ситуации.
    • Для каждого раздела стандарта C++ определяются атрибуты тестов и
      соответствующие значения, а затем создается таблица решений. Эти действия
      для различных разделов могут быть выполнены независимо.




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