Существующие методы отладки фрагментированных программ для системы LuNA требуют от разработчика дополнительных навыков. Ключом к решению этих проблем может послужить создание средств, автоматически обнаруживающих некоторые классы семантических ошибок. Актуальность работы обусловлена тем, что инструментарий отладки фрагментированных программ слабо развит.
Целью данной работы является разработка модуля сбора трассы для системы LuNA и программного средства анализа трассы с целью обнаружения семантических ошибок.
Для достижения поставленной цели были поставлены задачи: провести обзор и анализ существующих методов отладки параллельных программ; выделить классы семантических ошибок в LuNA-программах; сформулировать требования к разрабатываемому программному средству; разработать и реализовать обнаружение наиболее типичных для фрагментированных программ семантических ошибок; протестировать разработанное средство на ряде фрагментированных программ, оценить накладные расходы.
В результате выполнения работы был проведен анализ семантических ошибок, свойственных LuNA-программам. Для исполнительной системы LuNA был разработан модуль сбора трассы, а также реализована возможность автоматической остановки при зависании, вызванном использованием неинициализированных данных. Было разработано средство анализа трассы, выполняющее автоматический поиск семантических ошибок. Разработанное средство протестировано на ряде некорректных LuNA-программ, оценена зависимость накладных расходов от размера буфера файлов трассы.
Научная новизна состоит в анализе семантических ошибок, свойственных фрагментированным программам, а также в реализации метода автоматизированного контроля корректности по собранной трассе применительно к фрагментированным программам. Практическая ценность работы обусловлена тем, что использование разработанного средства может существенно упростить разработку и отладку программ для системы LuNA.