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

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

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


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




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

Моделирование и анализ информационных систем, 2012, том 19, номер 6, страницы 79–91 (Mi mais272)  
Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов

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

a Институт кибернетики им. В. М. Глушкова НАН Украины
b Санкт-Петербургский государственный политехнический университет
PDF полного текста (385 kB)
Список литературы:
PDF
HTML
Аннотация: Предложен подход к созданию эффективной технологии автоматизации тестирования промышленных программных проектов, который использует формальную модель системы, выполняет автоматически символьную верификацию, генерацию и конкретизацию символьных трасс, генерацию тестовых наборов по конкретизированным трассам, а также включает средства анализа результатов исполнения тестов, позволяя автоматизировать полный цикл тестирования. Особый акцент сделан на изложении алгоритма конкретизации и настройки тестовых сценариев.
Ключевые слова: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер.
Поступила в редакцию: 22.07.2012
Тип публикации: Статья
УДК: 004.415
Образец цитирования: А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 19:6 (2012), 79–91
Цитирование в формате AMSBIB
\RBibitem{KolLetPes12}
\by А.~В.~Колчин, А.~А.~Летичевский, В.~С.~Песчаненко, П.~Д.~Дробинцев, В.~П.~Котляров
\paper Подход к конкретизации тестовых сценариев в~рамках технологии автоматизации тестирования промышленных программных проектов
\jour Модел. и анализ информ. систем
\yr 2012
\vol 19
\issue 6
\pages 79--91
\mathnet{http://mi.mathnet.ru/mais272}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais272
  • https://www.mathnet.ru/rus/mais/v19/i6/p79
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:213
    PDF полного текста:96
    Список литературы:51
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024