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

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

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


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




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

Моделирование и анализ информационных систем, 2014, том 21, номер 6, страницы 144–154 (Mi mais419)  
Инкрементальный подход к технологии создания тестов для индустриальных проектов

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

a Санкт-Петербургский государственный политехнический университет, 195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29
b Институт кибернетики им. В. М. Глушкова НАН Украины, 03680 МСП, Украина, г. Киев, просп. Академика Глушкова, 40
PDF полного текста (1070 kB)
Список литературы:
PDF
HTML
Аннотация: Статья посвящена описанию технологии, позволяющей сократить трудозатраты на создание тестов для промышленных программных проектов, за счет использования инкрементального подхода. Основная проблема, решенная в данной работе, связана с полной автоматизацией фазы дизайна тестовых сценариев и сокращением количества тестов, необходимых для обеспечения качества программного продукта. Предлагаемая в работе технология позволяет решить указанные проблемы за счет совместной работы дизайнера тестовых наборов и заказчика с использованием формальных моделей, методов символьной верификации и автоматической генерации тестовых наборов на базе использования инструментария VRS/TAT.
Ключевые слова: тестирование на основе моделей, верификация, автоматизация тестирования, сокращение пространства состояний.
Поступила в редакцию: 30.09.2014
Тип публикации: Статья
УДК: 004.415
Образец цитирования: П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, “Инкрементальный подход к технологии создания тестов для индустриальных проектов”, Модел. и анализ информ. систем, 21:6 (2014), 144–154
Цитирование в формате AMSBIB
\RBibitem{DroKotNik14}
\by П.~Д.~Дробинцев, В.~П.~Котляров, И.~В.~Никифоров, А.~А.~Летичевский
\paper Инкрементальный подход к технологии создания тестов для~индустриальных проектов
\jour Модел. и анализ информ. систем
\yr 2014
\vol 21
\issue 6
\pages 144--154
\mathnet{http://mi.mathnet.ru/mais419}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais419
  • https://www.mathnet.ru/rus/mais/v21/i6/p144
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:223
    PDF полного текста:85
    Список литературы:51
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025