СТРУКТУРА КОМАНД ЯЗЫКА PROVER
Если в первой
позиции помещен символ "*", то все остальные символы строки считаются комментарием
и интерпретатором не обрабатываются. В первых трех позициях могут быть проставлены
метки команд, по которым осуществляются передачи управления или номер такта,
в котором осуществляется выполнение команд. В четвертой позиции всегда должен
размещаться разделительный пробел. В позициях с 5 по 30 помещаются микрооперации,
которые разделяются друг от друга запятыми. Символ пробела в этих позициях
обозначает окончание команды. Для разработки программ тестов используют проблемно
- ориентированные языки программирования, наиболее полно отражающие структуру
средства диагноза, которая в свою очередь определяется микрооперациями,
которые выполняются во время осуществления диагностирования.
Следует выделить основные микрооперации, которые для повышения быстродействия
надо выполнять параллельно:
а) формирование кода адреса;
б) формирование кода данных;
в) рабочие микрооперации записи (W), считывания (R) и сравнения данных (A).
При формировании кода адреса целесообразно использовать двумерную систему
координат, что удобно для выбора строк и столбцов запоминающих ячеек.
