Coverty использует систему звеньев

Раздел: Новости Linux
Дата 02.06.2015
Просмотров: 399


проверка кодаПо словам Хаммонда, статистический анализ прежде всего нацелен на выявление ошибок программирования («структурных «анти-шаблонов» в коде»), обнаружение «более экзотических» проблем, включая выполнение параллельного кода, а также более распространенные неприятности, такие как переполнение буферов и утечки памяти.

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

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

Coverity определила четыре проекта – OpenPAM, Ruby, Samba и tor – для Rung 3, последнего звена в цепочке уничтожения ошибок.

По сообщениям Coverity, 280 проектов подали заявки на проверку кода, всего более шестидесяти миллионов строк кода.

Было устранено более 11 200 ошибок, над проверкой присланного кода трудились программисты примерно со 180 проектов.

Благодаря этой программе показатель, который в Coverity называют «плотность ошибок» (англ. defect density) за три года снизился на впечатляющие шестнадцать процентов.

Вы можете оценить статью:

УжасноПлохоНормальноХорошоОтлично (Еще нету оценок)
Loading...Loading...

Поделиться этой записью с друзьями:

ВКонтакте    Facebook    Twitter    Мой Мир    Одноклассники

Вас могут заинтересовать другие материалы:

    Крупнейший банк США использует Linux
    Исходные коды Linux являются эталоном качества
    Coverity начала сотрудничать с федеральными властями