|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограниченийстатья
- Авторы: Семенов В.А., Морозов С.В., Тарлапан О.А.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 8
- Номер: 2
- Год издания: 2004
- Первая страница: 21
- Последняя страница: 52
- Аннотация: Рассматриваются задачи полной и инкрементальной верификации объектно-ориентированных данных. На основе теории графов строится формальный аппарат, а также описываются разработанные методы инкрементальной верификации, использующие статический анализ спецификации ограничений и позволяющие локализовать область потенциальных нарушений при изменении данных. Методы предоставляют весомую альтернативу полной верификации прикладных данных при локальных изменениях, преобладающих в многопользовательских графических приложениях. Постановка задачи и методы описываются применительно к языку EXPRESS, предоставляющему универсальную нотацию для спецификации объектно-ориентированных моделей данных и ограничений на них.
- Добавил в систему: Морозов Сергей Вячеславович