Как внедрить анализ программ в процесс разработки? Владимир Иванов о разработке ПО

Анализ программ – сложный, но важный этап в процессе разработки ПО. Он помогает обнаружить ошибки на ранней стадии цикла разработки, а значит и уменьшает затраты на их исправление. В этом докладе Владимир Иванов рассказывает о преимуществах, которые несет за собой этот подход. Среди них: быстрая обратная связь, беспрерывный рабочий процесс, порог на ложные срабатывания и др. / В КАДРЕ: Владимир Иванов – руководитель группы по направлению формальной верификации. Связаться с автором: или ivvl82@. / СМОТРИТЕ ТАКЖЕ • Нуждается ли дизайн вашей программы в формальных методах? ➜ / КНИГИ ПО ТЕМЕ Роман Зайруллин, «Сквозь дебри проектирования: путеводитель для программистов» ➜ Роман Зайруллин, «LEGACY SOFTWARE: Как заставить чужой код работать?» ➜ Сильные разработки создаются не в одиночку, а