| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ФЕДЕРАЛЬНОЕ
ГОСУДАРСТВЕННОЕ УНИТАРНОЕ ПРЕДПРИЯТИЕ РЕКОМЕНДАЦИЯ ГОСУДАРСТВЕННАЯ
СИСТЕМА ТИПОВАЯ
МЕТОДИКА АТТЕСТАЦИИ ПРОГРАММНОГО МИ 2955-2005 Москва 2005 ПРЕДИСЛОВИЕ РАЗРАБОТАНА Федеральным государственным унитарным предприятием «Всероссийский научно-исследовательский институт метрологической службы» (ФГУП ВНИИМС) ИСПОЛНИТЕЛИ Ю.Е. Лукашов, к.т.н., (руководитель темы), Ю.А. Кудеяров, д.ф.-м.н., А.А. Сатановский УТВЕРЖДЕНА ФГУП ВНИИМС 17 ноября 2005 г. ЗАРЕГИСТРИРОВАНА ФГУП ВНИИМС 21 ноября 2005 г. ВВЕДЕНА ВПЕРВЫЕ
СОДЕРЖАНИЕ 1. НАЗНАЧЕНИЕ И ОБЛАСТЬ ПРИМЕНЕНИЯ1.1. Настоящая рекомендация устанавливает порядок проведения и типовую методику аттестации программного обеспечения (ПО) средств измерений (СИ) и применяется при его аттестации на соответствие требованиям МИ 2891 и другой нормативной документации, указанной в п. 2. 1.2. Рекомендация предназначена для разработчиков и пользователей ПО СИ, экспертов по аттестации ПО СИ, органов государственной метрологической службы, проводящих аттестацию программного обеспечения средств измерений, и государственных центров испытаний СИ. 1.3. Рекомендация распространяется на: - ПО, являющееся частью измерительных систем, измерительно-вычислительных комплексов, информационно-управляющих систем, методик выполнения измерений и функционирующее на базе персонального компьютера (ПК); - ПО, являющееся самостоятельным программным продуктом, который может применяться для сбора, обработки, хранения и представления измерительной информации; - ПО, являющееся неотъемлемой частью СИ (встроенное ПО); - ПО для контроллеров и вычислительных блоков. 2. НОРМАТИВНЫЕ ССЫЛКИГОСТ Р 8.596-2002 ГСИ. Метрологическое обеспечение измерительных систем. Основные положения. ГОСТ Р ИСО/МЭК 12119-2000. Информационная технология. Пакеты программ. Требования к качеству и тестирование. ГОСТ Р ИСО 9127-94. Системы обработки информации. Документация пользователя и информация на упаковке для потребительских программных пакетов. ПР 50.2.009-94 ГСИ. Порядок проведения испытаний и утверждения типа средств измерений; МИ 2891-2004 ГСИ. Общие требования к программному обеспечению средств измерений; МИ 2174-91 ГСИ. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения. 3. ОБЩИЕ ПОЛОЖЕНИЯ3.1. Под аттестацией ПО СИ понимается его исследование (тестирование) с целью определения и/или оценки его характеристик и установления их соответствия предъявляемым к ним требованиям с последующей регистрацией полученных результатов исследования (тестирования) в свидетельстве об аттестации (с указанием использованных методов исследования). 3.2. К оцениваемым характеристикам ПО СИ относят: - степень соответствия (низкая, средняя, высокая (п. 5.1.4.2)); - численные характеристики погрешности: - относительная погрешность (п. 5.5.10.2); - исполнительная характеристика (п. 5.5.10.3); - уровень защищенности (низкий, средний, высокий); - другие характеристики, согласованные между заказчиком аттестации и ее исполнителем. 3.3. При аттестации ПО СИ выполняются следующие виды испытаний: - проверка документации; - проверка соответствия утвержденному типу (идентификация); - оценка погрешности ПО; - проверка защищенности ПО и данных, а также другие виды испытаний, согласованные между заказчиком аттестации и ее исполнителем. 3.5. Термины и определения, использующиеся в настоящей рекомендации, те же, что и в методике МИ 2891. 4. ПОРЯДОК ПРОВЕДЕНИЯ АТТЕСТАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СРЕДСТВ ИЗМЕРЕНИЙ4.1. Аттестацию ПО СИ проводят государственные центры испытаний средств измерений (ГЦИ СИ) и органы государственной метрологической службы, обладающие необходимыми условиями для проведения такой аттестации (п. 4.4). 4.2. При проведении аттестации ПО СИ используются методы определения и оценки его характеристик, основанные на международных и отечественных правилах и рекомендациях, которые позволяют с достаточной степенью достоверности установить их соответствие требованиям нормативной документации, указанной в п. 2, и определить действительные значения этих характеристик. 4.3. Порядок проведения аттестации предусматривает обеспечение конфиденциальности информации, составляющей коммерческую тайну. 4.4. Порядок проведения аттестации программного обеспечения включает: - подачу заявки на аттестацию; - принятие решения по заявке на аттестацию с учетом аппаратных, программных и кадровых возможностей для проведения такого рода работы, в том числе назначение экспертов (эксперта) на проведение работы по аттестации; - оформление договора на проведение работ по аттестации; - проведение исследования (тестирования) ПО СИ по согласованным с заказчиком аттестации методикам; - принятие решения о выдаче свидетельства об аттестации; - выдача свидетельства об аттестации; - занесение юридического или физического лица и аттестованного ПО в Реестр аттестованного ПО СИ, который ведется ФГУП «ВНИИМС». 4.5. Юридическое или физическое лицо, разрабатывающее (распространяющее, использующее) ПО СИ и желающее его аттестовать, подает заявку в организацию, проводящую аттестацию, по форме, указанной в Приложении 1. 4.6. Документы, подаваемые на аттестацию, составляются в соответствии с требованиями п. 6.1 МИ 2891 и представляются как на бумажном носителе, так и на компакт-диске или на дискете в формате WORD для WINDOWS. Кроме того, в левом углу перечня документов указывается почтовый адрес и название юридического лица (ф.и.о. физического лица), осуществляющего разработку (распространение, использование) ПО СИ. При высокой жесткости испытаний (п. 5.1.4.2) наряду с документацией, предусмотренной п. 6.1 МИ 2891, представляются также исходные коды ПО. 4.7. Заявка на аттестацию регистрируется организацией, проводящей аттестацию ПО, в журнале регистрации заявок, после чего экспертом организации производится анализ представленных с заявкой документов и принимается решение о проведении аттестации или об отказе в ее проведении. Отказ в проведении аттестации возможен в случае, если представленные заявителем материалы показывают его неготовность к проведению аттестации ПО СИ. 4.8. В случае положительного решения оформляется договор на проведение работ по аттестации и определяется комиссия экспертов (эксперт) для проведения аттестации. 4.9. Эксперты, входящие в комиссию, проводят испытания (тестирование) ПО, представленного на аттестацию. Испытание (тестирование) ПО проводится по методикам аттестации, согласованным между организацией, осуществляющей аттестацию, и заявителем (п. 5.1). 4.10. По решению руководителя организации, проводящей аттестацию, в состав комиссии по проведению аттестации могут входить как эксперты организации, проводящей аттестацию, так и эксперты других организаций. 4.11. В случае принятия решения об участии в работе комиссии по аттестации ПО экспертов других организаций в эти организации направляется письмо с просьбой обеспечить их участие в работе комиссии по аттестации и техническое задание на проведение аттестации, утвержденное руководителем организации, проводящей аттестацию. 4.12. Аттестация ПО может проводиться как непосредственно у заявителя или исполнителя, так и в любой другой организации в соответствии с договором между организацией, проводящей аттестацию, и заявителем. 4.13. В ходе аттестации комиссия экспертов (эксперт): - проверяет достоверность сведений, изложенных в приложениях к заявке на аттестацию; - проводит испытание (тестирование) ПО СИ по согласованным с заказчиком аттестации методикам (рекомендуемая форма титульного листа методики аттестации приведена в Приложении 2). 4.14. По результатам испытаний (тестирования) ПО комиссия экспертов (эксперт) составляет акт о результатах испытаний (тестирования) (Приложение 3), являющийся основанием для принятия решения о возможности выдачи (или не выдаче) свидетельства об аттестации ПО СИ. Акт о результатах испытаний (тестирования), выводом которого является решение о возможности выдачи свидетельства об аттестации ПО СИ, может содержать рекомендации по совершенствованию ПО. 4.15. Акт о результатах испытаний (тестирования), подписанный членами экспертной комиссии (экспертом) и завизированный представителем разработчика (распространителя, пользователя), передается руководству организации, проводящей аттестацию, для оформления свидетельства об аттестации (форма свидетельства приведена в Приложении 5). 4.16. Если в результате испытаний (тестирования) ПО выявилось его несоответствие требованиям нормативной документации, приведенной в п. 2, свидетельство об аттестации не выдается. Заказчику аттестации в этом случае выдается акт о результатах испытаний (тестирования) ПО с обоснованием отказа в выдаче свидетельства об аттестации. 4.17. При возникновении разногласий между организацией, проводящей аттестацию, и заказчиком аттестации они решаются в установленном законодательством РФ порядке. 5. ТИПОВАЯ МЕТОДИКА АТТЕСТАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СРЕДСТВ ИЗМЕРЕНИЙ5.1. МЕТОДИКА АТТЕСТАЦИИ И ЕЕ ОСНОВНЫЕ ЭТАПЫ- выбор методов испытаний (тестирования) в соответствии с целями испытаний и степенью их жесткости (п. 5.1.4.2); - составление тестовых заданий в соответствии с требованиями к ПО и с указанием контролируемых параметров и характеристик, исходных данных и критериев, которым должны удовлетворять результаты, полученные тестируемым ПО; - проведение испытаний (тестирования) и получение результатов функционирования испытываемого (тестируемого) ПО в соответствии с тестовыми заданиями; - обработка результатов испытаний (тестирования) (сравнение результатов, полученных испытываемым (тестируемым) ПО, с эталонными). 5.1.2. Методика аттестации оформляется для каждого отдельного ПО СИ, с учетом его назначения, функциональных особенностей и применяемых методов испытаний (тестирования). 5.1.3. Испытания (тестирование) ПО СИ при выбранной жесткости могут проводиться на основе изучения документации, сопровождающей ПО, испытаний (тестирования) с использованием аппаратных и программных средств, а также на комплексной основе с использованием как документации, так и аппаратных и программных средств. 5.1.4. При выполнении этапов, указанных в п. 5.1.1, т.е. при составлении методики аттестации, рекомендуется придерживаться следующей последовательности действий: 5.1.4.1. По согласованию с разработчиком (заказчиком аттестации) устанавливается жесткость испытаний ПО СИ с учетом - области применения; - риска намеренных искажений результатов измерений; - требуемой степени соответствия утвержденному типу; - специфических задач аттестации.
Примечание - Высокая жесткость испытаний с использованием анализа исходного кода применяется в тех случаях, когда имеют дело с ПО сложных и ответственных измерительных систем, в том числе систем, используемых при коммерческих расчетах, или когда к таким системам предъявляются исключительные требования по безопасности их функционирования. В обычных случаях ограничиваются низкой и средней жесткостью испытаний, при которых тестирование ПО осуществляется методом «черного ящика». 5.1.4.3. Определяются методы испытаний в соответствии с установленной жесткостью испытаний, которые должны найти отражение в тестовых заданиях. 5.1.4.4. Составляются тестовые задания с учетом того, что эти задания и/или исходные данные для их формирования, а также методы их выполнения должны обеспечить проверку всех основных режимов функционирования испытываемого (тестируемого) ПО, а также его соответствие требованиям нормативной документации (п. 2). 5.1.4.5. Тестовые задания разрабатываются с учетом установленных видов испытаний (п.п. 3.3, 3.4 и 5.1.4.2), руководства пользователя, а также другой необходимой технической документации, представляемой на аттестацию. Каждому требованию и/или контролируемой функции должно соответствовать не менее одного тестового задания. 5.1.4.6. В тестовых заданиях определяются контролируемые свойства, параметры и характеристики ПО, методы испытаний тестируемого ПО, необходимые для этого исходные данные, программные продукты, с которыми сравниваются результаты, получаемые в процессе испытаний (эталонное ПО), а также критерии, позволяющие производить оценку характеристик тестируемого ПО. 5.1.5. Результаты испытаний ПО признаются положительными, если: - программа соответствует функциональным возможностям, описанным в документации, и выполняет в рамках тестовых заданий все функции, декларируемые в документации; - полученные значения параметров и характеристик программы при выполнении всех тестовых заданий удовлетворяют установленным критериям или находятся в допустимых пределах отклонений от них; - в программе реализованы необходимые методы защиты и идентификации в соответствии с требованиями; - программная документация соответствует требованиям нормативных документов (п. 2). 5.1.6. Если в процессе выполнения какого-либо из тестовых заданий произойдет отказ программы, ее «зависание» или искажение результатов, то данное тестовое задание может быть модифицировано для подтверждения ошибки функционирования и повторено. Выявленные ошибки фиксируются в протоколе испытаний. 5.1.7. По результатам испытаний ПО СИ составляется акт о результатах его исследования (тестирования) (п.п. 4.14, 4.15), неотъемлемой частью которого является протокол испытаний, подписанный непосредственными исполнителями испытаний (тестирования) (Приложение 4). 5.1.8. Дальнейшие разделы рекомендации конкретизируют виды испытаний (тестирования), приведенные в п. 5.1.4.2. 5.2. ПРОВЕРКА ДОКУМЕНТАЦИИ5.2.1. Представление всей необходимой документации на аттестацию в соответствии с требованиями рекомендации МИ 2891, а также стандартов ГОСТ Р ИСО/МЭК 12119 и ГОСТ Р ИСО 9127, является необходимым условием ее проведения. Рекомендуемые виды проверки документации применяются при всех степенях жесткости испытаний. 5.2.2. В соответствии с требованиями указанных нормативных документов проверяется наличие, достаточность и правильность представленной документации. При этом проверяются следующие разделы документации: 5.2.2.1. Описание структуры ПО и последовательности обработки данных. Структура ПО может быть представлена в виде одного или нескольких взаимосвязанных модулей, реализующих функции ПО, с учетом разделения ПО. Описание структуры ПО может быть осуществлено в графическом виде с пояснениями и/или в текстовой форме. Описание каждого модуля ПО должно включать: - наименование модуля; - функции, реализуемые модулем, и реализованные в модуле алгоритмы; - данные, используемые и/или изменяемые модулем; - названия связанных (вызываемых) модулей. Проверяется описание всех входных и выходных данных, последовательность обработки входных данных в структуре ПО и других программно-аппаратных компонентах системы. Данный раздел документации должен содержать информацию о методе связи (интерфейсе) СИ и ПО, о данных, получаемых от и передаваемых в СИ программным обеспечением, описание всех аппаратных и программных компонент СИ, а также описание исполняемых файлов (название, размер в мегабайтах). Для всех функций ПО должны быть описаны входные и выходные данные, а также результат выполнения. 5.2.2.3. Описание реализованных в ПО расчетных алгоритмов, а также их блок-схемы. Должны быть приведены описания или логические схемы алгоритмов, функции, реализуемые алгоритмами в ПО, а также все величины, рассчитываемые с их помощью, и их формулы, данные о степени округления при расчетах (точность алгоритмов). 5.2.2.4. Описание интерфейсов, меню, диалогов и перечень команд для каждого интерфейса, включая заявление об их полноте, а также список, значение и действие всех команд, получаемых от клавиатуры, мыши и других устройств ввода. 5.2.2.5. Описание реализованного метода идентификации ПО. Проверяется наличие информации о методе (алгоритме) идентификации ПО, способах идентификации ПО в соответствии с реализованным методом, о системе кодификации номера версии. 5.2.2.6. Описание реализованных методов защиты ПО и данных. Проверяется описание реализованных методов (авторизация пользователя, журнал событий, кодирование данных и т.д.) защиты ПО и данных от недопустимых изменений и искажений, а также наличие сообщений об ошибках. Примечания 1 Некоторые требования к документации в МИ 2891-04 охватывают требования, приведенные в стандартах ГОСТ Р ИСО/МЭК 12119-2000, ГОСТ Р ИСО 9127-94. Поэтому при проверке соответствия документации указанным стандартам, проверяются те требования к документации ПО, которые не регламентируются МИ 2891-04. 2 Вся документация ПО проверяется на однозначность понимания и непротиворечивость. 5.2.3. Все данные, в том числе выявленные несоответствия, полученные при анализе документации ПО, заносятся в протоколы испытаний. 5.2.4. Перечень документов, сопровождающих ПО, объем и методы проверки документации могут корректироваться соглашением между исполнителем и заказчиком аттестации ПО. 5.3. ПРОВЕРКА СТРУКТУРЫПод проверкой структуры ПО понимается проверка правильности выделения его частей, подлежащих метрологическому контролю (аттестации), а также проверка наличия и правильности функционирования защищенных интерфейсов. 5.3.1. Проверка правильности разделения ПО. 5.3.1.1. При низкой и средней жесткости испытаний правильность разделения ПО проверяется посредством анализа документации, представленной заявителем аттестации, а также с помощью программных средств. Все функции и параметры ПО, которые используются при обработке результатов измерений, влияют на них, или используются во вспомогательных функциях должны быть отнесены к части ПО, подлежащей метрологическому контролю (аттестации). На основе документации устанавливается реализованный метод разделения ПО или отсутствие разделения. 5.3.1.2. Проверяются сведения о наличии защищенного интерфейса между частями ПО, подлежащими и не подлежащими метрологическому контролю (аттестации). 5.3.1.3. В случае отсутствия разделения, все ПО подлежит метрологическому контролю (аттестации), однако документация (см. п. 5.2.2.2) должна содержать перечень функций и параметров, относящихся к контролируемым. Этот перечень функций и параметров также подлежит проверке. 5.3.1.4. Для встроенного ПО его разделение и проверка разделения не проводятся. 5.3.1.6. По исходному коду ПО проверяется правильность реализации защищенного интерфейса. Все модули, подпрограммы, процедуры, функции, параметры, переменные и т.д., участвующие в обработке информации должны быть охвачены защищенным интерфейсом. 5.3.1.7. По исходному коду рекомендуется составить структурную схему ПО (граф), отображающую потоки данных в ПО и способы их управления. Это позволяет проверить поступление измерительной информации только в части ПО, подлежащие метрологическому контролю (аттестации), а также убедиться в возможности обращения к функциям ПО, к его параметрам и к данным, подлежащим метрологическому контролю (аттестации), только через защищенный интерфейс. 5.3.1.8. Сведения о разделении ПО заносятся в протокол испытаний. По результатам проверки может быть сделано замечание о неправильном разделении ПО и дана рекомендация о соответствующих коррективах. 5.3.2. Проверка интерфейса(ов) ПО. 5.3.2.2. При низкой/средней жесткости, испытания, указанные в п. 5.3.2.1, проводятся на основе анализа документации и тестирования ПО с использованием программных средств. 5.3.3.3. С помощью программных средств выполняются все функции ПО, подлежащие метрологическому контролю (аттестации), и определяется их соответствие представленной документации. Исследуются меню, подменю, диалоги ПО с целью выявления не соответствующих документации функций, параметров и команд. 5.3.3.4. Проверяется фильтрация ввода данных через интерфейс и возможность введения недопустимых данных. Для этой проверки в ПО могут вводиться данные: - из диапазона допустимых значений; - из диапазона недопустимых значений; - данные на границах ограничений диапазона ввода; - комбинации вышеуказанных категорий данных. 5.3.3.5. При высокой жесткости испытания проводятся на основе анализа исходного кода ПО в соответствии с п. 5.3.1.5. При этом: - выявляются недокументированные функции, процедуры, параметры, переменные, команды и их использование в ПО; - проверяется соответствие действия вводимых команд (с помощью диалогов, командной строки и т.д.) представленной документации. 5.3.3.6. Возможно использование других методов проверки правильности функционирования интерфейса(ов) ПО. 5.4. ПРОВЕРКА СООТВЕТСТВИЯ (ИДЕНТИФИКАЦИЯ)Под проверкой соответствия понимается проверка конкретного ПО на соответствие тому типу, который был утвержден (зафиксирован) при его аттестации, если такая аттестация ранее проводилась, а также проверка методов и способов идентификации. 5.4.1. Проверка соответствия. 5.4.1.1. При низкой и средней жесткости испытаний проверка соответствия утвержденному типу проводится на основе анализа представленной документации, а также с использованием программных средств. При этом может приниматься во внимание заявление заказчика аттестации об отсутствии изменений и модификаций части ПО, подлежащей метрологическому контролю (аттестации). 5.4.1.2. В случаях, когда имеются сомнения в полном соответствии конкретного ПО утвержденному типу, может быть проведено выборочное тестирование тех функций и частей ПО, относительно которых имеются указанные сомнения. 5.4.2. Проверка методов и способов идентификации программного обеспечения. 5.4.2.1. При низкой и средней жесткости испытаний методы и средства идентификации ПО проверяются на основе документации и выполнения функциональных испытаний (тестирования) ПО. 5.4.2.2. На основе документации проверяется описание реализованного метода идентификации и способа работы с ним. В случае разделения ПО на программном уровне устанавливается соответствие метода идентификации принципу разделения ПО. 5.4.2.3. На основе анализа документации получают информацию обо всех частях (модулях) ПО (с учетом его разделения), охватываемых идентификацией. Все части ПО, подлежащие метрологическому контролю (аттестации) должны быть охвачены алгоритмом идентификации. 5.4.2.4. Оценивается соответствие метода идентификации уровню требуемой защиты. В качестве метода идентификации ПО может быть рекомендован номер версии с учетом п. 6.3.2.1. МИ 2891. 5.4.2.5. Проверяется наличие номинального значения, идентифицирующего ПО (номер версии, контрольная сумма и др.). Номинальное значение идентификации ПО вносится в свидетельство об аттестации. 5.4.2.6. Проверяется функция идентификации ПО, например, выводом номера версии на экран. 5.4.2.7. При высокой жесткости испытаний проводятся дополнительные испытания на основе анализа исходного кода ПО. При этом устанавливается: - охват идентификацией всех частей ПО, подлежащих метрологическому контролю (аттестации), например, формирование номинального закрепляемого значения идентификации; - охват идентификацией частей ПО, не подлежащих метрологическому контролю (аттестации); - соответствие метода идентификации представленной документации. Примечание - В случае изменения файлов, входящих в состав ПО и охваченных алгоритмом идентификации, изменение значения, идентифицирующего ПО, устанавливается при испытаниях по проверке защиты от искажений ПО и данных. 5.5. ОЦЕНКА ПОГРЕШНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ5.5.1. Погрешность ПО представляет собой отличие результатов, полученных с помощью испытываемого (тестируемого) ПО, от результатов, полученных при тех же условиях эталонным ПО. При этом под эталонным понимается ПО, отвечающее наивысшим требованиям к его точностным и функциональным характеристикам, подтвержденным (в ряде случаев независимыми методами) при его неоднократном тестировании. 5.5.2. Критерии отнесения ПО к эталонному условны и при проведении аттестации ПО СИ являются предметом соглашения между заказчиками аттестации и ее исполнителями. В качестве эталонного может быть использовано аттестованное ПО. 5.5.3. К основным источниками погрешностей ПО относятся: - программные ошибки вследствие неправильной записи исходного текста программы на выбранном языке программирования, а также ошибки трансляции программы в объектный код; - алгоритмические ошибки, связанные с неполной или ошибочной формулировкой необходимых условий решения; - применение неустойчивых алгоритмов при решении плохо обусловленных измерительных задач; - ошибки программного преобразования входных данных перед обработкой и ошибки обратной процедуры, если она проводится; - ошибки округления и др. 5.5.4. Порядок проведения испытаний (тестирования) ПО определяется тестовым заданием (п.п. 5.1.4.4 - 5.1.4.7) и может включать в себя: - анализ ПО и его алгоритмов, выбор контролируемых параметров, характеристик и свойств; - определение методов испытаний (тестирования) в соответствии с выбранной жесткостью испытаний; - определение критериев оценки погрешности, характеристик и параметров ПО; - выбор (или разработка) эталонного ПО; - выбор (определение) исходных данных и/или их получение методом генерации или какими-либо другими методами; - получение результатов обработки исходных данных в испытываемом (тестируемом) ПО (получение тестовых результатов); - получение оценки погрешности ПО посредством обработки результатов испытаний (тестирования) (сравнения тестовых результатов с эталонными); - дополнительные исследования свойств, параметров и характеристик используемых алгоритмов (адекватность измерительной задаче, область устойчивости, время, затрачиваемое на обработку результатов измерений и т.п.). 5.5.5. Основными методами, применяемыми при оценке погрешности ПО, являются: * Обусловленность является мерой чувствительности решения к изменениям входных данных. Хорошо обусловленная задача обладает свойством малого изменения решения при малом же изменении входных данных, в то время как плохо обусловленная задача при тех же условиях повлечет за собой существенные изменения решения. - сравнительные испытания с применением эталонного (аттестованного) ПО; - в отсутствие эталонного (аттестованного) ПО сравнительные испытания с использованием моделей исходных данных или с применением метода генерации эталонных данных (Приложение 7); - испытания на основе исходного кода ПО, а также комбинации указанных методов. Метод оценки погрешности ПО выбирают с учетом наличия или возможности разработки того или иного вида эталонного ПО, а также возможности применения указанных методов в каждом конкретном случае. При низкой/средней жесткости, испытания проводятся с применением одного из методов сравнительных испытаний. При высокой жесткости испытания проводятся на основе исходного кода ПО. 5.5.6. Сравнительные испытания с применением эталонного (аттестованного) ПО. 5.5.6.1. Данный метод испытания применяется при наличии эталонного (аттестованного) ПО, с помощью которого могут быть идентично воспроизведены функции испытываемого (тестируемого) ПО. В качестве эталонного ПО при оценке погрешности ПО может быть применено: - аттестованное ПО СИ аналогичного функционального назначения; - специально разработанное ПО с функциями, идентичными тестируемому; - стандартные пакеты коммерческого ПО (например, электронные таблицы, пакеты математического и статистического ПО и т.д.). 5.5.6.2. К разработке эталонного ПО прибегают в тех случаях, когда испытываемое (тестируемое) ПО является не очень сложным, а его алгоритмы достаточно просты. Это означает, что затраты на разработку эталонного ПО должны быть разумными и сопоставимыми со стоимостью работ по аттестации ПО. Данный метод позволяет максимально учитывать особенности аттестуемого ПО, а также метрологические характеристики соответствующего СИ, и может быть рекомендован, в частности, при аттестации встроенного ПО. 5.5.6.3. Разрабатываемое эталонное ПО может содержать только функции и параметры, подлежащие метрологическому контролю (аттестации). При этом в некоторых случаях могут не учитываться особенности графического интерфейса пользователя, а также функции, не участвующие в обработке результатов измерений (например, функции отображения, хранения данных и т.д.). 5.5.6.4. К разработке эталонного ПО могут привлекаться специалисты организаций, занимающихся разработкой программных средств. 5.5.7. Сравнительные испытания с использованием моделей исходных данных. 5.5.7.1. Метод аттестации с использованием моделей исходных данных рекомендуется методикой МИ 2174 для аттестации алгоритмов обработки результатов измерений. Метод позволяет оценить погрешность алгоритмов сравнением результатов обработки тестируемыми алгоритмами заданных моделей исходных данных с параметрами этих моделей. 5.5.7.2. Наборы моделей исходных данных выбираются таким образом, чтобы они соответствовали частной измерительной задаче, решаемой тестируемыми алгоритмами. 5.5.8. Генерация эталонных наборов данных 5.5.8.1. Метод генерации эталонных наборов данных применяется как альтернатива использованию эталонного ПО (в случае его отсутствия или невозможности использования) при оценке отдельных функций, реализуемых тестируемым ПО, и, по сути, имитирует случайный характер измерительного процесса. 5.5.8.2. Эталонные данные получают путем генерации таких данных с помощью специально разработанной программы - генератора эталонных данных, который представляет собой алгоритм, предназначенный для моделирования эталонных данных на основе выбранных (заданных) исходных данных. Генератор эталонных данных реализуют на одном из алгоритмических языков программирования или при помощи стандартного математического или статистического программного пакета (Приложение 7). 5.5.8.3. Исходные данные для испытаний, в том числе и для генерации эталонных данных, формируются с учетом свойств реализованных алгоритмов. При этом наборы исходных данных должны охватывать как можно больший диапазон возможных значений, поступающих на обработку. 5.5.8.4. В наборы исходных данных могут быть включены: - данные, близкие к наибольшим и наименьшим значениям, а также ряд промежуточных значений; - особые значения входных переменных - точки резкого возрастания или разрыва производных, нулевые, единичные и предельно малые численные значения переменных и т.п. 5.5.8.5. Если значения некоторой переменной зависят от значения другой переменной, то испытания проводят при особых сочетаниях этих переменных таких, как равенство обеих переменных, малое и предельно большое их различие, нулевые и единичные значения и т.п. 5.5.9. Испытания на основе исходного кода ПО 5.5.9.1. При испытаниях на основе исходного кода ПО проверяется: - соответствие структуры алгоритма представленной документации; - запись алгоритма на выбранном языке программирования; - адекватность выбранного алгоритма измерительной задаче (выявление неустойчивых алгоритмов). 5.5.9.2. При проверке соответствия структуры алгоритма представленной документации, по тексту программы может быть составлена блок-схема реализуемого алгоритма, которая сравнивается с алгоритмом, изложенным в документации. В случае нахождения различий в структуре алгоритмов проводится дополнительный анализ элементов блок-схемы, в которых обнаружены различия. 5.5.9.3. Проверяется правильность записи алгоритма на выбранном языке программирования. При этом устанавливается соответствие кода правилам программирования, наличие тупиков и висящих вершин, пустых переменных, операторов, правильность организации циклов и т.д. 5.5.9.3. Соответствие выбранного алгоритма измерительной задаче осуществляется путем математического анализа реализованного алгоритма обработки данных. При этом исследуются логические и точностные характеристики реализованных алгоритмов, анализируется пригодность и оптимальность примененных численных методов к решению измерительной задачи. 5.5.9.4. Методы оценки погрешности ПО на основе исходного кода могут корректироваться исполнителем и заказчиком аттестации ПО. 5.5.10. Обработка результатов испытаний (тестирования) ПО. 5.5.10.1. На основе полученных результатов испытаний (тестирования) рассчитывают характеристики точности тестируемых алгоритмов: относительную погрешность алгоритма и его исполнительную характеристику. Могут быть оценены и другие характеристики алгоритмов такие, как их сложность, скорость исполнения, адекватность измерительной задаче, выбор численной схемы расчета, коэффициент обусловленности (устойчивости), область устойчивости и т.п. 5.5.10.2. Относительная погрешность алгоритма. Вычисление относительной погрешности алгоритма производится по формуле:
где Ymecm - результат, полученный испытываемым ПО (результат обработки), Yэт - соответствующее значение, полученное эталонным ПО (эталонный результат). 5.5.10.3. Исполнительная характеристика алгоритма (Приложение 6). Исполнительная характеристика алгоритма вычисляется по формуле:
где η _ относительная вычислительная точность,
Исполнительная характеристика показывает число потерянных цифр точности в тестируемом программном обеспечении по сравнению с эталонным. 5.5.10.4. Перечень характеристик аттестуемого ПО может корректироваться соглашением между исполнителем и заказчиком аттестации ПО. 5.5.10.5. Все определенные и оцененные характеристики и свойства алгоритмов заносятся в протокол испытаний. 5.5.10.6. Критерии, которым должны удовлетворять определенные и оцененные характеристики алгоритмов ПО, а также допускаемые значения характеристик могут быть установлены на основе требований к точности решения измерительной задачи, если они имеются, точности выполняемых расчетов (степени округления) и.т.п. Критерии и допуски на значения характеристик фиксируются в тестовых заданиях и согласовываются в рамках методики аттестации ПО с ее заказчиком. 5.6. ПРОВЕРКА ЗАЩИТЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ5.6.1. Проверка защиты от сбоев. 5.6.1.1. К сбоям в работе ПО относятся ситуации, приводящие к прекращению выполнения основных функций ПО на длительное или неопределенное время, нарушению нормального хода вычислительного процесса, стиранию или искажению данных в оперативной или долговременной памяти и т.п. 5.6.1.2. Целью испытаний является проверка средств защиты ПО от сбоев, от использования вследствие сбоя искаженных программ и данных, а также средств восстановления. 5.6.1.3. При сбое может предусматриваться запись события о сбое в программном журнале событий, в который записывается информация о времени сбоя, а также о результатах срабатывания средств восстановления. При данных испытаниях может применяться расчет контрольных сумм по коду программы и данным. 5.6.1.4. При низкой/средней жесткости испытания проводятся на основе анализа документации и функциональных испытаний. При высокой жесткости испытаний проводится проверка реализации средств защиты и восстановления от сбоев на основе исходного кода ПО. 5.6.1.5. При испытаниях проверяется функционирование средств программного контроля и оперативного восстановления ПО. С этой целью разрабатываются сценарии имитации программно-аппаратных сбоев, искажений исходных данных и программных ошибок. При этом могут имитироваться следующие ситуации: - параллельный запуск нескольких экземпляров приложения; - досрочное завершение работающего ПО, вызванное, например, отключением питания компьютера, нарушением соединения компьютера с СИ и т.п.; - тестирование при больших объемах данных. При реализации каждой из этих ситуаций фиксируется результат имитации сбойной ситуации, проверяется работа программного журнала событий (наличие записи о сбое), выполняется идентификация ПО, проверятся целостность ПО и данных (например, с помощью расчета контрольных сумм). 5.6.1.6. При высокой жесткости испытаний на основе исходного кода ПО проверяются средства защиты и восстановления от сбоев. При этом устанавливается правильность расчета и сверки контрольных сумм по коду и данным. 5.6.1.7. Могут применяться и другие методы проверки защиты ПО от сбоев. 5.6.2. Защита программного обеспечения и данных от изменений. 5.6.2.1. На основе анализа документации проверяются наличие и достаточность средств защиты ПО и данных от изменений. Средства защиты могут включать в себя: - запрос авторизации (допуска) у пользователя; - кодирование или электронную подпись (контрольную сумму) файлов с данными (настройками, параметрами), контрольные суммы по другим файлам ПО, относящимся к частям, подлежащим метрологическому контролю (аттестации); - программный журнал событий. 5.6.2.2. При данной проверке могут выполняться следующие испытания: а) Проверка авторизации пользователя: - проверяется возможность обхода авторизации; - проверяется реакция ПО на неоднократный ввод неправильной информации учетной записи пользователя; - проверяются функции ввода новых пользователей и назначения их прав. б) Проверка программного журнала внесения изменений: - проверяется появление соответствующей записи в журнале изменений после внесения изменений в настройки ПО; - проверяется возможность правки информации журнала изменений с помощью, например, текстового редактора*. * В соответствии с требованиями МИ 2891 журнал изменений должен быть защищен от изменений. в) Проверка защиты данных и ПО. Проверяется работа средств защиты ПО и данных от искажений после внесения, например с помощью текстового редактора, изменений в различные файлы ПО и файлы данных. 5.6.2.3. Могут применяться и другие методы проверки защиты ПО и данных от изменений. Приложение 1Форма заявки на проведение работ по аттестации ПО СИ
Приложение 2Форма титульного листа методики аттестации ПО СИ___________________________________________________________________________ ___________________________________________________________________________ (название организации, проводящей аттестацию ПО СИ)
Приложение 3Рекомендуемая форма акта о результатах испытаний (тестирования) ПО СИ
Приложение 4Протокол аттестации программного обеспечения средств измерений
Приложение 5Рекомендуемая форма свидетельства об аттестации ПО СИ___________________________________________________________________________ (название организации, проводящей аттестацию ПО СИ)
Приложение 6Коэффициент обусловленности (устойчивости) и исполнительная характеристика ПО СИСодержание этого Приложения основано на разработках Национальной физической лаборатории (Великобритания). Предположим, что связь между
входом где Пусть где символ Под нормой (длиной) вектора Коэффициент обусловленности (устойчивости) характеризует относительное изменение выхода системы по отношению к соответствующему относительному изменению входа. Приращение функции (6.1) с точностью до членов первого порядка малости записывается в виде где функциональная матрица
В случае, когда п = т
определитель этой матрицы С учетом (6.3) формула (6.2) может быть записана в виде При записи (6.5) было использовано неравенство Коши-Буняковского. Пусть теперь Далее предполагается, что Из (6.2) следует где Из определения устойчивого
алгоритма следует, что при оценке его устойчивости необходимо определить
значение отклика Для эталонного ПО можно ожидать, что если то, как следует из (6.6), где О(1) - величина порядка единицы. Если же для тестируемого ПО отношение в левой части формулы (6.8) оказываются порядка О(10р) при том, что входные данные удовлетворяют условию (6.7), это означает, что, как уже отмечалось, тестируемое ПО теряет при вычислениях р значащих десятичных цифр по сравнению с эталонным. Число потерянных цифр р можно определить с помощью исполнительной характеристики В самом деле, если второе слагаемое под знаком логарифма оказывается порядка 10р, то даже в самом неблагоприятном случае, когда р = 1, единицей под знаком логарифма можно пренебречь по сравнению с десятью, и в общем случае с большой степенью точности можно написать, что
Если же вычислительные
возможности тестируемой и эталонной программ совпадают, то С учетом (6.5) выражение для исполнительной характеристики (6.9) может быть записано в виде
Можно показать, что для алгоритма вычисления СКО
где
для коэффициента обусловленности получается выражение Видно, что первое слагаемое в
этом выражении является константой, зависящей от объема выборки. При больших
объемах значение этого слагаемого с большой степенью точности равно единице.
Второе слагаемое зависит от отношения Исполнительная характеристика для СКО получается подстановкой формулы (6.14) в выражение (6.9). Аналогично могут быть получены выражения для коэффициентов обусловленности и исполнительных характеристик и для других, используемых при обработке измерительной информации алгоритмов. Приложение 7Метод генерации эталонных данныхСодержание этого Приложения основано на разработках Национальной физической лаборатории (Великобритания). В излагаемом методе тестирование программного обеспечения происходит в соответствии со следующей схемой Рассмотрим применение метода генерации эталонных данных на примере задачи простой линейной регрессии. Известно, что линейный регрессионный анализ объединяет широкий круг задач, связанных с построением функциональных зависимостей между двумя группами числовых переменных: х1,..., хр и y1,..., yq. На практике широко
распространенной является ситуация, когда функция yi = b1 + b2xi + ri, (7.1) или в векторном виде где матрица наблюдений А и векторы
в этой формуле, в том числе вектор остатков
Задача нахождения значений
параметров Задача, рассматриваемая
здесь, заключается в построении такого набора эталонных Решение задачи простой линейной регрессии МНК требует, чтобы выполнялось условие (см. формулу (7.2)) где АТ - матрица, транспонированная по отношению к матрице А. В свою очередь, условие (7.4) эквивалентно выполнению двух условий В теории линейных
алгебраических уравнений вектор остатков Пусть теперь N будет базисом в нуль-пространстве матрицы АТ, т.е. ATN = 0. (7.6) Этот базис может быть выражен как набор линейно независимых векторов, которые и образуют матрицу N. Если известен базис нуль-пространства, определяемый
формулой (7.6), то вектор
где вектор Замечательной особенностью
рассматриваемого метода является то, что замена вектора В самом деле, с учетом условия (7.4), получаем
т.е. ничего не меняется по сравнению со
случаем, когда остаточного члена не было. Из написанного соотношения следует,
что, построив один набор данных Таким образом, процедура генерации эталонных данных в общих чертах состоит из последовательности следующих действий: 1. Предполагая строгую
линейную зависимость (линейную модель) откликов системы на входные воздействия,
строится модельный вектор наблюдений 2. С помощью программной функции строится базис N нуль - пространства матрицы АТ (такой стандартный программный пакет, как Matlab, содержит в качестве библиотечной такую функцию). 3. С помощью
соотношения 4. По формуле Исполнительная характеристика Р(х) (формула 6.9) для рассматриваемой задачи определяется соотношением
где ymecm - результат, полученный тестируемым ПО. Можно показать, что lgk{x} определяет число цифр точности, теряемых алгоритмом вычисления у0 при решении задачи линейной регрессии. Исполнительная характеристика, в свою очередь, показывает количество потерянных значащих цифр при обработке эталонных данных тестируемым ПО по сравнению с априори известным модельным решением измерительной задачи (Приложение 6). Поведение исполнительной характеристики зависит от выбора значений так называемых исполнительных параметров, в качестве которых могут, в частности, выступать: m - объем выборки;
s - среднее квадратическое отклонение (измерительный шум). Для каждого исполнительного параметра задается область принципиально возможных значений, а также набор номинальных (наиболее часто встречающихся) значений. При этом набор исполнительных характеристик строится по следующему принципу: фиксируются номинальные значения двух исполнительных параметров (например, объем выборки и СКО) и определяется зависимость исполнительной характеристики от значений третьего исполнительного параметра (в данном случае от среднего значения) во всей области его возможного изменения. Приведенная выше процедура генерации эталонных данных была реализована в пакете Matlab, в котором был построен генератор данных, примененный для тестирования функций линейной регрессии в Matlab и в некоторых других пакетах. Расчеты велись с точность 10-16. Полученные данные заносились в программный пакет Microsoft Excel, в котором строились соответствующие графики, при этом объем выборки т во всех расчетах брался равным 100. Результаты расчета исполнительной характеристики Р(х) для функции линейной регрессии показывают, что в зависимости от значения исполнительных параметров число потерянных цифр точности может изменяться от 0 до 5. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© 2013 Ёшкин Кот :-) |