ГОСТ Р ИСО МЭК 15408-3 2007 (1027766), страница 27
Текст из файла (страница 27)
Это может быть достигнуто либо тестированием через внешние интерфейсы ФБО, либо автономной проверкой интерфейсов подсистем, возможно с использованием средств и среды автономного тестирования. В случаях, когда некоторые аспекты внутреннего интерфейса не могут бытьпроверены через внешние интерфейсы, следует либо иметь логическое обоснование, что эти аспекты проверять необязательно, либо проверить этот внутренний интерфейс непосредственно. Впоследнем случае необходимо, чтобы проект верхнего уровня был достаточно детализирован дляоблегчения прямого тестирования. Иерархичные компоненты в этом семействе нацелены на проверку правильности использования внутренних интерфейсов, которые становятся видимыми, по-119ГОСТ Р ИСО/МЭК 15408-3—…(проект, окончательная редакция)скольку проект становится менее абстрактным.
Когда применяют эти компоненты, сложнее предоставить адекватное свидетельство глубины тестирования, используя только внешние интерфейсы ФБО, поэтому, как правило, необходимо тестирование на уровне модулей.17.2.4ATE_DPT.1Тестирование: проект верхнего уровняЗависимости: ADV_HLD.1 Описательный проект верхнего уровняATE_FUN.1 Функциональное тестирование17.2.4.1 ЦелиПодсистемы ФБО обеспечивают высокоуровневое описание внутреннего устройства ФБО.Тестирование на уровне подсистем для демонстрации наличия любых недостатков обеспечиваетдоверие, что подсистемы ФБО были правильно реализованы.17.2.4.2 Замечания по применениюРазработчик, как ожидается, представит описание процесса тестирования в контексте проекта верхнего уровня ФБО в терминах "подсистем".
Термин "подсистема" используют, чтобы отразить декомпозицию ФБО на относительно малое число частей.17.2.4.3 Элементы действий разработчика17.2.4.3.1ATE_DPT.1.1DРазработчик должен представить анализ глубины тестирования.17.2.4.4 Элементы содержания и представления свидетельств17.2.4.4.1ATE_DPT.1.1CАнализ глубины должен показать достаточность тестов, идентифицированных в тестовой документации, для демонстрации, что ФБО выполняются в соответствии с проектомверхнего уровня.17.2.4.5 Элементы действий оценщика17.2.4.5.1ATE_DPT.1.1EОценщик должен подтвердить, что представленная информация удовлетворяет всемтребованиям к содержанию и представлению свидетельств.17.2.5ATE_DPT.2Тестирование: проект нижнего уровняЗависимости: ADV_HLD.2 Детализация вопросов безопасности в проекте верхнего уровняADV_LLD.1 Описательный проект нижнего уровняATE_FUN.1 Функциональное тестирование17.2.5.1 ЦелиПодсистемы ФБО обеспечивают высокоуровневое описание внутреннего устройства ФБО.Тестирование на уровне подсистем для демонстрации наличия любых недостатков обеспечиваетдоверие, что подсистемы ФБО были правильно реализованы.Модули ФБО обеспечивают описание внутренних действий ФБО.
Тестирование на уровнемодулей для демонстрации наличия любых недостатков обеспечивает доверие, что модули ФБОбыли правильно реализованы.17.2.5.2 Замечания по применениюРазработчик, как ожидается, представит описание процесса тестирования в контексте проекта верхнего уровня ФБО в терминах "подсистем". Термин "подсистема" используют, чтобы отразить декомпозицию ФБО на относительно малое число частей.120ГОСТ Р ИСО/МЭК 15408-3—…(проект, окончательная редакция)Разработчик, как ожидается, опишет тестирование проекта нижнего уровня ФБО в терминах"модулей". Термин "модуль" используют, чтобы отразить декомпозицию каждой из "подсистем"ФБО на относительно малое число частей.17.2.5.3 Элементы действий разработчика17.2.5.3.1ATE_DPT.2.1DРазработчик должен представить анализ глубины тестирования.17.2.5.4 Элементы содержания и представления свидетельств17.2.5.4.1ATE_DPT.2.1CАнализ глубины должен показать достаточность тестов, идентифицированных в тестовойдокументации, для демонстрации, что ФБО выполняются в соответствии с проектом верхнегоуровня и проектом нижнего уровня.17.2.5.5 Элементы действий оценщика17.2.5.5.1ATE_DPT.2.1EОценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.17.2.6ATE_DPT.3Тестирование на уровне реализацииЗависимости: ADV_HLD.2 Детализация вопросов безопасности в проекте верхнего уровняADV_IMP.2 Реализация ФБОADV_LLD.1 Описательный проект нижнего уровняATE_FUN.1 Функциональное тестирование17.2.6.1 ЦелиПодсистемы ФБО обеспечивают высокоуровневое описание внутреннего устройства ФБО.Тестирование на уровне подсистем для демонстрации наличия любых недостатков обеспечиваетдоверие, что подсистемы ФБО были правильно реализованы.Модули ФБО обеспечивают описание внутренних действий ФБО.
Тестирование на уровнемодулей для демонстрации наличия любых недостатков обеспечивает доверие, что модули ФБОбыли правильно реализованы.Представление реализации ФБО обеспечивает детализированное описание внутреннегоустройства ФБО. Тестирование на уровне реализации для демонстрации наличия любых недостатков обеспечивает доверие, что реализация ФБО была выполнена правильно.17.2.6.2 Замечания по применениюРазработчик, как ожидается, представит описание процесса тестирования в контексте проекта верхнего уровня ФБО в терминах "подсистем". Термин "подсистема" используют, чтобы отразить декомпозицию ФБО на относительно малое число частей.Разработчик, как ожидается, представит описание процесса тестирования в контексте проекта нижнего уровня ФБО в терминах "модулей".
Термин "модули" используют, чтобы отразить декомпозицию каждой из "подсистем" ФБО на относительно малое число частей.Представление реализации используют непосредственно для генерации реализации ФБО(например, исходный текст, который затем компилируют).17.2.6.3 Элементы действий разработчика17.2.6.3.1ATE_DPT.3.1DРазработчик должен представить анализ глубины тестирования.17.2.6.4 Элементы содержания и представления свидетельств121ГОСТ Р ИСО/МЭК 15408-3—…(проект, окончательная редакция)17.2.6.4.1ATE_DPT.3.1CАнализ глубины должен показать достаточность тестов, идентифицированных в тестовойдокументации, для демонстрации, что ФБО выполняются в соответствии с проектом верхнегоуровня, проектом нижнего уровня и представлением реализации.17.2.6.5 Элементы действий оценщика17.2.6.5.1ATE_DPT.3.1EОценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.17.3 Функциональное тестирование (ATE_FUN)17.3.1ЦелиФункциональное тестирование, выполняемое разработчиком, устанавливает, что ФБО проявляют свойства, необходимые для удовлетворения функциональных требований ПЗ/ЗБ.
Такоефункциональное тестирование обеспечивает доверие к тому, что ОО, по меньшей мере, удовлетворяет функциональным требованиям безопасности ОО, хотя и не может установить, что ОО необладает большими возможностями, чем определено спецификациями. Семейство «Функциональное тестирование» сосредоточено на типе и объеме необходимой документации или требуемых инструментальных средств поддержки, а также на том, что будет демонстрировать тестирование, проведенное разработчиком.
Функциональное тестирование не ограничено позитивным подтверждением предоставления требуемых функций безопасности, но может также включать в себянегативное тестирование (часто основанное на инверсии функциональных требований) для проверки отсутствия нежелательных режимов функционирования.Это семейство способствует обеспечению доверия, что вероятность наличия незамеченныхнедостатков относительно мала.Семейства ATE_COV «Покрытие», ATE_DPT «Глубина» и ATE_FUN «Функциональное тестирование» используют совместно для определения свидетельства тестирования, представляемого разработчиком.
Независимое функциональное тестирование, выполняемое оценщиком, рассмотрено в ATE_IND «Независимое тестирование».17.3.2Ранжирование компонентовЭто семейство содержит два компонента. Иерархичный компонент содержит требование,чтобы была проанализирована зависимость от порядка выполнения процедур тестирования.17.3.3Замечания по применениюКак ожидается, процедуры выполнения тестов будут содержать инструкции по использованию тестовых программ и комплектов тестов, включая среду и условия тестирования, параметры изначения тестовых данных.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
