ВЕРИТЕЛЬНЫЕ ДАННЫЕ [credentials]. Имя и пароль пользователя, глобально-уникальный идентификатор, или сертификат клиента, на основании которых проверяется подлинность пользователя. См. аутентификация
ВЕРИФИКАЦИЯ ПРОГРАММЫ [program verification]. Доказательство правильности программы, т. е. соответствия программы ее спецификациям. В. п. может осуществляться любым методом, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается. Часто вывод о правильности программы делают на основе анализа результатов ее прогонов (тестирования программы). Такой подход, как правило, не охватывает всех возможных вариантов эксплуатации программы и не может служить доказательством ее правильности. Важнейшим является метод математического доказательства общей правильности программы как объекта, на который распространяются аксиомы и правила формальной логики. Для такого доказательства требуется тщательный учет структуры программы и семантики языка программирования. Трудности, возникающие на этом пути, частично устраняются компьютерными системами автоматической В. п., которые способны, анализируя текст программы, формулировать условия верификации в форме теорем и либо доказывать, что эти условия выполнены, либо предоставлять их пользователю для неавтоматического доказательства. Ср. испытание программы
ВЕРНЫЕ ЗНАЧАЩИЕ ЦИФРЫ [right significant digits]. N первых значащих цифр приближенного числа называются В. з. ц., если абсолютная погрешность этого числа не превышает половины единицы разряда, выраженного N-й значащей цифрой, считая слева направо. Например, для точного числа 78.96 число 79.00 является приближением с тремя В. з. ц., т. к. |79.00 – 78.96| = 0.04 ≤ 0.1/2 , где 0.1 – единица разряда третьей значащей цифры данного числа. Приведенный пример показывает, что в приближенном числе, имеющем N В. з. ц., не все N первых цифр должны совпадать с соответствующими цифрами точного числа. Однако во многих случаях В. з. ц. приближенного числа и соответствующие цифры точного числа одинаковы. При приближенном задании числа следует указывать только В. з. ц.
ВЕРСИЯ [release, version]. 1. Вариант программного продукта или языка программирования. Например, Word 7.0 для Windows 95 – седьмая версия текстового редактора Microsoft Word для Windows 95. Обычно используют номера версий, состоящие из двух частей. Первая часть, называемая старшим номером версии, изменяется в том случае, когда в возможности программы вносятся принципиальные изменения. Вторая часть, называемая младшим номером версии, указывает на наличие непринципиальных изменений, скажем, исправление замеченных ошибок, уточнения и т. д. Например, UML 1.3 – версия языка UML, в которой сделаны небольшие добавления и изменена форма описания, но сам язык по существу не изменился. Другой распространенный способ именования версий основан на указании года выпуска. Например, Algol-60 – версия языка Algol, принятая в 1960 г. 2. Файл, являющийся модификацией другого файла
ВЕРСТКА