350 руб
Журнал «Информационно-измерительные и управляющие системы» №11 за 2010 г.
Статья в номере:
Анализ преобразования формальных моделей
Ключевые слова: формальные модели механизм трансляции функциональное тестирование
Авторы:
С. В. Афанасьев - к. ф.-м. н., с. н. с. СПИИРАН, Санкт-Петербург. E-mail: serg@sqlab.spb.su
Аннотация:
Формальное моделирование является важной частью процесса создания программного продукта на всех этапах разработки. Функциональное тестирование, в свою очередь, неотъемлемая часть обеспечения качества разработки программного продукта. Построение механизма трансляции формальных моделей между нотациями привело к необходимости контроля правильности передачи функционала между моделями. В статье описана постановка задачи для решения такого рода проблем на основе моделирования тестовых сценариев при помощи формальных моделей.
Страницы: 72-75
Список источников
  1. Афанасьев С. В., Воробьев В. И. Метрики для объектно-ориентированного проектирования сложных систем. Вестник гражданских инженеров. № 4. СПб.: СГбГАСУ. 2005. С. 108-114.
  2. Афанасьев С. В. Использование объектно-ориентированных метрик в CFSE-системах для предварительного тестирования / Труды СПИИРАН. Вып. 5. СПб.: Наука. 2007. С. 255-260.
  3. Канер С., Фолк Д., Нгуен Е. К. Тестирование программного обеспечения. ДиаСофт, 2000.
  4. Дастин Э., Рэшка Д., Пол Д. Автоматизированное тестирование программного обеспечения. Лори. 2003.
  5. Ray Robinson, AUTOMATION TEST TOOLS, March 2001.
  6. UML.
  7. Технологии системного моделирования. www.idefinfo.ru
  8. Kruchten, P., The Rational Unified Process. An introduction // Rational Suite documentation.
  9. Петренко А., Бритвина Е., Грошев С., Монахов А, Петренко О.Тестирование на основе моделей.