Тестирование трансляции формальных моделей

Подъячев; Афанасьев

doi:10.15622/sp.3.12

Подъячев Санкт-Петербургский институт информатики и автоматизации РАН
Афанасьев Санкт-Петербургский институт информатики и автоматизации РАН

DOI:

https://doi.org/10.15622/sp.3.12

Аннотация

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

Литература

IDE Eclipse [Электронный ресурс] // (по со- стоянию на 20.03.2006).

OpenTTCN [Электронный ресурс] // (по состоянию на 20.03.2006).

UML. [Электронный ресурс] // (по состоянию на 20.03.2006).

Технологии системного моделирования. [Электронный ресурс] // (по состоянию на 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).

Петренко А., Бритвина Е., Грошев С., Монахов А, Петренко О. Тестирование на основе моделей. [Электронный ресурс] // (по состоянию на 20.03.2006)

ISO/IEC, TR 9126-3, 2003 Software engineering - Product quality - Part 3 Internal metrics.

Formal model translation testing

Podyachev St. Petersburg Institution for Informatics and Automation of RAS
Afanasyev St. Petersburg Institution for Informatics and Automation of RAS

Abstract

Formal modeling is very important part of program creation process in the all development steps. Functional testing, in one's turn, is integral part of quality assurance. Formal models translation mechanisms creating bring to necessity of validation control for functional transmission across models. This article describes methods for solving the problem by test scenarios modeling with formal models help.

Опубликован

2006-04-01

Статистика

Просмотры	1906
Скачивания	1365

Как цитировать

Подъячев, & Афанасьев,. (2006). Тестирование трансляции формальных моделей. Труды СПИИРАН, 2(3), 156-161. https://doi.org/10.15622/sp.3.12

Скачать ссылку

Выпуск

Выпуск 2 (3), 2006: Труды СПИИРАН

Раздел

Статьи

Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями: Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале. Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале. Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).