Исследование систем автоматизации обнаружения дефектов в исходном коде программ

Вычислительные машины и программное обеспечение
Авторы:
Ицыксон Владимир Михайлович Моисеев Михаил Юрьевич Цесько Вадим Александрович Карпенко Анатолий Владимирович
Аннотация:

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