Технологии больших данных применительно к выявлению и исправлению ошибок в коде будут развиваться в рамках проекта Mining and Understanding Software Enclaves (MUSE), анонсированного военным агентством передовых исследований США DARPA. Программные “баги”, к сожалению, остаются неотъемлемой частью ПО, что приводит к неустойчивой работе критически важных систем, серьезным уязвимостям в плане безопасности, и существенным финансовым потерям. По оценкам Счетной комиссии США, опубликовавшей в марте 2014 г. отчет о проверке 15 ведущих ИС Пентагона, на развитие которых было выделено 4,5 млрд. долл. из военного ИТ-бюджета объемом 35 млрд. долл., только два проекта уложились в начальные суммы. В некоторых случаях плановые бюджеты были перерасходованы в 22 раза, в существенной степени из-за низкого качества создаваемого софта.
Суреш Джаганнатан, руководитель проекта, отмечает, что главная идея MUSE — перенести акцент в разработке ПО на проектирование и конструирование, и заменить классический цикл “кодирование — тестирование — отладка — исправление” на инновационные статистический, вероятностный и семантический анализ и инспекцию кода и генерацию программных текстов на основе декларативных описаний и представлений кода в виде графов.
