Главная страница

Надежность программного обеспечения. Надежность программного обеспечения


Скачать 435.72 Kb.
НазваниеНадежность программного обеспечения
Дата16.02.2023
Размер435.72 Kb.
Формат файлаpptx
Имя файлаНадежность программного обеспечения.pptx
ТипЛекции
#939847

Надежность программного обеспечения

Цель лекции

Представить обзор разнообразных методов верификации ПО. Но прежде, чем перейти к самому обзору, необходимо напомнить определения основных используемых понятий и определить место верификации среди других видов деятельности, используемых при разработке и сопровождении ПО.

Основные понятия

Под жизненным циклом программного обеспечения обычно понимают весь интервал времени от момента зарождения идеи о том, чтобы создать или приобрести программную систему для решения определенных задач, до момента полного прекращения использования последней ее версии. Жизненным циклом этот период назван по аналогии с циклом жизни растения или животного, которое рождается, проходит определенные фазы роста и развития и в итоге погибает, давая жизнь новым существам, проходящим через те же стадии.

Верификация и валидация

Верификация и валидация являются видами деятельности, направленными на контроль качества программного обеспечения и обнаружение ошибок в нем. Имея общую цель, они отличаются источниками проверяемых в их ходе свойств, правил и ограничений, нарушение которых считается ошибкой.

Различие между верификацией и валидацией

Спасибо за внимание



написать администратору сайта