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

Эта книга посвящена приемам и методам эффективной диагностики программного обеспечения.