Парадигмы модельного и символьного тестирования программных систем

Парадигмы модельного и символьного тестирования программных систем

Исследовано модельное тестирование программных систем направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика и значительно повысить качество тестирования программной системы. Рассмо...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Кибернетика и системный анализ
Datum:2015
1. Verfasser: Летичевский, А.А. (мл.)
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:
Кибернетика
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/124904
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-124904
record_format dspace
spelling Летичевский, А.А. (мл.)
2017-10-11T16:52:35Z
2017-10-11T16:52:35Z
2015
Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос.
0023-1274
https://nasplib.isofts.kiev.ua/handle/123456789/124904
519.686.2
Исследовано модельное тестирование программных систем направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика и значительно повысить качество тестирования программной системы. Рассмотрена технология МВТ, ее компоненты и основные инструменты, а также описаны проблемы, возникающие при применении данного метода для генерации тестовых сценариев. Представлены символьный подход, позволяющий решить ряд рассмотренных проблем генерации, а также система Универсальный Генератор Сценариев, основанная на символьном подходе, разработанном в Институте кибернетики им. В.М. Глушкова НАН Украины. Впервые символьный подход расширен добавлен этап исполнения тестов, что позволяет значительно усовершенствовать МВТ-подход для потребностей современной промышленности.
Досліджено модельне тестування програмних систем — напрямок, відомий в індустрії як Model-Based Testing (МВТ). Наведено огляд основних методів і систем МВТ, які дозволяють автоматизувати працю інженера-тестувальника і значно підвищити якість тестування програмної системи. Розглянуто технологію МВТ, її компоненти та основні інструменти, а також описано проблеми, що виникають при застосуванні цього методу в генерації тесто вих сценаріїв. Представлено символьний підхід, що дозволяє вирішити низку розглянутих проблем генерації, а також Універсальний Генератор Сценаріїв — систему, основану на символьному підході, розробленому в Інституті кібернетики ім. В.М. Глушкова НАН України. Вперше символьний підхід розширено — додано етап виконання тестів, що дозволяє значно вдосконалити МВТ-підхід у сучасній індустрії. І
Model-based testing (MBT) of software systems is considered and the well-known methods/ and tools for MBT are reviewed. These methods allow automating the procedures performed by a software testing engineer and significantly increase software system testing quality. The MBT technology, its components, and main tools are described in the paper. The list of problems and challenges in MBT usage is defined. The symbolic approach is presented, which allows resolving some of the existing MBT problems, especially symbolic-based Generic Trace Generator. This tool was developed at the V.M. Glushkov Institute of Cybernetics. For the first time ever, the symbolic approach was extended for test execution process, which improves the MBT technology in modern industry
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кибернетика
Парадигмы модельного и символьного тестирования программных систем
Парадигми модельного та символьного тестування програмних систем
Paradigms of model-based and symbolic software testing
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Парадигмы модельного и символьного тестирования программных систем
spellingShingle Парадигмы модельного и символьного тестирования программных систем
Летичевский, А.А. (мл.)
Кибернетика
title_short Парадигмы модельного и символьного тестирования программных систем
title_full Парадигмы модельного и символьного тестирования программных систем
title_fullStr Парадигмы модельного и символьного тестирования программных систем
title_full_unstemmed Парадигмы модельного и символьного тестирования программных систем
title_sort парадигмы модельного и символьного тестирования программных систем
author Летичевский, А.А. (мл.)
author_facet Летичевский, А.А. (мл.)
topic Кибернетика
topic_facet Кибернетика
publishDate 2015
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Парадигми модельного та символьного тестування програмних систем
Paradigms of model-based and symbolic software testing
description Исследовано модельное тестирование программных систем направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика и значительно повысить качество тестирования программной системы. Рассмотрена технология МВТ, ее компоненты и основные инструменты, а также описаны проблемы, возникающие при применении данного метода для генерации тестовых сценариев. Представлены символьный подход, позволяющий решить ряд рассмотренных проблем генерации, а также система Универсальный Генератор Сценариев, основанная на символьном подходе, разработанном в Институте кибернетики им. В.М. Глушкова НАН Украины. Впервые символьный подход расширен добавлен этап исполнения тестов, что позволяет значительно усовершенствовать МВТ-подход для потребностей современной промышленности. Досліджено модельне тестування програмних систем — напрямок, відомий в індустрії як Model-Based Testing (МВТ). Наведено огляд основних методів і систем МВТ, які дозволяють автоматизувати працю інженера-тестувальника і значно підвищити якість тестування програмної системи. Розглянуто технологію МВТ, її компоненти та основні інструменти, а також описано проблеми, що виникають при застосуванні цього методу в генерації тесто вих сценаріїв. Представлено символьний підхід, що дозволяє вирішити низку розглянутих проблем генерації, а також Універсальний Генератор Сценаріїв — систему, основану на символьному підході, розробленому в Інституті кібернетики ім. В.М. Глушкова НАН України. Вперше символьний підхід розширено — додано етап виконання тестів, що дозволяє значно вдосконалити МВТ-підхід у сучасній індустрії. І Model-based testing (MBT) of software systems is considered and the well-known methods/ and tools for MBT are reviewed. These methods allow automating the procedures performed by a software testing engineer and significantly increase software system testing quality. The MBT technology, its components, and main tools are described in the paper. The list of problems and challenges in MBT usage is defined. The symbolic approach is presented, which allows resolving some of the existing MBT problems, especially symbolic-based Generic Trace Generator. This tool was developed at the V.M. Glushkov Institute of Cybernetics. For the first time ever, the symbolic approach was extended for test execution process, which improves the MBT technology in modern industry
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/124904
citation_txt Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос.
work_keys_str_mv AT letičevskiiaaml paradigmymodelʹnogoisimvolʹnogotestirovaniâprogrammnyhsistem
AT letičevskiiaaml paradigmimodelʹnogotasimvolʹnogotestuvannâprogramnihsistem
AT letičevskiiaaml paradigmsofmodelbasedandsymbolicsoftwaretesting
first_indexed 2025-12-07T15:41:16Z
last_indexed 2025-12-07T15:41:16Z
_version_ 1850864646044516352

Ähnliche Einträge