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