Парадигмы модельного и символьного тестирования программных систем
Исследовано модельное тестирование программных систем направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика и значительно повысить качество тестирования программной системы. Рассмо...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2015 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/124904 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862676543069749248 |
|---|---|
| author | Летичевский, А.А. (мл.) |
| author_facet | Летичевский, А.А. (мл.) |
| citation_txt | Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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
|
| first_indexed | 2025-12-07T15:41:16Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-124904 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T15:41:16Z |
| publishDate | 2015 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Парадигмы модельного и символьного тестирования программных систем Летичевский, А.А. (мл.) Кибернетика |
| title | Парадигмы модельного и символьного тестирования программных систем |
| title_alt | Парадигми модельного та символьного тестування програмних систем Paradigms of model-based and symbolic software testing |
| title_full | Парадигмы модельного и символьного тестирования программных систем |
| title_fullStr | Парадигмы модельного и символьного тестирования программных систем |
| title_full_unstemmed | Парадигмы модельного и символьного тестирования программных систем |
| title_short | Парадигмы модельного и символьного тестирования программных систем |
| title_sort | парадигмы модельного и символьного тестирования программных систем |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/124904 |
| work_keys_str_mv | AT letičevskiiaaml paradigmymodelʹnogoisimvolʹnogotestirovaniâprogrammnyhsistem AT letičevskiiaaml paradigmimodelʹnogotasimvolʹnogotestuvannâprogramnihsistem AT letičevskiiaaml paradigmsofmodelbasedandsymbolicsoftwaretesting |