2.6.3. Уровню "А" защиты ПО СИ от непреднамеренных и преднамеренных изменений соответствует такой уровень защиты метрологически значимой части ПО СИ и измеренных данных, при котором не требуется специальных средств защиты, исключающих возможность несанкционированной модификации, обновления (загрузки), удаления и иных преднамеренных изменений метрологически значимой части ПО СИ и измеренных данных.
2.3.6. Уровню "В" защиты ПО СИ от непреднамеренных и преднамеренных изменений соответствует такой уровень защиты метрологически значимой части ПО СИ и измеренных данных, при котором примененные специальные средства защиты не исключают возможность несанкционированной модификации, обновления (загрузки), удаления и иных преднамеренных изменений метрологически значимой части ПО СИ и измеренных данных.
ПО СИ с таким уровнем защиты от непреднамеренных и преднамеренных изменений не может применяться в СИ без внесения дополнительных специальных средств защиты, позволяющих в достаточной мере исключить возможность несанкционированной модификации, обновления (загрузки), удаления и иных преднамеренных изменений метрологически значимой части ПО СИ и измеренных данных.
2.6.5. Уровню "С" защиты ПО СИ от непреднамеренных и преднамеренных изменений соответствует такой уровень защиты метрологически значимой части ПО СИ и измеренных данных, при котором примененные специальные средства защиты в достаточной мере исключают возможность несанкционированной модификации, обновления (загрузки), удаления и иных преднамеренных изменений метрологически значимой части ПО СИ и измеренных данных.
Содержание п. п. 2.6.3 - 2.6.5 представлено в таблице 1.
2.6.6. Для каждого уровня защиты ПО СИ от непреднамеренных и преднамеренных изменений должна быть в достаточной степени обеспечена защита метрологически значимой части ПО СИ и измеренных данных от случайных или непреднамеренных изменений.
2.6.7. Сведения о защите метрологически значимой части ПО СИ и измеренных данных от случайных или непреднамеренных изменений, о защите метрологически значимой части ПО СИ и измеренных данных от преднамеренных изменений, и об уровне защиты ПО СИ от непреднамеренных и преднамеренных изменений вносят в протокол испытаний.
И МЕТОДОВ ИДЕНТИФИКАЦИИ
3.1. Проверка идентификационных данных (признаков) является неотъемлемой и важной частью проверки уровня защиты ПО.
наименование ПО СИ;
номер версии метрологически значимой части ПО СИ;
контрольная сумма метрологически значимой части ПО СИ.
3.3. Идентификационные данные (признаки) определяются только для метрологически значимой части ПО. Проверке идентификационных данных должна предшествовать проверка разделения ПО на метрологически значимую и не значимую части.
3.4. Проверка разделения программного обеспечения.
3.4.1. Разделение ПО СИ проводят в целях выделения в составе ПО СИ метрологически значимой части, т.е. той его части, которая может оказывать влияние на МХ СИ и которая, следовательно, подлежит проверке.
3.4.2. К метрологически значимой части ПО СИ относятся программы и программные модули, выполняющие функции сбора, передачи, обработки, хранения и представления измерительной информации, а также параметры, характеризующие тип СИ и внесенные в ПО.
3.4.3. После утверждения типа СИ метрологически значимая часть ПО не должна изменяться. Любая модификация метрологически значимой части ПО приводит к изменению его идентификационных данных (признаков) и к необходимости повторной проверки ПО.
3.4.4. Метрологически не значимая часть ПО проверке не подлежит. Ее модификация может быть выполнена без уведомления уполномоченных органов, если изменение этой части не проводит к изменению идентификационных данных (признаков) метрологически значимой части ПО СИ.
3.4.5. Если разделение ПО СИ не проведено, то все ПО рассматривается как метрологически значимое.
Примечание - Все встроенное ПО рассматривается как метрологически значимое.
3.4.6. Разделение ПО на метрологически значимые и не значимые части рекомендуется проводить разработчикам автоматизированных СИ. Оно может быть проведено как на "низком", так и на "высоком" уровнях.
"Низкий" уровень разделения выполняется независимо от операционной системы внутри кода ПО (на уровне языка программирования). Такой уровень разделения ПО может быть реализован как в СИ со встроенным ПО, так и в СИ на основе персонального компьютера.
"Высокий" уровень разделения означает, что оно реализуется в виде независимых объектов операционной системы (например, части ПО содержатся в отдельных файлах операционной системы). "Высокий" уровень разделения возможен только в СИ на основе универсального компьютера.
3.4.7. На основе анализа документации и проведения функциональных проверок определяется правильность разделения ПО СИ или устанавливается отсутствие разделения. При этом проверяется, что к метрологически значимой части ПО относятся:
программы и программные модули, принимающие участие в обработке (расчетах) результатов измерений или влияющие на них;
программы и программные модули, осуществляющие представление измерительной информации, ее хранение и передачу, идентификацию и обновление (загрузку) ПО, защиту ПО и данных;
параметры ПО СИ, участвующие в вычислениях и влияющие на результат измерений;
компоненты защищенного интерфейса для обмена данными между метрологически значимыми и не значимыми частями ПО СИ.
3.4.8. В случаях, когда проводятся испытания сложных измерительных систем, систем, используемых при коммерческих расчетах, или когда к этим системам предъявляются исключительные требования по безопасности и надежности их функционирования, правильность разделения ПО СИ дополнительно проверяется при помощи анализа его исходного кода.
3.4.9. Сведения о разделении ПО или об его отсутствии заносятся в протокол испытаний.
3.5. Проверка идентификационных данных (признаков) и подтверждение соответствия ПО.
3.5.1. Проверку идентификационных данных (признаков) ПО и методов его идентификации проводят при испытаниях СИ в целях утверждения типа. Подтверждение соответствия ПО СИ, осуществляемое при поверке (калибровке) СИ, представляет собой проверку соответствия ПО СИ тому, которое было зафиксировано (документировано) при испытаниях в целях утверждения типа СИ, с последующим обеспечением защиты ПО от несанкционированного доступа во избежание искажений результатов измерений.
3.5.2. Проверку идентификационных данных (признаков) ПО и методов его идентификации проводят на основе анализа документации и проведения функциональных проверок. При этом для представителей уполномоченных органов должен быть при необходимости обеспечен доступ к исполняемому коду ПО, поскольку без такого доступа не могут быть установлены идентификационные данные (признаки) ПО.
3.5.3. Доступ к исполняемому коду может быть организован с помощью стандартных интерфейсов связи (RS 232, USB и т.п.) или с помощью иных описанных в документации интерфейсов связи в комплекте с необходимым набором аппаратно-программных средств.
3.5.4. На основе анализа документации определяют, какими из следующих способов осуществляется идентификация ПО СИ:
с помощью интерфейса пользователя (например, по команде пользователя на дисплее СИ);
в процессе штатного функционирования ПО (например, на дисплее СИ через определенные интервалы времени);
с помощью интерфейса связи (например, на экране персонального компьютера, подключенного к СИ).
3.5.5. В случае если идентификация может быть осуществлена несколькими способами, проверяется независимость идентификационных данных (признаков) от способа идентификации.
3.5.6. На основе анализа документации и проведения функциональных проверок определяют реализованные в ПО СИ методы идентификации ПО. Идентификация ПО СИ может быть реализована следующими методами:
с помощью ПО СИ или аппаратно-программных средств, разработанных организацией - разработчиком СИ (ПО СИ);
с использованием специальных протестированных (аттестованных, сертифицированных) аппаратно-программных средств и/или протестированного (аттестованного, сертифицированного) ПО.
При функциональной проверке методов идентификации ПО СИ убеждаются в том, что они соответствуют тем способам идентификации, которые описаны в документации.
3.5.7. Проверяются наличие и достаточность идентификационных данных (признаков) ПО СИ для его однозначной идентификации.
3.5.8. Проверяется, что расчет контрольной суммы производится для метрологически значимой части ПО СИ. При этом реализованный в ПО СИ алгоритм расчета контрольной суммы также относится к метрологически значимой части ПО СИ.
3.5.9. Организация - разработчик СИ (ПО СИ) вправе использовать для идентификации ПО большее количество идентификационных данных (признаков), чем это указано в п. 3.2 настоящего документа. В этом случае проверяется, что структура идентификационных данных (признаков) ПО позволяет однозначно выделить идентификационные данные (признаки), относящиеся к метрологически значимой части ПО.
3.5.10. Устанавливают идентификационные данные (признаки) ПО СИ, подлежащие внесению в описание типа СИ.
3.5.11. В случаях, когда проводятся испытания сложных измерительных систем, систем, используемых при коммерческих расчетах, или когда к этим системам предъявляются исключительные требования по безопасности и надежности их функционирования, при необходимости дополнительно проводят проверку методов и способов идентификации ПО СИ при помощи анализа его исходного кода.
3.5.12. Сведения об идентификационных данных (признаках) ПО СИ и методах его идентификации вносят в протокол испытаний в виде, представленном в таблице 2:
Таблица 2
3.5.13. ПО СИ, прошедшее проверку, и его идентификационные данные вносят в единый банк данных ПО СИ.
3.6. Проверка структуры программного обеспечения.
3.6.1. Под проверкой структуры ПО понимают:
проверку отсутствия недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейс пользователя;
проверку отсутствия недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейсы связи;
проверку правильности взаимодействия между метрологически значимой и не значимой частями ПО.
3.6.2. Проверка отсутствия недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейс пользователя.
3.6.2.1. Анализом документации на ПО убеждаются в том, что она включает в себя:
полный перечень всех команд интерфейса пользователя вместе с изложением способа их организации (меню, пункты меню и т.д.);
описание их назначения и воздействия на функции СИ и/или данные.
3.6.2.2. Проведением функциональных проверок всех команд интерфейса пользователя ПО СИ убеждаются в их соответствии описанным в документации. Проверяется однозначное назначение каждой команды для инициирования функции или изменения данных в соответствии с представленной документацией.
3.6.2.3. С помощью функциональных проверок убеждаются, что команды и данные, введенные через интерфейс пользователя ПО СИ, не оказывают влияние на достоверность результатов измерений. При этом проверяют:
возможность обнаружения программным обеспечением СИ неправильно введенных через интерфейс пользователя данных (например, данных, превышающих установленные ограничения) и выдачу соответствующего предупреждения;
невозможность изменения значений параметров ПО СИ, участвующих в вычислениях и влияющих на результат измерений, с помощью команд и данных, вводимых через интерфейс пользователя во время проведения измерений;
невозможность искажения значений измеренных данных, хранящихся в памяти СИ, с помощью команд и данных, вводимых через интерфейс пользователя.
3.6.2.4. С учетом способа организации интерфейса пользователя проверяют, что команды или их комбинации, не описанные в документации, не оказывают влияния на функции метрологически значимой части ПО СИ и данные.
3.6.2.5. С помощью визуального осмотра и анализа элементов, находящихся внутри корпуса СИ, убеждаются в отсутствии элементов, не описанных в документации на СИ, способных быть частью интерфейса пользователя и оказывать влияние на функции метрологически значимой части ПО СИ, данные или команды интерфейса пользователя (переключатели, свободные контакты на печатной плате и т.д.).
3.6.2.6. В случаях, когда проводятся испытания сложных измерительных систем, систем, используемых при коммерческих расчетах, или когда к этим системам предъявляются исключительные требования по безопасности и надежности их функционирования, проверку отсутствия недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейс пользователя ПО СИ, дополнительно проводят при помощи анализа его исходного кода.
3.6.3. Проверка отсутствия недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейсы связи.
3.6.3.1. Анализом документации на ПО убеждаются в том, что она включает в себя:
полный перечень всех интерфейсов связи, используемых ПО СИ (RS-232, USB и т.п.);
полный перечень команд каждого интерфейса связи вместе с изложением способа их организации;
описание их назначения и воздействия на функции СИ и/или данные.
3.6.3.2. Проведением функциональных проверок всех команд интерфейсов связи, используемых ПО СИ, убеждаются в их соответствии описанным в документации. Проверяется однозначное назначение каждой команды для инициирования функции или изменения данных в соответствии с представленной документацией.
3.6.3.3. С помощью функциональных проверок убеждаются, что команды и данные, переданные через интерфейсы связи, не оказывают влияние на достоверность результатов измерений СИ. При этом проверяют:
возможность обнаружения программным обеспечением СИ неправильно переданных через интерфейсы связи данных (например, данных, превышающих установленные ограничения);
невозможность изменения значений параметров ПО СИ, участвующих в вычислениях и влияющих на результат измерений, с помощью команд и данных, переданных через интерфейсы связи во время проведения измерений;
невозможность искажения значений измеренных данных, хранящихся в памяти СИ, с помощью команд и данных, переданных через интерфейсы связи.
3.6.3.4. С помощью специальных аттестованных аппаратно-программных средств и/или сертифицированного ПО проверяют, что недокументированные как команды сигналы или коды, переданные через интерфейсы связи, не оказывают влияние на функции метрологически значимой части ПО СИ и данные.
3.6.3.5. Проверяют, что команды, передаваемые (получаемые) через интерфейсы связи метрологически не значимой частью ПО СИ, не искажают команды и данные, передаваемые (получаемые) через интерфейсы связи метрологически значимой частью ПО СИ.
3.6.3.6. В случае, когда в ПО СИ используется часть интерфейсов связи СИ (например, в случае СИ на основе универсального компьютера), с помощью специальных аттестованных аппаратно-программных средств и/или сертифицированного ПО проверяют, что сигналы или коды, переданные через неиспользуемые интерфейсы связи, не оказывают влияние на функции метрологически значимой части ПО СИ и данные.
3.6.3.7. Проверяют, что ПО, использующее интерфейс связи СИ для передачи (получения) команд и данных метрологически значимой части ПО СИ (например, ПО, разработанное организацией-производителем СИ (ПО СИ) и используемое для обновления ПО СИ), аттестовано (проверено) в установленном порядке.
3.6.3.8. С помощью визуального осмотра и анализа элементов, находящихся внутри корпуса СИ, убеждаются в отсутствии элементов, не описанных в документации на СИ, способных быть частью интерфейсов связи и оказывать влияние на функции метрологически значимой части ПО СИ, данные или команды интерфейсов связи.
3.6.3.9. В случаях, когда проводятся испытания сложных измерительных систем, систем, используемых при коммерческих расчетах, или когда к этим системам предъявляются исключительные требования по безопасности и надежности их функционирования, проверку отсутствия недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейсы связи, дополнительно проводят при помощи анализа его исходного кода.
3.6.4. Проверка правильности взаимодействия между метрологически значимой и не значимой частями ПО.
3.6.4.1. Функциональными проверками убеждаются, что обмен данными между метрологически значимой и не значимой частями ПО СИ проходит через защищенный интерфейс. Проверяется однозначное назначение каждого набора команд, переданного через защищенный интерфейс, для инициирования функции или изменения данных в метрологически значимой части ПО СИ в соответствии с представленной документацией.
3.6.4.2. Проверяют, что все взаимодействия между метрологически значимой и не значимой частями ПО СИ и прохождение данных не оказывают искажающее воздействие на метрологически значимую часть ПО и данные.
3.6.4.3. Убеждаются, что взаимодействия между метрологически значимой и не значимой частями ПО СИ, не описанные в документации, не оказывают влияния на метрологически значимую часть ПО СИ и данные.
3.6.4.4. В случаях, когда проводятся испытания сложных измерительных систем, систем, используемых при коммерческих расчетах, или когда к этим системам предъявляются исключительные требования по безопасности и надежности их функционирования, проверку правильности взаимодействия между метрологически значимой и незначимой частями ПО, дополнительно проводят при помощи анализа его исходного кода.
3.6.5. Сведения об отсутствии недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейс пользователя, об отсутствии недопустимого влияния на метрологически значимую часть ПО и данные, осуществляемого через интерфейсы связи, о правильности взаимодействия между метрологически значимой и не значимой частями ПО вносят в протокол испытаний.
НА МЕТРОЛОГИЧЕСКИЕ ХАРАКТЕРИСТИКИ СРЕДСТВА ИЗМЕРЕНИЙ
4.1. Если уровень влияния ПО на МХ СИ не соответствует критериям, согласованным между Заказчиком и Исполнителем испытаний СИ, то такое ПО рассматривается как искажающее результаты измерений и не должно допускаться к использованию. Уровень (степень) влияния ПО на МХ СИ должен оцениваться при испытаниях СИ в целях утверждения типа.
4.2. Методика оценки влияния ПО на МХ СИ описывается соответствующим разделом программы испытаний и может включать в себя:
анализ ПО и его алгоритмов (например, адекватность измерительной задаче, в том числе выбор схемы численного расчета, их сложность и возможность использования при разработке опорного ПО и т.д.);
определение критерия оценки влияния ПО на МХ СИ (например, значение вклада ПО в суммарную погрешность (неопределенность) СИ по отношению к соответствующему вкладу в опорном ПО);
выбор или разработка опорного ПО;
выбор (определение) исходных данных и/или их получение методом генерации или какими-либо другими методами;
получение результатов обработки исходных данных в тестируемом ПО (получение тестовых результатов);
получение опорных результатов;
получение оценки влияния ПО на метрологические характеристики СИ посредством обработки результатов тестирования (сравнения тестовых результатов с опорными);
дополнительные исследования свойств, параметров и характеристик используемых алгоритмов (область устойчивости, время, затрачиваемое на обработку результатов измерений и т.п.).
4.3. Основными методами, применяемыми при оценке влияния ПО на МХ СИ, являются:
сравнительные испытания с применением опорного ПО;
в отсутствие опорного ПО -
при наличии нескольких ПО сопоставимого уровня вычислительных возможностей и в отсутствие опорного ПО -
сличения, подобные сличению эталонных СИ;
испытания на основе анализа исходного кода ПО, а также комбинации указанных методов.
4.4. Метод оценки влияния ПО на МХ СИ выбирают с учетом наличия или возможности разработки того или иного вида опорного ПО, а также возможности применения указанных методов в каждом конкретном случае.
4.5. Сравнительное тестирование с применением опорного ПО.
4.5.1. Данный метод тестирования применяется при наличии опорного ПО, с помощью которого могут быть идентично воспроизведены функции аттестуемого ПО.
4.5.2. В качестве опорного ПО может быть применено:
испытанное (аттестованное, сертифицированное) ПО СИ, функциональное назначение которого аналогично тестируемому ПО;
специально разработанное ПО с функциями, идентичными тестируемому;
ПО для решения задач технических вычислений (например, электронные таблицы, ПО для математических и статистических вычислений и т.д.).
4.5.3. К разработке опорного ПО прибегают в тех случаях, когда испытываемое ПО является не очень сложным, а его алгоритмы достаточно просты. Это означает, что затраты на разработку опорного ПО должны быть сопоставимыми со стоимостью работ по проверке ПО. Данный метод позволяет максимально учитывать особенности оцениваемого ПО, МХ соответствующего СИ и может быть рекомендован как основной метод при испытании встроенного ПО.
4.5.4. Разрабатываемое опорное ПО может содержать только метрологически значимые функции и параметры. В некоторых случаях могут не учитываться особенности графического интерфейса пользователя, а также функции, не участвующие в обработке результатов измерений (например, функции отображения, хранения данных и т.д.).
4.6. Сравнительные испытания с использованием моделей исходных данных.
4.6.1. Метод тестирования с использованием моделей исходных данных рекомендуется методикой МИ 2174 для тестирования алгоритмов обработки результатов измерений. Метод позволяет оценивать возможности алгоритмов сравнением результатов обработки тестируемыми алгоритмами моделей исходных данных с заданными параметрами этих моделей.
4.6.2. Метод моделей исходных данных является разновидностью метода генерации "эталонных" данных, когда эти данные не генерируются специально разработанной программой, а программно задаются на входе тестируемого ПО. Модели исходных данных выбираются таким образом, чтобы они максимально соответствовали частной измерительной задаче, решаемой тестируемыми алгоритмами. При этом модели исходных данных должны охватывать как можно больший диапазон возможных значений, поступающих на обработку.
4.6.3. В модели исходных данных могут быть включены:
данные, указанные в разделе 4 методики МИ 2174;
данные, полностью перекрывающие диапазон возможных значений;
данные, близкие к наибольшим и наименьшим значениям, а также ряд промежуточных значений;
особые значения входных переменных - точки резкого возрастания или разрыва производных, нулевые, единичные и предельно малые численные значения переменных и т.п.
4.6.4. Если значения некоторой переменной зависят от значения другой переменной, то тестирование проводят при особых сочетаниях этих переменных, таких как равенство обеих переменных, малое и предельно большое их различие, нулевые и единичные значения и т.п.
4.7. Генерация "эталонных" данных.
4.7.1. Метод генерации "эталонных" данных, как и метод моделей исходных данных, применяется как альтернатива использованию опорного ПО в случае его отсутствия или невозможности использования при оценке отдельных функций, реализуемых испытываемым ПО. Одним из необходимых условий применения метода генерации "эталонных" данных является наличие априорной информации о модельном решении соответствующей измерительной задачи. С этим модельным решением проводится сравнение тестовых результатов.
4.7.2. "Эталонные" данные получают путем генерации таких данных с помощью специально разработанной программы - генератора "эталонных" данных, который представляет собой алгоритм, предназначенный для моделирования "эталонных" данных на основе выбранных (заданных) исходных данных.
Генератор "эталонных" данных реализуют на одном из языков программирования или при помощи стандартного математического или статистического программного пакета. Разработка генератора "эталонных" данных может потребовать серьезных усилий со стороны программистов центра испытаний СИ.
4.7.3. Исходные данные для тестирования, в том числе и для генерации "эталонных" данных, формируются с учетом свойств программно реализованных алгоритмов.
4.8. Сличение ПО.
4.8.1. При наличии нескольких программ сопоставимого уровня вычислительных возможностей и в отсутствие опорного ПО рекомендуется проводить сличение таких программ по одной из схем, принятых при сличении СИ (например, по схеме межлабораторного сличения, когда на входы программных продуктов подаются согласованные одинаковые наборы "эталонных" данных и производится сравнение соответствующих тестовых результатов). При этом результаты сличения признаются удовлетворительными, если различия в тестовых результатах не выходят за пределы согласованного допуска.
Примечание - Примером программ, указанных в п. 4.8.1, являются программы расчета параметров расходомеров на основе стандартных сужающих устройств в соответствии с ГОСТ 8.586.1 - 8.586.5-2005. ГСИ. Измерение расхода и количества жидкостей и газов с помощью стандартных сужающих устройств и ГОСТ 30319.0 - 30319.3-96 (с изменениями). Газ природный [12, 13]. Это сложные программы, основанные в ряде случаев на громоздких математических соотношениях и использующие эмпирические данные о свойствах проходящих через расходомеры сред, которые в разных программах выбираются с разной точностью либо вычисляются с помощью различных интерполяционных процедур и т.п. В этих условиях выбрать среди этих программ или разработать опорную программу не представляется возможным. Ввиду сложности таких программ не удается также применить методы моделей исходных данных или генерации "эталонных" данных.
4.9. Тестирование на основе анализа исходного кода ПО.
4.9.1. При тестировании на основе анализа исходного кода ПО проверяется:
соответствие структуры алгоритмов представленной документации;
правильность записи алгоритмов на выбранном языке программирования;
адекватность выбранных алгоритмов измерительной задаче (в частности, выявление неустойчивых алгоритмов).
4.9.2. При проверке соответствия структуры алгоритмов представленной документации по тексту программы могут быть составлены блок-схемы реализуемых алгоритмов, которые сравниваются с алгоритмами, изложенными в документации. В случае нахождения различий в структуре алгоритмов проводится дополнительный анализ элементов блок-схем, в которых обнаружены различия.
4.9.3. Проверяется правильность записи алгоритмов на выбранном языке программирования. При этом устанавливается соответствие кода правилам программирования, наличие неопределенных переменных и операторов, правильность организации циклов и т.д.
4.9.4. Соответствие выбранных алгоритмов измерительной задаче может быть осуществлено путем математического анализа программно реализованных алгоритмов. При этом могут исследоваться логические и точностные характеристики реализованных алгоритмов, в частности, анализироваться пригодность и оптимальность примененных численных методов решения измерительной задачи.
4.10. Представление результатов оценки влияния ПО на МХ СИ.
4.10.1. На основе методов оценки влияния ПО на МХ СИ, перечисленных в предыдущих пунктах настоящего документа, рассчитывают характеристики точности тестируемых алгоритмов, например, его исполнительную характеристику, относительное отличие тестовых результатов вычислений от опорных.
Могут быть оценены и другие характеристики алгоритмов, такие как их сложность, скорость исполнения, адекватность измерительной задаче, выбор численной схемы расчета, коэффициент обусловленности (устойчивости), область устойчивости и т.п.
4.10.2. Исполнительная характеристика алгоритма.
Исполнительная характеристика алгоритма вычисляется по формуле:
-> ->
-> 1 ||ДЕЛЬТА y (x)||
-> ->(эт) ->
k(x) эта ||y (x)||
где:
->
k(x) - коэффициент обусловленности (устойчивости) (для устойчивых
->
алгоритмов), k(x) ~= 1);
-16
эта - предельная относительная вычислительная точность (эта ~= 10 );
->
x - набор исполнительных параметров (параметры исходных данных в
методе моделей исходных данных, объем выборки, математическое ожидание и
СКО в методе генерации "эталонных" данных);
-> ->
||ДЕЛЬТА y (x)|| - норма (длина) вектора отличия тестовых результатов
от опорных.
Например, если в процессе вычислений получено m тестовых результатов
(тест) (тест) (тест) (эт) (эт) (эт)
y , y ,..., y и опорных y , y ,..., y , то норма
1 2 m 1 2 m
->
||ДЕЛЬТА y || вычисляется по формуле:
______________________________________________________________
-> / (тест) (эт) 2 (тест) (эт) 2 (тест (эт) 2
||ДЕЛЬТА y || = \/(y - y ) + (y - y ) +...+ (y - y ) ,
1 1 2 2 m m
->(эт) ->
||y (x)|| - норма вектора опорных результатов, т.е.
___________________________
->(эт) /(эт)2 (эт)2 (эт)2
||y || = \/y + y +...+ y .
1 2 m
Исполнительная характеристика показывает число потерянных цифр точности в тестируемом ПО по сравнению с опорным.
4.10.3. Исполнительная характеристика, определенная формулой (1), зависит, в частности, от величины:
-> ->
||ДЕЛЬТА y (x)||
->(эт) ->
||y (x)||
которая характеризует относительное отличие тестовых результатов вычислений от опорных. Эта величина может рассматриваться как одна из количественных характеристик алгоритмов. Иногда ее удобно выражать в процентах.
Примечание - Исполнительная характеристика (1) может применяться также для нахождения числа потерянных цифр точности в тестовых результатах по сравнению с любыми другими результатами, используемыми для сравнения с ними (модельными, сгенерированными и т.п.). Это примечание относится также и к величине, определяемой формулой (2).
4.10.4. Формулы (1) и (2) упрощаются, если результаты вычислений представляют не вектор, а скаляр (например, результаты однократных вычислений). В этом случае они принимают вид:
->(тест) ->(эт)
-> 1 |y(x) - y(x) |
P(x) = lg(1 + -------- х -----------------------, (3)
-> ->(эт)
k(x) эта y(x)
->(тест) ->(эт)
-> |y(x) - y(x) |
дельта(x) = -----------------------. (4)
->(эт)
y(x)
4.10.5. Критерии, которым должны удовлетворять определенные и оцененные характеристики алгоритмов ПО, а также допускаемые значения характеристик могут быть установлены на основе требований к точности решения измерительной задачи (если они имеются), точности выполняемых расчетов (степени округления) и т.п. Критерии и допуски на значения характеристик фиксируются в методике испытаний и согласовываются с ее Заказчиком.
4.10.6. Все определенные и оцененные характеристики и свойства алгоритмов вносят в протокол испытаний.
4.10.7. Перечень характеристик ПО может корректироваться соглашением между Исполнителем и Заказчиком испытаний ПО.
1. ГОСТ Р 8.654-2009. ГСИ. Требования к программному обеспечению средств измерений. Основные положения.
2. ГОСТ Р 8.596-2002. ГСИ. Метрологическое обеспечение измерительных систем. Основные положения.
4. OIML D 31 Edition 2008 (E) General requirements for software controlled measuring instruments (Общие требования к программно контролируемым средствам измерений).
5. WELMEC 7.2. Issue 4. Software Guide (Measuring Instruments Directive 2004/22/EC) May 2009 (русский перевод: ВЕЛМЕК 7.2. Руководство по программному обеспечению (Директива 2004/22/ на средства измерений)). М.; АНО "РСК-Консалтинг", 2009).
6. МИ 2955-2010. ГСИ. Типовая методика аттестации программного обеспечения средств измерений.
7. МИ 2174-91. ГСИ. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения.
8. Приказ Минпромторга N 1081 от 30 ноября 2009 г. "Об утверждении Порядка проведения испытаний стандартных образцов или средств измерений в целях утверждения типа, Порядка выдачи свидетельств об утверждении типа стандартных образцов или типа средств измерений, установления и изменения срока действия указанных свидетельств и интервала между поверками средств измерений, требований к знакам утверждения типа стандартных образцов или типа средств измерений и порядка их нанесения".
9. В.А. Слаев, А.Г. Чуновкина. Аттестация программного обеспечения, используемого в метрологии: Справочная книга/Под ред. В.А. Слаева. СПб.: "Профессионал", 2009 - 320 с.
10. H.R. Cook, M.G. Cox, M.P. Dainton, P.M. Harris. Testing Spreadsheets and Other Packages Used in Mertrology. A Case Study. Report to National Measurements System Policy Unit. September 1999.
11. Ю.А. Кудеяров, А.А. Сатановский. Генерация эталонных данных методом нуль - пространства для тестирования электронных таблиц, прикладных математических пакетов и алгоритмов. Законодательная и прикладная метрология, N 2, 2005, с. 39 - 46.
12. ГОСТ 8.586.1 - 8.586.5-2005. Измерение расхода и количества жидкостей и газов с помощью стандартных сужающих устройств.
Вернуться в "Каталог нормативных документов"
Источник информации: https://internet-law.ru/documents/prod/rekomendaciya_rekomendacii/8/mi.html
На правах рекламы:
|