Документ взят из кэша поисковой машины. Адрес оригинального документа : http://old.master.cmc.msu.ru/lectures/AnalizeIT/Ch7_4.html
Дата изменения: Thu Jan 15 23:15:52 2004
Дата индексирования: Tue Oct 2 15:26:44 2012
Кодировка: Windows-1251
Часть VII - Модель процесса установления конформности  
Перейти в оглавлению раздела

Часть 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 представлены упрощенные модели процесса установления конформности. В частности, эти модели не отражают такие аспекты, как, например, проверка конформности документации.

Предыдущая глава Оглавление Следующая глава