Отрывок: Однако, полностью гарантировать надежную работу объекта можно только с определенной доверительной вероятностью. В системе GRAF для отладки и тестирования объектов используется т.н. от­ ладчик. Отладчик выполняет следующие основные функции: • анализ области определения входных данных над которыми объект произ водит преобразование; • генерация значений для входных данных объекта. Во время...
Название : Методы автоматизации отладки в технологии графосимволического программирования
Авторы/Редакторы : Кудрин К. А.
Коварцев А. Н.
Прохоров С. А.
Дата публикации : 1996
Библиографическое описание : Кудрин, К. А. Методы автоматизации отладки в технологии графосимволического программирования / К. А. Кудрин, А. Н. Коварцев, С. А. Прохоров // Информационные системы и технологии : сб. науч. тр., посвящ. 25-летию каф. информ. системы и технологий (АСУ) / Гос. ком. Рос. Федерации по высш. образованию, Самар. гос. аэрокосм. ун-т им. С. П. Королева, Самар. регион. центр информатизации высш. шк, Самар. фил. Рос. НИИ информ. систем ; [отв. ред. Прохоров С. А.]. - Самара, 1996. - С. 75-79.
Другие идентификаторы : RU\НТБ СГАУ\483486
Ключевые слова: методы автоматизации отладки
автоматизация отладки программ
графосимволическое программирование (ГСП)
графосимволическое программирование ГРАФ
граф-программы
Располагается в коллекциях: ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ

Файлы этого ресурса:
Файл Размер Формат  
Стр.-75-79.pdf122.85 kBAdobe PDFПросмотреть/Открыть



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.