Тестирование на основе диаграмм состояний сущности

[gleb_l]

Если мы говорим о недооценке графа состояний именно в многопользовательских системах, то я бы упомянул, что операции проверка-переход должны быть либо атомарными, либо синхронизированными на каком-нибудь синхронизационном примитиве. Последнее при использовании пессимистичного сценария блокировок обычно снижает производительность всей системы, а при оптимистичном — требует проверок как на уровне слоя приложения, так и на уровне БД (с последущей эскалацией «некрасивых» ошибок БД в более красивые исключения слоя приложения)

BTW, на уровне базы существует несколько неблокирующих техник, не использующих явные транзакции, но использующие встроенную атомарность операций изменения данных БД