Cтраница 1
Процесс верификации кажется на первый взгляд легким, потому что последовательная логика представляется довольно простой. [1]
Поскольку процесс верификации не выходит за пределы этих предположений, корреляция с уровнем школьной успеваемости не является доказательством того, что тесты умственного развития измеряют общую интеллектуальную способность. [2]
Оператор-контролер в процессе верификации должен восстановить пропущенные записи после выяснения или уточнения ситуации администратором участка. При стандартных и нестандартных сообщениях системы оператор-контролер выполняет те же операции, что и оператор начального ввода, но с той лишь разницей, что ошибочные документы теперь могут быть возвращены администратором участка авторам. [3]
При очень хорошей реакции на ошибки в процессе верификации первая схема даже на уровне фотографирования данных на перфокарты может давать сбои. [4]
Соотношение существующих теорий с аналогами социальной реальности ( т.е. проверка их истинности) в социологии определяется как процесс верификации. [5]
Для естественных наук характерна особенность: стремление найти или построить упрощенную модель сложного явления, изучить ее свойства, а затем в процессе верификации модели переносить добытые знания на само сложное явление. [6]
Третий, заключительный компонент познавательной деятельности, направленный на формирование инструмента мышления студента в рамках данной дисциплины, - это деятельность по использованию приобретенных знаний в процессе верификации важности и действенности инструмента мышления 4 на различных формах контроля и самоконтроля. [7]
На этом этапе необходимо выявить как можно больше ошибок. Целью процессов верификации и тестирования является поиск всех возможных ошибок, а не подтверждение их отсутствия. Понимание этого тонкого различия очень важно. Необходимо проверять спецификации, когда они находятся в черновой форме, так как может возникнуть психологический барьер на пути совершенствования документа, описывающего спецификации. [8]
Чтобы доказать полную правильность, также необходимо показать тождественность областей определения правил двух функций. В процессе верификации поочередно то требуется сравнить условные правила, то оказывается более удобной разделяющаяся форма этих условных правил. [9]
Специфика процесса прогнозирования состоит в том, что о его достоверности можно говорить объективно только после осуществления прогноза. Отсюда вытекает необходимость повышения достоверности прогнозов в процессе верификации, позволяющей использовать различные способы ( математические методы) и источники информации при прогнозировании, а также путем осуществления других мероприятий, обеспечивающих большую точность и надежность результатов. Исходя из этого предлагается использовать следующую методику прогнозирования потребности в массовых светлых нефтепродуктах. [10]
Чтобы оценить практическое значение полученных в этом исследовании данных, нужно более полно представить себе содержательные характеристики каждого типа мышления. При импульсивном типе процессы построения гипотез резко преобладают над процессами верификации и оценки, но результаты проб оцениваются слишком категорично, а потому творческий поиск в целом носит скачкообразный характер. Это своего рода генерация идей без достаточно строгой их проверки. [11]
Эти две задачи должны выполняться параллельно с процессом разработки ЭС. По аналогии с технологией тестирования традиционных программных систем можно интерпретировать процесс верификации ( логического тестирования) как альфа-тестирование программной системы, а концептуальное тестирование - как этап бета-тестирования, хотя тестирование ЭС принципиально отличается от тестирования традиционных систем. В то время как достаточно строгие предварительные спецификации традиционной системы позволяют программисту осуществлять эти работы ( в особенности верификацию системы) самостоятельно, для тестирования ЭС необходимо привлекать эксперта в данной предметной области. [12]
Разрешимость - это свойство исключительно программы, никак не связанное с какой-либо спецификацией. Хотя разрешимость обычно не включается в условия полной правильности, иногда может оказаться полезным в ходе процесса верификации попутно исследовать и это свойство. [13]
Сканирование позволяет оперативно в диалоговом режиме просмотреть на экране содержание интересующих оператора пачек. Оператор имеет возможность указывать системе номер записи, начиная с которой ему требуется сканирование. Кроме того, в процессе верификации бывает необходимо для выяснения ситуации просмотреть некоторую порцию записей на экране. В этом случае сканирование выполняется с того места, где произошла остановка в процессе контроля. [14]
Как можно предположить, небезопасным кодом ( unsafe code) называется код, который не прошел этих проверок. Однако если в отношении кода нельзя выполнить проверок безопасности типов, это не значит, что код небезопасен, а всего лишь означает, что в безопасности кода нельзя убедиться. Это может быть вызвано ограничениями процесса верификации либо ограничениями компилятора. NET будет выпущен в виде завершенного продукта, ожидается, что он сможет генерировать код, в безопасности которого с точки зрения приведения типов можно будет убедиться. [15]