Верификация программного обеспечения

Авторы: Синицын С.В., Налютин Н.Ю.

Издательство: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа

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