ГОСТ Р ИСО/МЭК ТО 19791 — 2008
AOT_FUN.1.3D Разработчик/интегратор должен обеспечивать анализ уровня детализации и комплексного
тестирования мер обеспечения безопасности.
С.7.2.4.2 Элементы содержания и представления свидетельств
AOT_FUN.1.1C Тестовая документация должна состоять из планов тестов, описания тестовых процедур,
предполагаемых и фактических результатов тестов.
AOT_FUN.1.2C Анализ проверки мер обеспечения безопасности должен демонстрировать абсолютное
соответствие между мерами обеспечения безопасности, определенными в ЗБ. и тестами, изложенными в тесто вой
документации.
AOT_FUN.1.3C В планах тестов должны быть определены функции безопасности, предназначенные для
тестирования, и изложена цель тестов, предназначенных для выполнения.
AOT_FUN.1.4C В описаниях тестовых процедур должны быть определены тесты, предназначенные для
выполнения, и изложены сценарии тестирования каждой функции безопасности. Эти сценарии должны вклю
чать в себя все зависимости упорядочения по результатам других тестов.
AOT_FUN.1.5C В предполагаемых результатах тестов должны быть отражены ожидаемые выходные дан
ные после успешного выполнения тестов.
AOT_FUN.1.6C Результаты тестов, выполненных разработчиком/интегратором. должны демонстрировать
заданное поведение каждой тестируемой функции безопасности.
AOT_FUN.1.7C Тестовая документация должна включать в себя анализ зависимостей упорядочения тесто
вых процедур.
С.7.2.4.3 Элементы действий оценщика
AOC_FUN 1.1Е Оценщик должен подтвердить соответствие представленной информации всем требовани
ям к содержанию и представлению свидетельств.
С.7.3 Покрытие тестами автоматизированной системы (AOT_COV)
С.7.3.1 Цели
Даннов семейство рассматривает аспекты тестирования, связанные с полнотой покрытия тестами. То есть,
оно рассматривает степень тестирования ФБС и достаточность этой степени для демонстрации работы ФБС
заданным образом.
С.7.3.2 Ранжирование компонентов
Данное семейство состоит из двух компонентов. Эти компоненты распределяются на основе возрастающей
строгости испытания интерфейсов и возрастающей строгости анализа достаточности тестов для демонстрации
действия ФБС в соответствии с функциональной спецификацией ее интерфейса.
С.7.3.3 AOT_COV.1 Свидетельство покрытия тестами
Зависимости:
ASDJFS.1 Функциональная спецификация интерфейса;
AOT_FUN.1 Функциональное тестирование.
С. 7.3.3.1 Цели
Назначением данного компонента является установление факта, что ФБС была тестирована по отношению
к функциональной спецификации интерфейса систематическим образом. Это достигается посредством изучения
анализа соответствия, проведенного разработчиком и/или интегратором.
С.7.3.3.2 Замечания по применению
В то время как целью тестирования является покрытие ФБС. требование по предоставлению чего-либо для
проверки этого утверждения, кроме неформального отображения тестов в функциональной спецификации ин
терфейса и самих испытательных данных, отсутствует.
Для данного компонента требуется разработчик/интегратор для демонстрации того, что идентифицирован
ные тесты включают в себя тестирование всех видимых функций безопасности, как описано в функциональной
спецификации интерфейса. Анализ должен не только показывать соответствие между тестами и
функциями безопасности, но также обеспечивать оценщика информацией, достаточной для определения
способа выполне ния функций. Данная информация может применяться в планировании дополнительных
тестов оценщика. Хотя на этом уровне разработчику/интегратору приходится демонстрировать, что каждая из
функций в функциональ ной спецификации интерфейса была тестирована, объем тестирования не обязательно
должен быть исчерпыва ющим.
С.7.3.3.3 Элементы действий разработчика/интегратора
AOT_COV.1.1D Разработчик/интегратор должен обеспечивать анализ покрытия тестами.
С.7.3.3.4 Элементы содержания и представления свидетельств
AOT_COV.1.1C Анализ покрытия тестами должен демонстрировать соответствие между тестами, идентифи
цированными в тестовой документации, и ФБС. доступными посредством видимых интерфейсов автоматизиро
ванной системы, описанных в функциональной спецификации интерфейсов.
AOT_COV.1.2C Анализ покрытия тестами должен демонстрировать полноту соответствия между ФБС, дос
тупными посредством видимых интерфейсов автоматизированной системы, описанных в функциональной специ
фикации интерфейсов, и тестами, идентифицированными в тестовой документации.
100