ГОСТ Р ИСО/МЭК 10746-1-2004
тов, которые могут ей удовлетворять, то перевод оста&зяет это множество неизменным, а уточне
ние приводит к его подмножеству.
После установки и приемки система ОРО переходит в стадию операционного использования,
при котором встречаются потребности, выраженные в устанаатнвающнх эти требования докумен
тах. Способность продукта удовлетворить эти требования зависит от ряда приемов,
использованных при разработке. Стандарты по обеспечению «качества* описывают согласованный
набор таких при емов. относящихся к организации людей, документации и стадий жизненного
никла, на которых они применяются. Обычно какие-то измерения качества осуществляются на
каждой стадии, и про водятся соответствующие изменения, если обнаруживается недостаточное
качество. Оценка соот ветствия обеспечивает измерение качества обычно на той фазе, на которой
реализуется специфика ция. Однако она может быть использована или применена и на других
стадиях.
9.2 Оценка соответствия —рассматриваемые взаимосвязи
Относящиеся к соответствию взаимосвязи между спецификациями и фактическими реализа
циями подразделяются на две группы:
- взаимосвязи между спецификациями и фактическими реализациями (соответствие) и
- взаимосвязи между самими спецификациями (согласованность, уточнение, последователь
ность и внутренняя корректность).
Соответствие является взаимосвязью между спецификацией и фактической реализацией. Оно
имеет место, когда конкретные требования спецификации (требования соответствия) удовлетворя
ются реализацией. Оценка соответствия —процесс, при котором эта взаимосвязь определяется.
Согласованность является отношением между двумя спецификациями А и В. которое имеет
место, когда спецификация Аустанавливает требования, удовлетворяемые спецификацией В (когда
Всогласуется с А).
В процессе разработки продукта соответствие фактической реализации не всегда оценивается
относительно спецификации «нижнего уровня* (т. е. реализуемой). Для этого можно использовать
спецификацию «верхнего уровня* (например, ту, уточнение которой привело к реализуемой спе
цификации). Влюбом случае важно соответствие между последовательными спецификациями. Такое
соответствие определяется правилами уточнения.
Две спецификации связаны отношением уточнения, когда одна из них является уточнением
другой и все продукты, которые могут удовлетворять уточнению, также соответствуют специфика
ции. из которой оно было получено. Это гарантирует, что все ограничения более общей специфи
кации присутствуют в уточненной спецификации.
Спецификации не всегда взаимосвязаны тем. что были выведены из одного и того же набора
требований. Иногда они могут разрабатываться с двух и более независимых точек зрения (например,
спецификации на языках разных точек зрения). В гаком случае последовательность спецификаций
может оказаться под вопросом: важно, чтобы требования одной спецификации не противоречили
требованиям другой. Последовательность является отношением между двумя спецификациями, ко
торое имеет место, когда может существовать по крайней мере один пример продукта, соответству
ющего обеим спецификациям.
Спецификация является корректной, когда нет противоречия между установленными ею свой
ствами и свойствами, которые она требует неявно (например, можно ожидать, что спецификация
протокола будет свободна от взаимной блокировки), и когда может существовать по крайней мере
один пример продукта, который может ей соответствовать (т. е. она не является внутренне противо
речивой).
Оценка соответствия является определением этих взаимосвязей либо путем тестирования (со
ответствие), либо путем проверки спецификаций (согласованность, проверка уточнения, последо
вательности и внутренней корректности).
9.3 Точки соответствия и относящиеся к ним понятия
Когда, используя аттестационное тестирование, оценивается соответствие реализации специ
фикации ОРО. ее поведение проверяется (путем воздействий и наблюдений за результирующими
событиями) в конкретных точках (взаимодействия). Используемые точки называются «точками со
ответствия» и обычно выбираются из числа тех точек, положение которых специфицировано в
архитектуре БМ-ОРО. Эти потенциальные точки соответствия называются опорными точками.
Для согласованности с БМ-ОРО стандарты ОРО обязаны содержать утверждения о соответ
ствии. которые должны (в числе прочего) устанавливать, какие опорные точки должны использо
ваться при аттестационном тестировании. Подразумевается, что каждая установленная в специфи
кации точка соответствия является определенной в архитектуре опорной точкой.
41