Cтраница 2
Теперь необходимо перепроверить правильность программы, руководствуясь нисходящим принципом. Правильность исходной программы представляется несомненной, однако переменную over необходимо также установить в нуль при первом шаге совершенствования, когда обнаруживается неисправность аппаратуры, поскольку в противном случае потенциальное нарушение режима не может быть обработано на границе перехода к следующему часу. [16]
Раннее тестирование проверяет правильность программы, особенно подпрограмм высшего уровня, отражающих глобальные решения и осуществляющих общее управление. [17]
Однако представление о правильности программы решения задачи должно быть вполне достаточным после завершения контрольного решения. Поэтому в описании контрольной задачи следует определять все, наиболее характерные для практических потребностей варианты ее решения. Особое внимание должно быть обращено на варианты с предельными значениями отдельных параметров задачи. [18]
Овладение техникой доказательства правильности программ имеет особое значение в научных исследованиях, так как большинство численных результатов базируется на таких средствах доказательства, как вычислительный эксперимент. [19]
Исследования по доказательству правильности программ даже в идеальном случае предполагают проверку лишь соответствия программы спецификациям. [20]
Какие методы обеспечения правильности программ существуют. [21]
Идея математического доказательства правильности программы в настоящее время концентрируется вокруг доказательства того, что подпрограмма правильна по отношению к спецификациям ее сопряжения. Теперь читатель должен уже понимать, что это не гарантирует отсутствия всех ошибок. Более того, как показано в последующих разделах, может быть и так, что программа, правильность которой по отношению к ее спецификациям доказана, выполняется не в соответствии с ними. [22]
Другой метод доказательства правильности программы типа fordo см. в разд. [23]
На этапе отладки проверяется правильность программы и эффективность способов решения задачи. Обнаруженная транслятором ошибка исключает возможность дальнейшего выполнения программы, поэтому потребитель должен внести исправления в программу и повторить ее трансляцию. Сложность доступа к машине приводит к тому, что программа может быть запущена на машине не более 2 - 3 раз в день. В результате теряется оперативность в подготовке задач для машинного решения. [24]
Сначала надо удостовериться в правильности программы, а уже затем следует заниматься исследованием алгоритма и его математического обоснования с целью обнаружения методов повышения эффективности. [25]
Для того чтобы проверить правильность программы, нужно решить, какими критериями воспользоваться - необходимыми или достаточными. Вообще говоря, есть два соображения в пользу выбора последних. [26]
Подробное изложение теории доказательства правильности программ или их верификации, как обычно называют этот процесс, не входит в задачу этой книги. [27]
В некоторых ситуациях идея доказательства правильности программы может быть модифицирована. [28]
Одной из главньвс трудноотеЙ1прн доказательстве правильности программ является выделение смысла программы из написанных программистом императивов. [29]
На современном этапе для контроля правильности программ наиболее широко применяется метод тестов. Полученные результаты сравниваются с этими известными ответами. [30]