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














