Тестирование трансляции формальных моделей
Аннотация
Формальное моделирование является важной частью процесса создания программного продукта на всех этапах разработки. Функциональное тестирование, в свою очередь, неотъемлемая часть обеспечения качества разработки программного продукта. Построение механизма трансляции формальных моделей между нотациями привело к необходимости контроля правильности передачи функционала между моделями. В статье описана постановка задачи для решения такого рода проблем на основе моделирования тестовых сценариев при помощи формальных моделей.Литература
IDE Eclipse [Электронный ресурс] // (по со- стоянию на 20.03.2006).
OpenTTCN [Электронный ресурс] // (по состоянию на 20.03.2006).
UML. [Электронный ресурс] // (по состоянию на 20.03.2006).
Технологии системного моделирования. [Электронный ресурс] //
Канер С., Фолк Д., Нгуен Е.К. Тестирование программного обеспечения. Киев: ДиаСофт, 2000. 544 c.
Дастин Э., Рэшка Д., Пол Д. Автоматизированное тестирование программного обеспечения. Москва: Лори, 2003. 592 с.
Robinson H. Intelligent Test Automation, Software Testing and Quality Engineering, Issue Sep/Oct 2000, SW Quality Engineering. [Электронный ресурс] // (по состоянию на 20.03.2006).
Kruchten P. The Rational Unified Process. Rational Suite documentation. An introduction. [Электронный ресурс] // (по состоянию на 20.03.2006).
Петренко А., Бритвина Е., Грошев С., Монахов А, Петренко О. Тестирование на основе моделей. [Электронный ресурс] //
ISO/IEC, TR 9126-3, 2003 Software engineering - Product quality - Part 3 Internal metrics.
OpenTTCN [Электронный ресурс] //
UML. [Электронный ресурс] //
Технологии системного моделирования. [Электронный ресурс] //
Канер С., Фолк Д., Нгуен Е.К. Тестирование программного обеспечения. Киев: ДиаСофт, 2000. 544 c.
Дастин Э., Рэшка Д., Пол Д. Автоматизированное тестирование программного обеспечения. Москва: Лори, 2003. 592 с.
Robinson H. Intelligent Test Automation, Software Testing and Quality Engineering, Issue Sep/Oct 2000, SW Quality Engineering. [Электронный ресурс] //
Kruchten P. The Rational Unified Process. Rational Suite documentation. An introduction. [Электронный ресурс] //
Петренко А., Бритвина Е., Грошев С., Монахов А, Петренко О. Тестирование на основе моделей. [Электронный ресурс] //
ISO/IEC, TR 9126-3, 2003 Software engineering - Product quality - Part 3 Internal metrics.
Опубликован
2006-04-01
Как цитировать
Подъячев, & Афанасьев,. (2006). Тестирование трансляции формальных моделей. Труды СПИИРАН, 2(3), 156-161. https://doi.org/10.15622/sp.3.12
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
