ГОСТ Р МЭК 60880—2010
14.3.5.2 Прикладные параметры, которые могут быть изменены во время действий оператора, долж
ны быть идентифицированы вместе с методами, используемыми для управления изменениями таких пара
метров.
14.3.5.3 Изменения, внесенные в модифицируемые данные, не должны искажатьдругие данные и
код в исполняющей системе.
14.3.5.4 Формальная сторона процедур верификации данныхдолжна быть аналогичной формальной
стороне процедур верификации и валидации программного обеспечения, включая идентификацию и выяв
ление ошибок. Должны быть проведены сквозные верификационные проверки, и эти проверки должны
включать в себя все этапы преобразования данных, начиная с извлечения данных из информации о проек те
станции и до включения структурданных в программное обеспечение, работающее в режиме «онлайн», в
том числе использование средств передачи.
14.3.5.5Данные, загружаемые в программное обеспечение, работающее в режиме «онлайн», следу
ет представлять вформе, которая позволяет провести их распечатку и верификацию, либодолжна исполь
зоваться инструментальная программа, которая воспринимает данные и хранит их в форме, допускающей
их верификацию.
14.3.5.6Должно быть обеспечено наличие оборудования, позволяющего провести верификацию всех
загруженныхданных конфигурации на месте применения.
14.3.5.7 Если данные определяют интерфейс междудвумя системами, рекомендуется, чтобы предо
ставляемые данные генерировались из одной и той же базы данных {см. 5.3.1.4 МЭК 61513).
14.3.5.8 В некоторых случаях, когда работа программного обеспечения, включая процессы, поток
данных и входные и выходные соединения, управляется или модифицируется данными конфигурации,
специальное,документально оформленное обоснование должно подтверждать соответствующий уровень
оценки, после чего кданным должны быть применены тестирования. После изменения такихданных могут
потребоваться обширные повторные тестирования системы.
14.3.6 Автоматизация тестирований
Автоматизация увеличивает число тестирований, которые могут быть проведены за данный период
времени. Этого можно достичь, выполняя следующие требования:
14.3.6.1 Рекомендуется, чтобы инструментальные программы автоматизированной валидации, кото
рые вырабатывают испытательные данные, передают или преобразуют эти данные и результаты тестиро
ваний, а также оценивают результаты тестирований, осуществляли полное составление протокола. Это
применимо как к тестированиям модулей, так и к моделированиям станции.
14.3.6.2 Соответствующие инструментальные программы следует использовать при тестировании
и/или моделированиях поведения рабочей программы, загружаемой в целевую систему.
14.3.6.3 Соответствующие инструментальные программы должны использоваться для обеспечения
или верификации того, что нужная рабочая программа правильно загружается в конечную систему.
14.3.6.4 Следует рассмотретьприменение следующихдополнительных инструментальных программ:
1) тестовые генераторы, анализаторы тестового покрытия и тестовыедрайверы;
2) диагностические программы, работающие в режиме «онлайн», с проверкой состояния памяти и
оборудованием для трассировки:
3) отладочные программы с отладочным оборудованием на уровне исходного кода;
4) автоматизированные тестовые наборы для упрощения регрессивного тестирования.
15 Аттестация ранее разработанного программного обеспечения
15.1 Общие сведения
В настоящем подразделе представлены требования к использованию ранее разработанного про
граммного обеспечения (РПО) в компьютерных СКУ. Эти требования установлены как часть требований к
аттестации систем, в которые интегрировано РПО (см. 6.4 МЭК 61513).
РПОдля СКУ можетбыть представлено от небольших компонентов программного обеспечения (на
пример. библиотечные модули прикладных функций)до больших и сложных программных продуктов (на
пример, части операционных систем или драйверов коммуникаций). По отношению к техническим сред
ствам РПО можно разделить надва типа:
37