Верификация

OS DAY: Инструменты системного программиста

В Москве прошла шестая ежегодная конференция, посвященная проблемам обеспечения качества и надежности системного ПО.

Программист и собака

Серия катастроф физически новых авиалайнеров Boeing 737 Max, регулярно проходивших техническое обслуживание, заставила задуматься над тем, как такое стало возможным в отрасли, традиционно отличающейся высокими требованиями к сертификации по безопасности и наличием скрупулезного контроля за надежностью. Что к этому привело: низкое качество ПО, выгода в ущерб безопасности, культура разработки или все вместе?

Верификация и валидация ПО: технологии и инструменты

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