Программные средства для верификации ПО г. Балаково 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 типов), позволяющих судить о качестве исходного кода программ.