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

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

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


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




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

Моделирование и анализ информационных систем, 2013, том 20, номер 6, страницы 64–77 (Mi mais343)  
Автоматизация создания верифицированных тестовых сценариев на основе гидов

П. Д. Дробинцевa, В. П. Котляровa, А. А. Летичевскийb

a Санкт-Петербургский государственный политехнический университет, 195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29
b Институт кибернетики им. В. М. Глушкова НАН Украины, 03680МСП, Украина, г. Киев, просп. Академика Глушкова, 40
PDF полного текста (659 kB)
Список литературы:
PDF
HTML
Аннотация: В данной работе представлен обзор технологии автоматизированной генерации тестовых сценариев на основе гидов, использование которой позволяет существенно повысить качество разрабатываемого программного обеспечения. В качестве обоснования создания технологии описаны основные проблемы, возникающие при разработке и тестировании крупных промышленных систем, и представлены методики проверки программного обеспечения на соответствие требованиям. Продемонстрированы возможности инструментальных средств по автоматической и полуавтоматической генерации тестового набора с использованием формальной модели, созданной на языке UCM, и средств верификации и автоматизации тестирования.
Ключевые слова: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер.
Поступила в редакцию: 10.11.2013
Тип публикации: Статья
УДК: 004.415
Образец цитирования: П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский, “Автоматизация создания верифицированных тестовых сценариев на основе гидов”, Модел. и анализ информ. систем, 20:6 (2013), 64–77
Цитирование в формате AMSBIB
\RBibitem{DroKotLet13}
\by П.~Д.~Дробинцев, В.~П.~Котляров, А.~А.~Летичевский
\paper Автоматизация создания верифицированных тестовых сценариев на основе гидов
\jour Модел. и анализ информ. систем
\yr 2013
\vol 20
\issue 6
\pages 64--77
\mathnet{http://mi.mathnet.ru/mais343}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais343
  • https://www.mathnet.ru/rus/mais/v20/i6/p64
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:206
    PDF полного текста:106
    Список литературы:44
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024