Intel представила ControlFlag - аналітичну систему машинного програмування, здатну знаходити помилки в програмному коді
Intel представила ControlFlag - аналітичну систему машинного програмування, яка може знаходити помилки в програмному коді
Компанія Intel представила ControlFlag - аналітичну систему машинного програмування, здатну самостійно виявляти помилки в програмному коді . Для цього в рішенні використовується машинне програмування, злиття машинного навчання, формальних методів, мов програмування, компіляторів і комп'ютерних систем. Наприклад, в ході попередніх випробувань ControlFlag проаналізував понад 1 млрд немаркованих рядків промислового коду і виявив в них нові дефекти.
У своїй роботі ControlFlag використовує певну функцію - «виявлення аномалій». Подібно до того, як люди, спостерігаючи за певними закономірностями в звичайному житті, вчаться вважати їх «нормальними», ControlFlag вчиться виявляти «нормальні» закономірності на заздалегідь перевірених прикладах, виявляючи на їх основі аномалії в коді. ControlFlag здатний виявляти їх незалежно від використовуваної мови програмування.
Одним з ключових переваг методу самонавчання ControlFlag для розпізнавання образів є здатність програми адаптуватися до стилю розробника. ControlFlag здатний виявляти навіть стилістичні варіації в мові програмування , подібно до того, як читачі розпізнають відмінності між повними словами і їх скороченнями.
У процесі роботи ControlFlag вчиться ідентифікувати і маркувати стилістичні варіанти коду. Рішення також може налаштувати ідентифікацію помилок і дати рекомендації щодо їх усунення, грунтуючись на власних знаннях. Ці параметри допомагають ControlFlag уникнути орфографічних стилістичних варіацій коду, що використовуються різними командами розробників.
Чому це важливо. У світі, який все більше залежить від програмного забезпечення, розробники продовжують витрачати непропорційно багато часу на виправлення помилок в коді. З $1,25 трлн, які ІТ-індустрія щорічно витрачає на розробку програмного забезпечення – близько 50% коштів витрачається на налагодження коду.
Очікується, що в майбутньому завдання налагодження коду надасть ще більший вплив на розробників і IT-індустрію в цілому . У міру розвитку технологій зростає роль різнорідних архітектур, які використовують спеціалізовані процесори для управління великими обсягами даних . У той же час програмне забезпечення, необхідне для управління такими системами, стає більш складним , це значно підвищує ризик помилок. Крім того, все складніше стає знайти фахівців з досвідом безпомилкового, ефективного і безпечного програмування на різному обладнанні. Це також збільшує ризик появи нових і важко виявлених помилок у вашому коді .
Як тільки ControlFlag буде повністю реалізований, він зможе вирішити цю проблему, автоматизувавши тестування, моніторинг і налагодження коду. Це не тільки підвищить продуктивність розробників, давши їм більше часу на творчість, але і допоможе вирішити проблему дорожнечі розробки програмного забезпечення.
Що далі. ControlFlag вже продемонстрував можливість виявлення прихованих помилок в широко використовуваному промисловому коді, який був заздалегідь перевірений розробниками. Наприклад, ControlFlag проаналізував cURL і виявив раніше невідому аномалію. В результаті це спонукало розробників cURL випустити фіксовану версію інструменту.
Intel почала використовувати ControlFlag для виявлення багів в процесі створення власного програмного забезпечення і прошивки. Це один з ключових елементів проекту Intel Rapid Analysis for Developers, який спрямований на підвищення продуктивності за рахунок надання експертної підтримки.
Раніше компанія Intel представила автоматичну машинну систему програмування - Machine Inferred Code Similarity (MISIM), яка здатна розпізнавати, для чого призначена та чи інша частина програмного продукту.
