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

Abstract

Исследовано модельное тестирование программных систем направление, известное в индустрии как 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