Верификация ПО.Верификация ПО. При разработке ПО процессы жизненного цикла ПО сопровождаются и взаимодействуют с процессом верификации ПО и системы в целом. Верификация — это процесс определения того, отвечает ли текущее состояние разработки, достигнутое на данном этапе, требованиям этого этапа. Основное назначение верификации ПО состоит в проверке, что:
· архитектура ПО и детальный проект должным образом преобразованы в исходный код, согласованный с ними и требованиями к ПО; · инструментальные средства, используемые для выполнения указанных действий, являются технически корректными для заданного уровня ПО; · каждый процесс жизненного цикла (ЖЦ) ПО оформлен соответствующей документацией, удостоверяющей ее соответствие первичной спецификации.
Процесс верификации ПО включает: 1. тестирование модулей в среде разработки, 2. интеграционное тестирование в среде разработки и в БЦВМ, 3. квалификационное тестирование ПО в БЦВМ, 4. просмотр и анализ: · системных требований, · требований к ПО, · архитектуры ПО, · исходного кода, · выходных результатов процессов интеграции, · тестовых вариантов, процедур и результатов тестирования.
На этапе анализа системных требований проводятся просмотры и анализ системных требований с точки зрения полноты и непротиворечивости эксплуатационных и функциональных требований к системе и требований, связанных с обеспечением безопасности. Анализ системных требований должен подтвердить, что: · определен состав сопровождающих документов; · каждое системное требование имеет свой идентификатор, однозначно его определяющий в данном проекте, и ссылки на исходные документы; · сформулированы дополнительные системные требования для обработки возможного аномального поведения, не определяемого процессом оценки безопасности системы.
На этапе определения требований к ПО проводятся просмотры и анализ требований к ПО, как вытекающих из системных требований, так и не являющихся производными от них. Анализ требований к ПО должен подтвердить, что: · определены функции системы, которые должно выполнять ПО, · требования по функциональности, эффективности и безопасности системы удовлетворены в требованиях к ПО, · обоснованы и сформированы требования к ПО, не являющиеся производными от системных требований, · требования сформулированы так, чтобы можно было обеспечить их объективную проверку, · для каждого требования определен тип проверки (“черный”, “белый” ящик), · прослеживаемость с системными требованиями и полнота их покрытия, · Спецификация Требований к ПО (СТПО) и Спецификация Требований к Интерфейсу (СТИ) содержат описание иерархической декомпозиции функций и подфункций ПО.
На этапе проектирования ПО проводятся просмотры и анализ архитектуры и детального проекта. Верификация архитектуры ПО должна подтвердить, что: · определены компоненты, подкомпоненты и модули, составляющие ПО, · каждому модулю присвоен уникальный идентификатор в рамках данного проекта, · взаимосвязь модулей установлена, · определено назначение каждого модуля и реализуемые им требования СТПО и СТИ, · определены уровни тестирования модулей с учетом требований безопасности реализуемых режимов, · описан интерфейс между модулями, внешние интерфейсы ПО с системой. Верификация детального проекта должна подтвердить, что: детальная разработка каждой функции или процедуры, входящей в состав модуля, содержится в документах Описание Проекта ПО (ОППО) и СТПО, заголовочные файлы кода разработаны и оформлены в соответствии с документами, не требуется дополнительной информации для кодирования, для каждой процедуры или функции определены: · функциональное назначение, · входные и выходные параметры, · входные и выходные переменные, · алгоритм.
На этапе кодирования ПО проводятся следующие процедуры верификации: · Просмотр и анализ кода, · Проверка на отсутствие ошибок при кросс-компиляции, · Разработка тестов, · Тестирование модулей (тестирование нижнего уровня), · Просмотр и анализ результатов тестирования.
Просмотры и анализ исходного кода должны подтвердить, что он удовлетворяет следующим условиям: · согласованность с требованиями к ПО, · согласованность с архитектурой ПО, · верифицируемость, · соответствие стандартам, · прослеживаемость, · точность и непротиворечивость.
Целью просмотров и анализа тестовых вариантов, процедур и результатов является гарантия, что тестирование кода было разработано и выполнялось точно и полностью. На фазе подготовки к тестированию модулей проводятся следующие работы: составление вариантов значений входных данных и ожидаемых выходных данных для функций тестируемого модуля, которые должны позволять проверить все требования, предъявляемые к ПО, и обеспечить структурное покрытие кода, регистрация тестовых вариантов в тестовых файлах процедуры тестирования в соответствии с инструкцией по тестированию модулей (каждому файлу кода должен соответствовать определенный тестовый файл), разработка имитационных программных модулей (ИПМ) для симуляции функций, используемых в тестируемом коде, которые: либо не доступны на момент тестирования ввиду незавершенности фазы реализации соответствующего модуля ПО, либо не могут использоваться ввиду отсутствия необходимой аппаратуры, либо не дают возможности обеспечить достаточное покрытие тестируемого кода. При обнаружении несоответствия ожидаемых и полученных выходных результатов производятся следующие действия: · коррекция кода, полученного на фазе реализации ПО и/или подготовки к тестированию, · просмотр и анализ модифицированного кода, · повторение процесса тестирования, · при подтверждении необходимости изменений в программах производится корректировка документации. Описанные действия повторяются до тех пор, пока полученные выходные результаты не будут соответствовать ожидаемым, либо при обнаружении невозможности добиться такого соответствия, не меняя требований к ПО.
На этапе интеграции ПО в БЦВМ проводятся следующие процедуры верификации: · Просмотр и анализ результатов интеграции, · Разработка тестов и выполнение интеграционного тестирования, · Просмотр и анализ тестовых вариантов, · Просмотр и анализ результатов тестирования, · Ревизия и перетестирование (при необходимости), · Квалификационное тестирование версии ПО. Цель этих процедур - гарантировать, что: · результаты тестирования являются корректными и что расхождение между фактическими и ожидаемыми результатами объяснимы, проконтролированы и исключены: o неправильные аппаратные адреса, o перекрытия памяти, o отсутствующие компоненты ПО. · тестовые варианты покрывают все требования к ПО. При разработке тестов и выполнении тестирования ПО проводятся следующие работы: · составление вариантов значений входных данных и ожидаемых выходных данных; · для компонент, зависящих от времени (если используются функции фильтрации, задержки) подготовка вариантов с многократной итерацией кода; · разработка одной или нескольких тестирующих программ, которые реализуют составленные варианты значений входных, выходных данных и критерии их оценки, и определяют последовательность вызываемых модулей, входящих в тестируемую компоненту; · проверка соответствия полученных при тестировании результатов ожидаемым и вытекающим из требований к ПО (при несоответствии — проверка наличия убедительного объяснения). При обнаружении несоответствия ожидаемых и полученных выходных данных из-за некорректности кода, тестирующих программ производятся следующие действия: · коррекция кода модулей или тестирующих программ, · тестирование нижнего уровня только тех функций и процедур, в которых выявлены ошибки, · повторение всех последующих фаз, начиная с фазы выполнения интеграции модулей и тестирования. Квалификационное тестирование ПО выполняется, чтобы продемонстрировать, что требования к ПО удовлетворены. Для проведения тестирования необходимы специально разработанные сервисные программы для симуляции входных и выходных данных БЦВМ и имитации внешних устройств. Квалификационное тестирование ПО для каждой версии интерпретируется как выполнение тестирования для текущей версии с целью показать выполнение системных требований к ПО, реализованных в данной версии.
|
