Качество информационных систем существенно зависит от качества баз данных, которые в настоящее время нередко играют роль ядра информационных систем. В статье раскрывается понятие корректности баз данных, приводится классификация видов корректности, рассматриваются количественные и качественные показатели корректности. Изложены принципы построения автоматизированной системы проведения верификации баз данных.
недекларированные возможности, корректность баз данных, показатели корректности, метрики сложности программ, автоматизированная система проведения верификации