Автоматизация создания верифицированных тестовых сценариев на основе гидов


https://doi.org/10.18255/1818-1015-2013-6-64-77

Полный текст:


Аннотация

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


Об авторах

Павел Дмитриевич Дробинцев
Санкт-Петербургский государственный политехнический университет
Россия

доцент, канд. техн. наук,

195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29



Всеволод Павлович Котляров
Санкт-Петербургский государственный политехнический университет
Россия

профессор, канд. техн. наук,

195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29



Александр Адольфович Летичевский
Институт кибернетики им. В.М. Глушкова НАН Украины
Украина

зав. отделом теории цифровых автоматов, академик, д-р физ.-мат. наук,

03680МСП, Украина, г. Киев, просп. Академика Глушкова, 40



Список литературы

1. Баранов С., Котляров В., Летичевский А. Индустриальная технология автоматизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований // Труды междунар. науч. конф. “Космос, астрономия и программирование”. СПб.: СПбГУ, 2008. С. 134—145.

2. Карпов Ю.Г. Теория автоматов. СПб.: Питер, 2003. 208 с.

3. Baranov S., Kotlyarov V., Letichevsky A., Drobintsev P. The technology of Automation Verification and Testing in Industrial Projects // Proc. of St.Petersburg IEEE Chapter, International Conference, May 18—21. St.Petersburg, 2005. P. 81—86.

4. Z.151: User Requirements Notation (URN) — Language Definition http://www.itu.int/rec/T-REC-Z.151-200811-I/en

5. Letichevsky A., Kapitonova J., Letichevsky A. jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications // Proc of ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL), 02 Nov 2004. IRISA, Rennes, France, 2004. P.30—38.

6. Digital Video Broadcasting (DVB). DVB-S2 Adaptive Coding and Modulation for Broadband Hybrid Satellite Dialup Applications // http://www.etsi.org/deliver/etsi_ts/102400_102499/102441/01.01.01_60/ts_102441v010101p.pdf

7. Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209—215.

8. Baranov S., Kotlyarov V., Weigert T. Verifiable Coverage Criteria For Automated Testing. SDL2011: Integrating System and Software Modeling // LNCS. 2012. Vol. 7083. P. 79—89.

9. Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. №1—28P.

10. Дробинцев П.Д., Котляров В.П., Черноруцкий И.Г. Автоматизация тестирования на основе покрытия пользовательских сценариев // Научно-технические ведомости СПбГПУ. 2012. Т. 4(152). С. 123—126.

11. Recommendation ITU-T Z.120. Message Sequence Chart (MSC ), 11/2000.


Дополнительные файлы

Для цитирования: Дробинцев П.Д., Котляров В.П., Летичевский А.А. Автоматизация создания верифицированных тестовых сценариев на основе гидов. Моделирование и анализ информационных систем. 2013;20(6):64-77. https://doi.org/10.18255/1818-1015-2013-6-64-77

For citation: Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A. The Guide-based Automatic Creation of Verified Test Scenarious. Modeling and Analysis of Information Systems. 2013;20(6):64-77. (In Russ.) https://doi.org/10.18255/1818-1015-2013-6-64-77

Просмотров: 329

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)