Привет!

Интересно если кто поделится соображениями о методологии проверок при операциях с базой данных.

После выполнения операции (или блока операций) требуется убедиться, что операция изменила данные только те и так, какие и как задуманы разработчиком. То есть затронуто целевое множество - не больше и не меньше, а изменения (новое содержание) соответствуют задуманному.

Чтобы сузить задачу, можно принять, что оперции выполняются на реляционной базе с помощью SQL.
Понятно, что это делается в зависимости от сложности операции, серьезности задачи и кучи ограничений (например производительности).
Опять же можно сузить по фактору серьезности до операций, не таких, которые отвечают за жизнь людей, атомную станцию или траекторию спустника ценой 10 миллиардов, но, скажем, таких, на которых реализуется коммерческая система и ошибки "очень нежелательны".

Может кто-то уже выработал для себя некоторую практическую методологию на этот счет, как например:
- у меня все запросы правильные (проверены при отладке), так что проверять при операциях нечего
- у меня вся ответственность на правилах ограничения целостности
- высчитываю кол-во записей, котоые попадают под операцию и сравниваю с реальным результатом
- пишу полную проверку результатов операции (какие записи и на что изменены)

Проблема в том, что не всегда все возможные ситуации удается имитировть при отладке.

У меня небольшой опыт по коммерческой разработке приложений с базами.
Хочется понять как все делается серьезно.
Я в курсе, только, как строятся "лимфатические системы" обычных программ.
Может подскажете что почитать...