“`html

Графовые системы управления базами данных (GDBMS) стали неотъемлемой частью современного мира, требующего управления сложными, высокосвязанными данными для социальных сетей, рекомендательных систем и больших языковых моделей. Графовые системы эффективно хранят и обрабатывают графы для быстрого извлечения данных для анализа отношений. Надежность GDBMS критически важна для секторов, в которых целостность данных имеет большое значение, таких как финансы и социальные медиа.

Проблемы и решения в области тестирования GDBMS

Несмотря на широкое распространение, внутренняя сложность и динамические изменения данных, которые обрабатывают эти системы, представляют серьезные проблемы. Ошибки в этих системах могут привести к серьезным проблемам, включая повреждение данных и возможные уязвимости безопасности. Современные подходы к тестированию GDBMS обычно охватывают лишь небольшую часть функциональности, предлагаемой GDBMS, и не способны обнаружить ошибки, которые могут подорвать целостность системы.

Решение от ETH Zurich: DINKEL

Исследователи из ETH Zurich предложили альтернативный подход к тестированию GDBMS, сосредоточившись на генерации запросов, учитывающих состояние. Они разработали полностью автоматическую систему тестирования GDBMS под названием DINKEL. Этот метод позволяет моделировать динамические состояния графовой базы данных для создания сложных запросов на языке Cypher, отражающих манипуляции данными в реальной жизни. DINKEL также основан на систематическом моделировании состояний графа, что обеспечивает высокую точность тестирования и обнаружение ошибок.

Результаты и преимущества DINKEL

Тестирование DINKEL на трех основных GDBMS – Neo4j, RedisGraph и Apache AGE – показало впечатляющую точность сложных запросов на языке Cypher в 93,43%. В течение 48-часовой кампании тестирования DINKEL выявил 60 уникальных ошибок, из которых 58 были подтверждены и исправлены разработчиками. DINKEL смог охватить более 60% кода по сравнению с лучшими техниками тестирования, что демонстрирует улучшенную способность обнаружения ошибок.

Заключение

Работа исследователей из ETH Zurich по созданию DINKEL представляет значительный прогресс в обеспечении надежности и безопасности GDBMS. Этот подход является важным инструментом для разработчиков и исследователей, обеспечивая улучшенное тестирование и обнаружение ошибок в графовых базах данных.

“`