Cтраница 4
Средства верификации служат для оценки эффективности исполнения разрабатываемых программ и определения наличия в них ошибок и противоречий. Различают статические и динамические анализаторы. [46]
Метод верификации весьма трудоемок, значительно увеличивает стоимость и общее время подготовки исходной информации. [47]
Метод верификации основан на том, что он производится после переноса информации на машинный носитель путем сравнения ранее нанесенной информации и вновь набираемой, при этом обнаруженные ошибки исправляются. Контроль осуществляется при помощи контрольников или устройств подготовки данных, работающих в режиме контроля, а также аппаратуры контрольно-считывающих устройств. [48]
Задачу верификации трех однопредикатных циклических программ ( типа whiledo, dountil, dowhiledo) можно свести к вопросу об их окончании и ( путем преобразования итерационных программ в рекурсивные) к верификации программ без циклов. [49]
Процесс верификации кажется на первый взгляд легким, потому что последовательная логика представляется довольно простой. [50]
Методы верификации используются как для проверки соответствия проектов программного обеспечения спецификациям алгоритмов или программ, так и для проверки соответствия создаваемых программ исходным проектам. Если ошибки в спецификациях отсутствуют, то процедура верификации должна подтвердить, что проект и его программная реализация соответствуют исходным спецификациям. [51]