Intel представила аналитическую систему машинного программирования ControlFlag
В рамках Intel Labs Day компания Intel представила ControlFlag — аналитическую систему машинного программирования, способную самостоятельно обнаруживать ошибки в программном коде. Для этого решение использует машинное программирование, сплав машинного обучения, формальных методов, языков программирования, компиляторов и компьютерных систем. Так, в ходе предварительных испытаний ControlFlag проанализировала более 1 млрд. немаркированных строк промышленного кода и обнаружила в них новые дефекты.
В своей работе ControlFlag использует специфическую функцию — «выявление аномалий». Подобно тому, как люди, наблюдая определенные закономерности в обычной жизни, учатся считать их «нормальными», ControlFlag обучается на заранее проверенных примерах определять «нормальные» паттерны, выявляя на их основе аномалии в коде. ControlFlag способна обнаруживать их независимо от используемого языка программирования.
Одно из ключевых преимуществ метода самообучения ControlFlag для распознавания паттернов — это способность программы адаптироваться к стилю разработчика. ControlFlag способна определять даже стилистические вариации в языке программирования — аналогично тому, как читатели распознают различия между полными словами и их сокращениями.