Программные средства для верификации ПО

Программные средства для
верификации ПО
г. Балаково 2014 год
В Ы П ОЛ Н И Л А :
С Т УД Е Н Т К А 1 5 1
ГРУППЫ
ВЛ АС О ВА
С В Е ТЛ А Н А
ПРОВЕРИЛА:
С А Х Н О ВА А . А .
Верификация
Верификация — это проверка того, что аппаратная
или программная система соответствует заявленной
спецификации (то есть обладает необходимыми
свойствами).
Критерии верификации:
В целом можно выделить следующие критерии
верификационного процесса на различных его стадиях:
• Верификация процесса
• Процесс должен быть верифицирован по следующим критериям:
• соответствие и своевременность установления проектных
требований к планированию;
• пригодность, реализуемость, выполнимость в соответствии с
планом и условиями договора выбранных для проекта процессов;
• применимость стандартов, процедур и условий к процессам
проектирования;
• укомплектованность и обученность персонала в соответствии с
условиями договора.
Требования должны быть верифицированы
по следующим критериям:
непротиворечивость, выполнимость и тестируемость требований к
системе;
распределение требований к системе между объектами технических и
программных средств и ручных операций в соответствии с проектом;
непротиворечивость, выполнимость, тестируемость и точность
отражения требований к системе в требованиях к программным
средствам;
правильность, подтвержденная соответствующими методами,
требований к программным средствам по безопасности, защите и
критичности.
Проект должен быть верифицирован по
следующим критериям:
правильность проекта, его соответствие установленным требованиям
и учет этих требований в проекте;
реализуемость в проекте соответствующей последовательности
событий, исходных данных, выходных результатов, интерфейсов,
логики, распределения временных и материальных средств, а также
обнаружения, локализации и восстановления ошибок;
возможность выбора проекта, исходя из установленных требований;
правильность, подтвержденная соответствующими методами,
реализации в проекте требований безопасности, защиты и других
критических требований.
Программа должна быть верифицирована по
следующим критериям:
учет в программе условий проекта и установленных требований; ее тестируемость,
правильность и соответствие установленным требованиям и стандартам
программирования;
реализуемость в программе: соответствующей последовательности событий,
соответствующих интерфейсов, правильных данных и логики управления;
распределения временных и материальных ресурсов; обнаружения, локализации и
восстановления ошибок, а также ее завершенность:
возможность выбора программы, исходя из проекта или установленных
требований;
правильность, подтвержденная соответствующими методами, реализации в
программе требований безопасности, защиты и других критических требований.
Сборка должна быть верифицирована по
следующим критериям:
полнота и правильность сборки программных
компонентов и модулей каждого программного
объекта в соответствующий программный объект;
полнота и правильность сборки технических и
программных объектов и ручных операций в
систему;
выполнение задач сборки в соответствии с планом
сборки.
Документация должна быть верифицирована
по следующим критериям:
соответствие, полнота и
непротиворечивость документации;
своевременность подготовки
документации;
соблюдение установленных процедур
управления конфигурацией документ
Анализируйте результаты верификации и
определяйте корректирующие действия
Для определения степени приемлемости действительные результаты
должны
быть
подвержены
сравнению
с
установленными
верификационными критериями.
Результаты анализа фиксируются как свидетельство того, что
верификация была управляема.
Аналитические отчеты также могут указывать на то, что плохие
результаты верификации имеют место вследствие недостатка в
методиках, критериях или проблемах в инфраструктуре.
Основная продукция работ:
Аналитический отчет (статистика, анализ несоответсвий,
сравнение поведения реальной продукции и ее модели,
отклонения и т.д.)
Отчет о выявленных неиспрвностях
Рекомендации по изменениям в методиках, критериях и
инфраструктуре
Набор корректирующих мер по исправлению выявленных
недостатков
Обзор средств автоматизации процесса
верификации
На рынке существует множество продуктов, позволяющих автоматизировать
процесс верификации. Среди них Purify, TestCenter, Logiscope и др. Пакет
Logiscope компании Verilog - это семейство инструментальных программ
(TestChecker, CodeChecker, RuleChecker, ImpactChecker и Viewer), объединенных
общей целью: помочь пользователям улучшить качество и провести всестороннее
тестирование создаваемого ПО. В основе продукта лежит идея анализа
исходного кода. Его последняя версия способна обрабатывать тексты программ,
написанные более чем на 80 языках, включая C, C++, Pascal, Cobol, Fortran, PL1,
ADA и даже языки ассемблера Intel и Motorola. Результаты анализа
представляются в виде числовых показателей (метрик, которых существует более
50 типов), позволяющих судить о качестве исходного кода программ.