Как исследователи изучают области ошибок в компьютерных науках?

Для изучения областей ошибок в компьютерных науках исследователи используют различные методы и подходы: www.dissercat.com elib.spbstu.ru

• Статический анализ. www.dissercat.com Выполняется над исходным кодом программы без необходимости запускать её. www.dissercat.com В частности, к статическому анализу относится формальное доказательство корректности кода программы. www.dissercat.com
• Динамический анализ. www.dissercat.com Заключается в запуске программы или отдельных её частей в рамках набора тестов с наблюдением и анализом её поведения. www.dissercat.com
• Рандомизированное тестирование (фаззинг). www.dissercat.com Заключается в автоматической генерации случайных данных, чтобы проверить поведение программы в случае попыток передать ей некорректные данные. www.dissercat.com
• Анализ накопленного опыта программистов. elib.spbstu.ru Этот опыт зафиксирован в программных репозиториях в виде истории изменения проектов и комментариев к коммитам, а также в системах управления задачами и ошибками. elib.spbstu.ru Из него извлекают знания, которые помогают обнаруживать и исправлять программные ошибки. elib.spbstu.ru
• Методы машинного обучения. elib.spbstu.ru na-journal.ru Позволяют решать проблемы обнаружения и исправления ошибок программного обеспечения на основе информации, которая хранится в программных репозиториях. elib.spbstu.ru