Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Автоматика и телемеханика, 1982, выпуск 8, страницы 93–101 (Mi at5595)  
Техническая диагностика

Развитие методов символического тестирования программ ЭВМ

Я. Я. Бичевский, Ю. В. Борзов

Рига
PDF полного текста (1720 kB)
Аннотация: Рассматривается применение символического тестирования для проверки правильности программ ЭВМ: автоматического генерирования входных данных (тестов), полных систем тестов, выделения всех реализуемых путей программы, генерирования описания функции, которую реализует программа. Приводятся различные описания функции, реализуемой программой, отличающиеся полнотой ее задания.

Поступила в редакцию: 08.04.1981
Реферативные базы данных:
Тип публикации: Статья
УДК: 681.3.06
Образец цитирования: Я. Я. Бичевский, Ю. В. Борзов, “Развитие методов символического тестирования программ ЭВМ”, Автомат. и телемех., 1982, № 8, 93–101; Autom. Remote Control, 43:8 (1982), 1054–1061
Цитирование в формате AMSBIB
\RBibitem{BicBor82}
\by Я.~Я.~Бичевский, Ю.~В.~Борзов
\paper Развитие методов символического тестирования программ ЭВМ
\jour Автомат. и телемех.
\yr 1982
\issue 8
\pages 93--101
\mathnet{http://mi.mathnet.ru/at5595}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=671841}
\zmath{https://zbmath.org/?q=an:0504.68010}
\transl
\jour Autom. Remote Control
\yr 1982
\vol 43
\issue 8
\pages 1054--1061
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at5595
  • https://www.mathnet.ru/rus/at/y1982/i8/p93
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025