20 Лет Prover 1996-2016
Home | Sign Up | Log In

Структура команд языка Prover


СТРУКТУРА КОМАНД ЯЗЫКА PROVER



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

Log In

Search

Calendar

«  March 2024  »
SuMoTuWeThFrSa
     12
3456789
10111213141516
17181920212223
24252627282930
31

Statistics


Total online: 1
Guests: 1
Users: 0
Copyright MyCorp © 2024 | Create a free website with uCoz