«`html
Фреймворк DINKEL: новый подход к тестированию GDBMS
Системы управления графовыми базами данных (GDBMS) стали неотъемлемой частью современного мира, требующего все более сложного управления сложными, высокосвязанными данными для социальных сетей, рекомендательных систем и больших языковых моделей. GDBMS эффективно хранят и манипулируют графами, обеспечивая быстрый доступ к данным для анализа отношений. Надежность GDBMS имеет решающее значение для секторов, в которых целостность данных очень важна, таких как финансы и социальные медиа.
Проблемы и решения
Однако внутренняя сложность и динамические изменения данных, которые обрабатывают эти системы, являются серьезными проблемами. Ошибка в этих системах может привести к серьезным проблемам, включая повреждение данных и возможные уязвимости безопасности. Современные методы тестирования GDBMS не покрывают всю функциональность GDBMS и не обнаруживают ошибки, которые могут подорвать целостность системы.
Результаты и преимущества
ETH Zurich предложил альтернативный подход к тестированию GDBMS, сосредоточившись на генерации запросов, учитывающих состояние. Результаты тестирования показали впечатляющую эффективность DINKEL, обнаружив 60 уникальных ошибок, из которых 58 были подтверждены и исправлены разработчиками. DINKEL покрыл более 60% кода, чем лучшие техники тестирования, демонстрируя улучшенную способность обнаружения ошибок.
Работа команды ETH Zurich является значительным шагом в обеспечении надежности GDBMS. DINKEL представляет собой значительный прогресс в области тестирования и обнаружения ошибок. Этот инструмент является актуальным для разработчиков и исследователей.
Подробнее об исследовании читайте здесь.
«`
