ГОСТ Р ИСО/МЭК 15408-3—2002
ATE_DPT.2.1D Разработчикдолжен представить анализ глубины тестирования.
Элементы содержания и представления свидетельств
ATE_DPT.2.1C Анализ глубиныдолжен показатьдостаточность тестов, идентифицированных в
тестовой документации, для демонстрации, что ФБО выполняются в соответ
ствии с проектом верхнего уровня н проектом нижнего уровня.
Элементы действий оценщика
ATE_DPT.2.1E Оценщикдолжен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ATE_DPT.3 Тестирование на уровне реализации
Цели
Подсистемы ФБО обеспечивают высокоуровневое описание внутренних действий ФБО. Тестиро
вание на уровне подсистем .гаядемонстрации наличия любых недостатков обеспечивает доверие, что
подсистемы ФБО были правильно реализованы.
Модули ФБО обеспечивает описание внутренних действий ФБО. Тестирование на уровне модулей
для демонстрации наличия любых недостатков обеспечивает доверие, что модули ФБО были правиль
но реализованы.
Представление реализации ФБО обеспечиваетдетализированное описание внутренних действий
ФБО. Тестирование на уровне реализации длядемонстрации наличиялюбых недостатков обеспечивает
доверие, что реализация ФБО была выполнена правильно.
Замечания по применению
Разработчик, как ожидается, опишет тестирование проекта верхнего уровня ФБО в терминах
«подсистем». Термин «подсистема» используют, чтобы отразить декомпозицию ФБО на относительно
малоечисло частей.
Разработчик, как ожидается, опишет тестирование проекта нижнего уровня ФБО в терминах
«модулей». Термин «модули* используют, чтобы отразить декомпозицию каждой из «подсистем» ФБО
на относительно малое число частей.
Представление реализации используют непосредственно для генерации реализации ФБО (напри
мер. исходный текст, который затем компилируют).
Зависимости
ADV HLD.2 Детализация вопросов безопасности в проекте верхнего уровня
ADVJMP.2 Реализация ФБО
ADV LLD.I Описательный проект нижнего уровня
ATE_FUN.I Функциональное тестирование
Элементы действий разработчика
ATE_DPTJ.1D Разработчикдолжен представить анализ глубины тестирования.
Элементысодержания и представления свидетельств
ATE_DPT.3.1C Анализ глубины должен показатьдостаточность тестов, идентифицированных в
тестовой документации, для демонстрации, что ФБО выполняются в соответ
ствии с проектом верхнего уровня, проектом нижнего уровня и представлением
реализации.
Элементы действий оценщика
ATE_DPT.3.1E Оценщикдолжен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлениюсвидетельств.
13.3 Функциональное тестирование (ATE_FUN)
Цели
Функциональное тестирование, выполняемое разработчиком, устанавливает, что ФБО проявля
ют свойства, необходимые для удовлетворения функциональных требований ПЗ/ЗБ. Такое функцио
нальное тестирование обеспечиваетдоверие к тому, что ОО по меньшей мере удовлетворяет функци
ональным требованиям безопасности ОО. хотя и не может установить, что ОО не обдааает
большими возможностями, чемопределено спецификациями. СемействоATE_FUN сосредоточено на
типе иобъеме необходимой документации или требуемых инструментальных средств поддержки, а
также на том, что будет демонстрироватьтестирование, проведенное разработчиком.
Функциональное тестирование не ограничено позитивным подтверждением предоставления
требуемых функций безопасности, но может также включать в себя негативное тестирование (часто
основанное на инверсии функциональных требований) для проверки отсутствия нежелательных
режимов функционирования.
6-Г
79