вильности работы машины, а в ряде случаев и исправле ние обнаруживаемых ошибок.
Различают два основных вида средств автоматичес кого контроля: программные и аппаратные.
К программным средствам относятся контрольные программы или специальные приемы программирования, позволяющие проверять правильность работы машины. Контроль может быть произведен с помощью программ тестовых задач (т. е. задач с известным решением), про пускаемых перед решением основной задачи. При пра вильном решении тестовых задач имеется определенная вероятность, что в течение некоторого ближайшего про межутка времени, достаточного для решения основной задачи, машина будет работать правильно. Контроль во время решения основной задачи осуществляется путем введения в выполняемую программу специальных конт рольных процедур, позволяющих установить достовер ность решения всей задачи или части ее (двойной про счет для одной и той же программы, проверка вычисле ний по неиспользованным в основном алгоритме соотно
шениям, |
например, |
проверка правильности вычисления |
sin а : и C |
O S X по формуле sin2x+cos2x = l , и т. п.). |
Аппаратные средства контроля создаются введением |
в состав |
машины |
специального дополнительного конт |
рольного оборудования, работающего независимо от про граммы.
Программные методы контроля отличаются эконо мичностью по затратам оборудования, в то же время они обладают рядом существенных недостатков:
а) снижение фактического быстродействия машины вследствие увеличения числа выполняемых машиной команд;
б) неполнота проверки, поскольку неисправности, приводящие, например, к остановке машины, нарушают выполнение как основных, так и контрольных программ; в) отсутствие единой методики контроля для разных программ, поскольку очень часто программные критерии правильности решения обусловлены специфическими осо
бенностями решаемой задачи; г) усложнение программирования, поскольку забота
о контроле правильности решения полностью возлагает ся на программиста.
Аппаратные методы контроля обеспечивают проверку правильности функционирования машины практически