Ученые начали работу над созданием программы, стандартизирующей и облегчающей процесс поиска ошибок в других программах

Ошибки в программеОтдельные компании, занимающиеся разработкой программного обеспечения, тратят ежегодно миллионы долларов на поиски потенциально опасных ошибок, которые, так или иначе, допускаются в разрабатываемых программах. Этот процесс чрезвычайно сложен и с трудом подвергается автоматизации, и даже если программа-локатор обнаруживает десяток или сотню ошибок в другой программе, никто с уверенностью не может сказать, сколько ошибок она не заметила и пропустила. Исследователи из университета Нью-Йорка, Массачусетского технологического института и Северо-восточного университета сейчас работают над программой поиска ошибок, использующей весьма неординарный подход к этому делу. Вместо того, чтобы искать и исправлять ошибки, эта программа добавляет их в исходный код другой программы сотнями тысяч.
 | Опубликовано Informatic | Подробнее | Комментарии: 2