Документ взят из кэша поисковой машины. Адрес
оригинального документа
: 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 |
Часть VII7.4 Модель процесса установления конформностиПроцесс установления конформности IUT стандарту API иллюстрируется на рис.7.1. Данный процесс предполагает следующие шаги:
Метод тестирования стандарта содержит описания утверждений, на основе которых и строится реализация метода тестирования (в частности, тестовые комплекты), а также описания кодов результата тестирования утверждений. Когда реализация метода тестирования исполняется, в общем случае продуцируется промежуточный код результата тестирования, который посредством дополнительной обработки должен быть отображен в окончательный код результата тестирования. Именно, окончательный код результата тестирования сопоставляется с конформными кодами для вынесения вердикта о конформности тестируемой системы IUT стандарту (стандартам). Рис. 7.1. Процесс установления конформности IUT (тестируемой реализации) стандарту API. На рис. 7.2 показано развитие рассмотренной выше модели процесса тестирования конформности стандарту применительно к профилю, использующего несколько базовых спецификаций. Рис. 7.2. Процесс установления конформности IUT профилю API Заметим, что на рис. 7.1 и 7.2 представлены упрощенные модели процесса установления конформности. В частности, эти модели не отражают такие аспекты, как, например, проверка конформности документации. |