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