Часть VII

7.4 Модель процесса установления конформности

     Процесс установления конформности IUT стандарту API иллюстрируется на рис.7.1.

    Данный процесс предполагает следующие шаги:

• Разработку стандартных методов тестирования посредством применения рассматриваемой методологии тестирования конформности POSIX к базовому стандарту. Такая разработка может включать:
  • Разбиение текста стандарта на слабо зависимые друг от друга части.
  • Систематический анализ частей текста стандарта и выделение из него фрагментов, выражающих требования конформности.
  • Формулировку требований конформности в виде одного или нескольких более точно сформулированных утверждений конформности.
  • Определение для утверждений конформности эталонных результирующих значений (Conforming Test Results Codes).
  • Записи утверждений конформности в стандартной синтаксической нотации.
  • Определение неавтоматических методик проверки результатов тестирования, а также требований к документации.
• Реализацию методов тестирования в виде комплектов тестов (Conforming Test Suites).
• Инсталляцию, конфигурирование, исполнение комплектов тестов и протоколирование результатов тестовых прогонов.
• Анализ значений промежуточных кодов результата тестирования (Intermediate Test Result Codes) и их отображение, если это возможно, в конечные коды результата тестирования (Final Test Result Codes).
• Проверку конформности реализации посредством сопоставления полученных значений конечных кодов результата тестирования с эталонными значениями кодов конформности и вынесение итогового вердикта.

    Метод тестирования стандарта содержит описания утверждений, на основе которых и строится реализация метода тестирования (в частности, тестовые комплекты), а также описания кодов результата тестирования утверждений. Когда реализация метода тестирования исполняется, в общем случае продуцируется промежуточный код результата тестирования, который посредством дополнительной обработки должен быть отображен в окончательный код результата тестирования. Именно, окончательный код результата тестирования сопоставляется с конформными кодами для вынесения вердикта о конформности тестируемой системы IUT стандарту (стандартам).

Рис. 7.1. Процесс установления конформности IUT (тестируемой реализации) стандарту API.

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

Рис. 7.2. Процесс установления конформности IUT профилю API

    Заметим, что на рис. 7.1 и 7.2 представлены упрощенные модели процесса установления конформности. В частности, эти модели не отражают такие аспекты, как, например, проверка конформности документации.