Верификация и аттестация.
Выбор методов верификации и аттестации
Приемо-сдаточные испытания являются основным видом испытаний при аттестации ПП. Эти испытания начинаются с изучения представленной документации, в том числе, и документации по тестированию и отладке ПП. Если в документации отсутствуют достаточно полные результаты тестирования ПП, аттестационная комиссия может принять решение о проведении системных испытаний ПП или о прекращении процесса аттестации с рекомендацией разработчику провести дополнительное (более полное) тестирование ПП. Кроме того, во время этих испытаний могут выборочно пропускаться тесты разработчиков, а также контрольные задачи пользователей и дополнительные тесты, подготовленные комиссией для оценки качества аттестуемого ПП.
Промышленные испытания ПС - это процесс передачи ПП в постоянную эксплуатацию пользователям. Представляет собой период опытной эксплуатации ПП пользователями со сбором информации об особенностях поведения ПС и ее эксплуатационных характеристиках. Это завершающие испытания ПП, которые проводятся по решению аттестационной комиссии, если на предшествующих испытаниях получена недостаточно полная или надежная информация для оценки качества аттестуемого ПП.
Инспектирование
Процесс инспектирования – формализованный. В нем принимает участие небольшая группа людей (обычно не более, чем четыре человека). У каждого в группе есть своя роль. Обязательно должны присутствовать: автор, рецензент, инспектор, координатор. Рецензент «озвучивает» программный код, инспектор проверяет его, координатор отвечает за организацию процесса. По мере накопления опыта инспектирования в организациях могут появляться другие предложения по распределению ролей в группе (например, одно лицо может исполнять несколько ролей, поэтому количество членов в группе инспектирования может варьироваться).
Для начала процесса инспектирования
программы необходимы следующие условия:
наличие точной спецификации кода (без
полной спецификации невозможно обнаружить
дефекты в проверяемом программном
компоненте); члены инспекционной группы
должны хорошо знать стандарты разработки;
в распоряжении группы должна быть
синтаксически корректная последняя
версия программы (нет смысла рассматривать
код, который «почти завершен»).
После инспектирования автор изменяет программу, исправляя обнаруженные ошибки. На этапе доработки координатор принимает решение о том, необходимо ли повторное инспектирование. Если повторное инспектирование не требуется, все обнаруженные дефекты фиксируются документально.
В процессе инспектирования организация накапливает определенный опыт, поэтому результаты инспектирования можно использовать для улучшения всего процесса разработки ПО. В ходе инспектирования выполняется анализ обнаруженных дефектов. Группа инспектирования и авторы инспектируемого кода определяют причины возникновения дефектов. Чтобы подобные дефекты не возникали в будущих системах, необходимо по возможности устранить причины возникновения дефектов, что означает внесение изменений в процесс разработки программных систем.