- Главная
- Информатика
- Верификация программного продукта
Содержание
- 2. Понятие верификации Верификация - это процесс определения, выполняют ли программные средства и их компоненты требования, наложенные
- 3. ПОНЯТИЕ ВЕРИФИКАЦИИ. Жизненный цикл разработки ПО Верификация - это процесс определения, выполняют ли программные средства и
- 4. Задачи верификации в рамках жизненного цикла ПО Все используемые на практике модели жизненного цикла по схеме
- 5. Задачи верификации в рамках жизненного цикла ПО Выявление наиболее критичных и наиболее подверженных ошибкам частей создаваемой
- 6. Методы верификации программного обеспечения В данном разделе рассматриваются методы верификации ПО, в основном нацеленные на оценку
- 7. Методы верификации программного обеспечения Формальные методы верификации используют для анализа свойств ПО формальные модели требований, поведения
- 8. Методы верификации программного обеспечения Синтетические методы. В последние 10-15 лет появилось множество исследовательских работ и инструментов,
- 10. Скачать презентацию
Слайд 2Понятие верификации
Верификация - это процесс определения, выполняют ли программные средства и их компоненты требования, наложенные
Понятие верификации
Верификация - это процесс определения, выполняют ли программные средства и их компоненты требования, наложенные
![Понятие верификации Верификация - это процесс определения, выполняют ли программные средства и](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-1.jpg)
Основная цель верификации состоит в подтверждении того, что программное обеспечение соответствует требованиям. Дополнительной целью является выявление и регистрация дефектов и ошибок, которые внесены во время разработки или модификации программы.
Слайд 3ПОНЯТИЕ ВЕРИФИКАЦИИ.
Жизненный цикл разработки ПО
Верификация - это процесс определения, выполняют ли программные средства и их
ПОНЯТИЕ ВЕРИФИКАЦИИ.
Жизненный цикл разработки ПО
Верификация - это процесс определения, выполняют ли программные средства и их
![ПОНЯТИЕ ВЕРИФИКАЦИИ. Жизненный цикл разработки ПО Верификация - это процесс определения, выполняют](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-2.jpg)
Жизненный цикл программного обеспечения - совокупность итерационных процедур, связанных с последовательным изменением состояния программного обеспечения от формирования исходных требований к нему до окончания его эксплуатации конечным пользователем.
Слайд 4Задачи верификации в рамках жизненного цикла ПО
Все используемые на практике модели жизненного
Задачи верификации в рамках жизненного цикла ПО
Все используемые на практике модели жизненного
![Задачи верификации в рамках жизненного цикла ПО Все используемые на практике модели](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-3.jpg)
Выявление дефектов (ошибок, недоработок, неполноты и пр.) различных артефактов разработки ПО (требований, проектных решений, документации или кода), что позволяет устранять их и поставлять пользователям и заказчикам более правильное и надежное ПО.
Слайд 5Задачи верификации в рамках жизненного цикла ПО
Выявление наиболее критичных и наиболее подверженных
Задачи верификации в рамках жизненного цикла ПО
Выявление наиболее критичных и наиболее подверженных
![Задачи верификации в рамках жизненного цикла ПО Выявление наиболее критичных и наиболее](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-4.jpg)
Контроль и оценка качества ПО во всех его аспектах
Предоставление всем заинтересованным лицам (руководителям, заказчикам, пользователям и пр.) информации о текущем состоянии проекта и характеристиках его результатов
Предоставление руководству проекта и разработчикам информации для планирования дальнейших работ, а также для принятия решений о продолжении проекта, его прекращении или передаче результатов заказчику
Слайд 6Методы верификации программного обеспечения
В данном разделе рассматриваются методы верификации ПО, в основном
Методы верификации программного обеспечения
В данном разделе рассматриваются методы верификации ПО, в основном
![Методы верификации программного обеспечения В данном разделе рассматриваются методы верификации ПО, в](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-5.jpg)
Экспертиза различных артефактов жизненного цикла ПО. Обычно в качестве видов экспертиз выделяют организационные экспертизы, технические экспертизы, сквозной контроль, инспекции и аудиты
Статический анализ свойств артефактов жизненного цикла ПО используется для проверки формализованных правил корректного построения этих артефактов и поиска часто встречающихся дефектов по некоторым шаблонам. Такой анализ хорошо автоматизируется и может быть практически полностью возложен на инструменты, хотя иногда необходимо вручную определить, например, принятые в проекте стандарты кодирования. Однако применим он лишь к коду или к определенным форматам представления проектных артефактов, и способен обнаруживать только ограниченный набор типов ошибок.
Слайд 7Методы верификации программного обеспечения
Формальные методы верификации используют для анализа свойств ПО формальные
Методы верификации программного обеспечения
Формальные методы верификации используют для анализа свойств ПО формальные
![Методы верификации программного обеспечения Формальные методы верификации используют для анализа свойств ПО](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-6.jpg)
Динамические методы верификации, в рамках которых анализ и оценка свойств программной системы делаются по результатам ее реальной работы или работы некоторых ее моделей и прототипов. Примерами такого рода методов являются обычное тестирование или 33 имитационное тестирование, мониторинг, профилирование. Для применения динамических методов необходимо иметь работающую систему или хотя бы некоторые ее компоненты, или же их прототипы, поэтому нельзя использовать их на первых стадиях разработки.
Слайд 8Методы верификации программного обеспечения
Синтетические методы. В последние 10-15 лет появилось множество исследовательских
Методы верификации программного обеспечения
Синтетические методы. В последние 10-15 лет появилось множество исследовательских
![Методы верификации программного обеспечения Синтетические методы. В последние 10-15 лет появилось множество](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/948185/slide-7.jpg)