Анализ преобразования формальных моделей

С. В. Афанасьев

Анализ преобразования формальных моделей

С. В. Афанасьев¹

научная статья Страницы: 72-75

¹ к. ф.-м. н., с. н. с. СПИИРАН, Санкт-Петербург

Ключевые слова: формальные модели механизм трансляции функциональное тестирование

Аннотация

Формальное моделирование является важной частью процесса создания программного продукта на всех этапах разработки. Функциональное тестирование, в свою очередь, неотъемлемая часть обеспечения качества разработки программного продукта. Построение механизма трансляции формальных моделей между нотациями привело к необходимости контроля правильности передачи функционала между моделями. В статье описана постановка задачи для решения такого рода проблем на основе моделирования тестовых сценариев при помощи формальных моделей.

Для цитирования

Афанасьев С.В. Анализ преобразования формальных моделей // Информационно-измерительные и управляющие системы. 2010. № 11. С. 72–75.

Список источников

Афанасьев С. В., Воробьев В. И. Метрики для объектно-ориентированного проектирования сложных систем. Вестник гражданских инженеров. № 4. СПб.: СГбГАСУ. 2005. С. 108-114.
Афанасьев С. В. Использование объектно-ориентированных метрик в CFSE-системах для предварительного тестирования / Труды СПИИРАН. Вып. 5. СПб.: Наука. 2007. С. 255-260.
Канер С., Фолк Д., Нгуен Е. К. Тестирование программного обеспечения. ДиаСофт, 2000.
Дастин Э., Рэшка Д., Пол Д. Автоматизированное тестирование программного обеспечения. Лори. 2003.
Ray Robinson, AUTOMATION TEST TOOLS, March 2001.
UML.
Технологии системного моделирования. www.idefinfo.ru
Kruchten, P., The Rational Unified Process. An introduction // Rational Suite documentation.
Петренко А., Бритвина Е., Грошев С., Монахов А, Петренко О.Тестирование на основе моделей.

[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] Петренко А., Бритвина Е., Грошев С., Монахов А, Петренко О.Тестирование на основе моделей.