Cтраница 2
В группу статической отладки входят средства, автоматизирующие непосредственно формальную проверку корректности модулей и выявление ошибок, а также средства, автоматизирующие получение данных, способствующих частичному их контролю без исполнения программы и подготавливающих выявление ошибок при последующем применении динамических средств. Непосредственное обнаружение ошибок и выявление компонент программного модуля, где возможны некоторые виды ошибок, осуществляется средствами контроля структурной корректности программы и средствами контроля записи и чтения переменных. Эти средства обнаруживают нарушения формализованных правил структурного построения модулей и использования в них переменных. [16]
Большинство патентных ведомств на основании международного или национальных законодательств после формальной проверки документов заявки проводят экспертизу по существу. [17]
Подход Грэхэма-Ри можно применять механически, так как он состоит в формальной проверке текущего финансового состояния фирмы и сопоставления некоторых показателей из финансовых отчетов с текущим курсом акции фирмы и доходностью по облигациям рейтинга ААА. Процедура предполагает простые ответы ( типа да или нет) на 10 вопросов. Они приведены в табл. 18.2, при этом первые пять вопросов относятся к премии, а остальные пять - к риску. Общая идея состоит в том, чтобы выявить акции, имеющие наибольшее соотношение премия-риск. По Грэхэму-Ри, чтобы рекомендовать акцию для покупки, не обязательно иметь положительные ответы на все вопросы. [18]
Наконец, прежде чем система будет принята общественностью, необходимо предпринять некоторую формальную проверку и оценивание. [19]
После переноса данных с перфоленты в ЭВМ, производится 100 % - ная формальная проверка и примерно 90 % - ная логическая проверка введенной информации. [20]
В статье говорится о том, что существенного повышения качества и производительности труда программистов можно достигнуть благодаря введению формальных проверок проектных решений и программ. Определены процедуры и роли участников таких проверок; приведены контрольные вопросники и форматы подлежащих сбору данных. [21]
Программист сам должен решать, может ли его подпрограмма быть объявлена как PURE: контроль компилятора сводится к формальной проверке корректности вызовов. [22]
Основу документальной ревизии составляют методы проверки документального оформления финансово-кредитных операций: встречная проверка, взаимный контроль документов, арифметическая проверка, нормативная проверка, логическая проверка и формальная проверка. Основу экономического анализа составляют: метод специальных расчетных показателей, метод стереотипов и метод корректирующих показателей, применяющийся в сочетании с традиционными ( для общего экономического анализа) текущим и последующим методами. [23]
Утверждали даже ( хотя это неверно, см. § 65), что все настоящие физические уравнения должны быть однородны и, действительно, критерием однородности по размерности часто можно пользоваться в качестве удобного способа формальной проверки физических уравнений, если вы в них не вполне уверены. Однако в действительности дело обстоит значительно сложнее, и некоторые тонкие разграничения, которые здесь надо иметь в виду, лучше показать на примере. [24]
Неправильно ( некачественно) составленные документы не имеют юридической и доказательной силы, а поэтому проведенные по ним операции считаются недействительными или незаконными. Формальная проверка способствует повышению ответственности лиц составляющих и подписывающих документы. [25]
Для применения метода максимального правдоподобия следует сделать предположение о совместном распределении совокупности. Формальная проверка с помощью критериев согласия по конкретным данным, взятым из диспетчерских журналов, показывает, что эта гипотеза обычно не отвергается. [26]
Все первичные документы, поступившие в бухгалтерию, должны проверяться по форме, арифметически и по существу - это является одним из этапов бухгалтерской обработки. При формальной проверке выявляют, был ли использован бланк соответствующей формы, все ли необходимые реквизиты указаны, содержит ли документ необходимые подписи, нет ли в нем подчисток, помарок и недоговоренных исправлений. Счетная проверка позволяет установить правильность арифметических расчетов, результатов таксировки. [27]
Если же уже имеется некоторое представление или теория о том, как работает изучаемая система, то, построив на основе этой теории конкретную эффективную модель ( может быть, даже модель можно определить как эффективную теорию), можно проверить, обеспечивает принятая идея такое функционирование, как думалось, или нет. Это дает не только формальную проверку внутренней непротиворечивости, но может, кроме того, натолкнуть на новые мысли о том, что следует искать в той реальной системе, которая исследуется. Например, если определенного рода входные последовательности оказываются неразрешимыми и требуют для их разрешения дополнительных инструкций, то стоит поискать аналогичные дополнительные инструкции для реальной системы. Действительно, такая параллельная работа с моделью и реальной системой может быть вообще полезна и, в сущности, представляет собой гипотетико-дедуктивный метод, причем модель играет роль динамической совокупности связанных друг с другом гипотез. [28]
Всесторонняя проверка и тестирование системы, обычно при сдаче в эксплуатацию. Verification обычно относится к формальной проверке, a validation - к общей субъективной оценке. [29]
С помощью этой программы можно перезаписать файлы с данными в формате сбора с одного носителя на другой. При этом в случае необходимости может быть произведена формальная проверка данных и перекодировка входной информации во внутренний формат банка данных. В качестве входных и выходных носителей могут быть перфокарты, перфоленты, магнитные ленты и магнитные диски. Кроме того, в качестве выходного устройства может использоваться устройство печати. [30]