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

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

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


Информатика и автоматизация:
Год:
Том:
Выпуск:
Страница:
Найти




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

Труды СПИИРАН, 2006, выпуск 3, том 2, страницы 156–161 (Mi trspy242)  
Тестирование трансляции формальных моделей

А.Ю. Подъячев, С.В. Aфанасьев
PDF полного текста (576 kB)
Аннотация: Формальное моделирование является важной частью процесса создания программного продукта на всех этапах разработки. Функциональное тестирование, в свою очередь, неотъемлемая часть обеспечения качества разработки программного продукта. Построение механизма трансляции формальных моделей между нотациями привело к необходимости контроля правильности передачи функционала между моделями. В статье описана постановка задачи для решения такого рода проблем на основе моделирования тестовых сценариев при помощи формальных моделей.
УДК: 004.05
Образец цитирования: А.Ю. Подъячев, С.В. Aфанасьев, “Тестирование трансляции формальных моделей”, Тр. СПИИРАН, 3:2 (2006), 156–161
Цитирование в формате AMSBIB
\RBibitem{1}
\by А.Ю.~Подъячев, С.В.~Aфанасьев
\paper Тестирование трансляции формальных моделей
\jour Тр. СПИИРАН
\yr 2006
\vol 3
\issue 2
\pages 156--161
\mathnet{http://mi.mathnet.ru/trspy242}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/trspy242
  • https://www.mathnet.ru/rus/trspy/v3/i2/p156
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Информатика и автоматизация
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024