bottom-bar-image

Верификация

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

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

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

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

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