Автономная отладка логики запрограммированного алгоритма требует прежде всего выявления всех возможных маршрутов обработки информации и ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Липаев В.В. Математическое обеспечение управляющих ЦВМ


Автономная отладка логики запрограммированного алгоритма требует прежде всего выявления всех возможных маршрутов обработки информации и принятия логических решений. Для этого используются специальные программы построения и подготовки информации для анализа логически различных маршрутов обработки информации. Программы построения маршрутов анализируют условные и безусловные переходы и составляют последовательности переходов, которые совместно с соответствующими линейными участками образуют полные маршруты обработки информации. Одна из главных трудностей при выявлении маршрутов обработки информации состоит в имитации формирования адресов для безусловных переходов, которые осуществляются по данным, образующимся в процессе функционирования алгоритма, например, для безусловных переходов по содержимому ячеек МОЗУ. Такие безусловные переходы приходится снабжать рассчитанными заранее таблицами адресов или автономными имитирующими программами для их формирования.

(cкачать страницу)

Смотреть книгу на libgen

Автономная отладка логики запрограммированного алгоритма требует прежде всего выявления всех возможных маршрутов обработки информации и принятия логических решений. Для этого используются специальные программы построения и подготовки информации для анализа логически различных маршрутов обработки информации. Программы построения маршрутов анализируют условные и безусловные переходы и составляют последовательности переходов, которые совместно с соответствующими линейными участками образуют полные маршруты обработки информации. Одна из главных трудностей при выявлении маршрутов обработки информации состоит в имитации формирования адресов для безусловных переходов, которые осуществляются по данным, образующимся в процессе функционирования алгоритма, например, для безусловных переходов по содержимому ячеек МОЗУ. Такие безусловные переходы приходится снабжать рассчитанными заранее таблицами адресов или автономными имитирующими программами для их формирования.