Cтраница 4
Структура системы программного обеспечения является еще одним важным фактором при проверке программ. Для небольших программ характерны независимые модули с ограниченным взаимодействием. [46]
Трудоемкость программирования, возможности ошибок, необходимость вследствие этого тщательной отладки и проверки программ уже на самих машинах путем проверки пробных решений являются серьезными недостатками современных универсальных цифровых машин. На программирование сложных задач уходит гораздо больше времени, чем на их решение в машине. На работе по программированию занято больше специалистов, чел на непосредственной эксплуатации машин. [47]
Эффективность применения автоматизированной системы отладки PACE / FLOW видна на примере - проверки программы HOPE ( Houstion Operations Prodictor / Esti-mator) - программы для расчета траектории. [48]
Сброс и Сброс ШД на лицевой панели интерполятора, после чего устройство готово для проверки программы, записанной на магнитную ленту. [49]
Имеются ли сведения, обеспечивающие возможность работы с определенными конкретными значениями входов для выполнения специализированных проверок программы. [50]
Обнаружение сбоев и нарушений в программном обеспечении системы реализуется двойным просчетом ряда задач, проверкой программ на тестовых примерах, фиксацией решений, выходящих по результатам за пределы возможных диапазонов. [51]
Взяв за основу модель защищенного от несанкционированного доступа информационного потока [7.38, 7.39], авторы предлагают способ проверки программы на шаге компиляции, который позволяет установить, были ли ошибки; при передаче информации. Хотя авторы не считают, что проверок на шаге выполнения удалось избежать полностью, их система позволяет сократить число таких проверок. [52]