ControlFlag найдет ошибки в программном коде
Корпорация Intel представила аналитическую систему машинного программирования, способную самостоятельно обнаруживать ошибки в программном коде. Для этого решение, получившее название ControlFlag, использует машинное программирование, сплав машинного обучения, формальных методов, языков программирования, компиляторов и компьютерных систем. В ходе предварительных испытаний ControlFlag проанализировала более 1 млрд немаркированных строк промышленного кода и обнаружила в них новые дефекты.
ControlFlag был презентован 3 декабря на Intel Labs Day – глобальном онлайн-мероприятии, посвященном результатам исследований и открытиям в разных областях, включая квантовые и нейроморфные вычисления, машинное программирование, интегрированную фотонику и конфиденциальные вычисления.
ControlFlag использует в работе специфическую функцию – "выявление аномалий". Подобно тому, как люди, наблюдая определенные закономерности в обычной жизни, учатся считать их "нормальными", ControlFlag обучается на заранее проверенных примерах определять "нормальные" паттерны, выявляя на их основе аномалии в коде. ControlFlag способна обнаруживать их независимо от используемого языка программирования.
Одно из ключевых преимуществ метода самообучения ControlFlag для распознавания паттернов – это способность программы адаптироваться к стилю разработчика. ControlFlag способна определять даже стилистические вариации в языке программирования — аналогично тому, как читатели распознают различия между полными словами и их сокращениями.
В процессе работы ControlFlag учится определять и маркировать стилистические варианты кода. Решение также может настраивать идентификацию ошибок и выдавать рекомендации по их устранению, опираясь на собственные знания. Эти опции помогают ControlFlag не считать за ошибку стилистические вариации кода, используемые разными командами разработчиков.
В мире, который все больше зависит от ПО, разработчики продолжают тратить непропорционально много времени на исправление ошибок в коде. По оценке Кембриджского университета, из $1,25 трлн, которые ИТ-индустрия ежегодно тратит на разработку ПО, на отладку кода уходит около 50% средств.
Компания Intel начала использовать ControlFlag для выявления ошибок в процессе создания собственного ПО и прошивок. Это один из ключевых элементов проекта Intel Rapid Analysis for Developers, задача которого — повысить производительность путем предоставления экспертной поддержки.
