ГОСТ Р 8.839—2013
- формирование и индикация идентификационного обозначения программногообеспечения могут
подвергаться аттестации путем практической проверки данных функций;
- если функция обнаружения неисправностей поддерживается программным обеспечением, то
соответствующие части программного обеспечения могут подвергаться аттестации путем провоцирова
ния. реализации или моделирования какой-нибудь неисправности и проверки правильности реакции
данного измерительного прибора;
-если конфигурация или программная среда законодательно контролируемого программного
обеспечения не должны изменяться, то средства защиты можно проверить путем внесения неразре
шенных изменений. Программное обеспечение должно препятствовать этим изменениям или должно
прекратить свое функционирование.
Результат;
Рассматриваемая функция, контролируемая программным обеспечением, работает правильно
или не работает.
Дополнительные процедуры;
Некоторые особенности или функции измерительного прибора с программным управлением не
могут быть практически подвергнуты аттестации так. как это описано. Если прибор имеет интерфейсы, то
вообще говоря невозможно обнаружить неразрешенные команды только путем перебора случайных
команд. Кроме того, необходимо средство генерации этих команд. Для нормального уровня аттестации
метод, описанный в 6.3.2.1, включая декларацию изготовителя, может соответствоватьэтим требовани
ям. Для повышенного уровня проверки необходима экспертиза программного обеспечения, аналогич
ная описанной в 6.3.2.4 или 6.3.2.5.
Справочные документы;
Документы [11]. [12]. [13].
6.3.2.4 Анализ потока результатов измерений (метод DFA)
Применение:
Создание потока измеряемых значений чорез области данных, которые подпадают под законода
тельно контролируемый контроль. Проверка разделения программного обеспечения на части.
Предварительные условия;
Документация по программному обеспечению, исходный код. программа-редактор, программа
текстового поиска или специальные инструменты. Знание языков программирования.
Описание;
Цель настоящего метода заключается в выявлении всех частей программного обеспечения, кото
рые связаны с вычислением измеряемогозначения или могут оказывать влияние на него. Начиная с ап
паратного порта, на который поступают необработанные данные от датчика, проводят поиск
подпрограммы чтения данных. Эта подпрограмма будет запоминать данные в какой-нибудь перемен
ной после возможного выполнения некоторых вычислений. Из этой переменной с помощьюдругой под
программы считывают промежуточное значение и так далее до тех пор. пока на дисплей не будет
выведено законченное измеренное значение. Все переменные, которые используются в качестве сре
дства сохранения промежуточных измеряемых значений, и все подпрограммы, обеспечивающие
пере дачу этих значений, можно просто найти в исходном коде с помощью текстового редактора и
программы текстового поиска для выявления имен этой переменной или подпрограмм в другой
программе, нежели та. что на текущий момент времени открыта в упомянутом текстовом редакторе.
С помощью этого метода можно найти другие потоки данных, например, потоки данных от интер
фейсов к программе-интерпретатору получаемых команд. Кроме того, можно обнаружить потоки дан
ных в обход программного интерфейса (см. 5.2.1.2).
Результат;
Результат аттестации — правильно осуществлено разделение программного обеспечения со
гласно 5.2.1.2 или нет.
Дополнительные процедуры:
Настоящий метод рекомендуется в том случае, если реализуется разделение программного обес
печения на части и если требуется высокая степень соответствия требованиям или сильная защита от
манипуляций. Этот методявляется усилениемдля методов, описываемых в 6.3.2.1—6.3.2.3 и в6.3.2.5.
Справочные документы:
Стандарт МЭК61131-3:2003 «Программируемые контроллеры. Часть 3. Языки программирования
(IEC 61131-3:2003 «Programmable controllers — Part 3: Programming languages»).
26