D.1 Введение

ПЗ предназначен для использования в качестве ”шаблона“ для ЗБ. То есть, ПЗ описывает совокупность потребностей пользователя, в то время как ЗБ, который соответствует этому ПЗ, описывает ОО, который удовлетворяет данные потребности.

Следует заметить, что также возможно использовать один ПЗ в качестве ”шаблона“ для другого ПЗ. То есть, ПЗ может требовать соответствие другому ПЗ. Этот случай полностью аналогичен утверждению о соответствии ПЗ в ЗБ. Для ясности в данном Приложении описывается только случай ЗБ/ПЗ, но оно распространяется и на случай ПЗ/ПЗ.

ОК не допускает любой формы частичного соответствия, таким образом, если в ПЗ или ЗБ заявлено о соответствии ПЗ, то данные ПЗ или ЗБ должны полностью соответствовать указанному (указанным) ПЗ, на которое (которые) имеется ссылка. Однако существуют два типа соответствия (“строгое“ и ”демонстрируемое“), при этом допустимый тип соответствия определяется в ПЗ. Таким образом, в ПЗ (в утверждении о соответствии ПЗ, см. B.5), устанавливают допустимые типы соответствия для ЗБ. Данное отличие между строгим и демонстрируемым соответствием применимо на индивидуальной основе для каждого ПЗ, по отношению к которому в ЗБ утверждается о соответствии. Это может означать, что ЗБ ”строго“ соответствует одному ПЗ, а тип соответствия другому ПЗ – ”демонстрируемое“ соответствие. ”Демонстрируемый“ тип соответствия ПЗ допустим для ЗБ только, если в ПЗ это явно разрешено, в то же время ЗБ может ”строго“ соответствовать любому ПЗ.

Другими словами, для ЗБ является допустимым ”демонстрируемое“ соответствие ПЗ только, если ПЗ явно разрешает это.

Соответствие ПЗ означает, что ПЗ или ЗБ (а если для ЗБ имеется оцененный продукт, то и продукт также) отвечают всем требованиям данного ПЗ.

Выпущенные ПЗ обычно будут требовать ”демонстрируемого“ соответствия. Это означает, что ЗБ, в котором утверждается о соответствии подобному ПЗ, должно предлагать решение общей проблемы безопасности, описанной в ПЗ, но может это сделать любым способом, который является эквивалентным или более ограничительным, по отношению к описанному в ПЗ. ”Эквивалентный или более ограничительный“ способ подробно определен в рамках ОК, но в принципе это означает, что ПЗ и ЗБ могут содержать полностью различные утверждения, в которых рассматриваются различные сущности, используются различные понятия и т.д., при условии, что в целом ЗБ налагает идентичные ПЗ или большие ограничения по отношению к ОО, а также – идентичные ПЗ или меньшие ограничения по отношению к среде функционирования ОО.

Дата добавления: 2014-01-15