ПОСЛЕЗАВТРА

ИИ научился проверять программный код

Новый искусственный интеллект (ИИ), разработанный в Массачусетском университете в Амхерсте, может составить серьезную конкуренцию тестировщикам. Новый ИИ, получивший название Baldur, показал высокую эффективность в задачах автоматической проверки программного кода. Baldur, основанная на большой языковой модели Minerva, способна автоматически генерировать математические доказательства, которые существенно повышают качество проверки кода.

 «К сожалению, мы неизбежно ожидаем того, что наше программное обеспечение содержит ошибки, хотя оно и используется повсюду и каждый день», — объясняет Юрий Брун, главный автор работы.

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

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

 По мнению создателей, несмотря на все еще большую подверженность ошибкам, новая система Baldur является наиболее эффективным инструментом для проверки программного кода на текущий момент. По их словам, эффективность Baldur в будущем будет расти по мере развития искусственного интеллекта.