Підвищення ефективності та оптимальності моделей та методів процесів дебагінгу

Abstract

Кваліфікаційна робота присвячена підвищенню ефективності та оптимальності моделей та методів процесів дебагінгу шляхом розробки концепції розширеного виведення пояснень про помилки компіляції. В першому розділі проаналізовано основні труднощі які виникають з інтерпретацією повідомлень про помилки, створені інструментами програмного аналізу, що відповідно є значною причиною нездатності розробників усунути дефекти: труднощі з інтерпретацією повідомлень про помилки можна пояснити тим, що повідомлення про помилки визначають як недостатню раціональну реконструкцію як у візуальних, так і в текстових представленнях. В другому розділі проведено огляд інструментів аналізу програм з метою ознайомлення з поточними питаннями про те, як сучасні інструменти аналізу програм створюють і передають повідомлення про помилки розробникам. Повідомлення про помилки розглядаються через теоретичну структуру раціональної реконструкції, наголошуючи на виборі дизайну, також помилки представлено в контексті інструментів аналізу програм, які розробники фактично використовують на практиці. В третьому розділі представлено дослідження повідомлень про помилки, використовуючи оптимальну модель аргументації Туліна та форму раціональної реконструкції пояснення. Було досліджено повідомлення про помилки та виконано їх класифікацію як правильні або неякісні структури аргументів.