Evolution of UniTESK Test Development Technology

Evolution of UniTESK Test Development Technology

The paper presents the basic principles of UniTESK technology intended for test construction based on formal models. It also summarizes experience of using UniTESK in large test development projects for software and hardware systems, including telecommunication protocols, basic and standard interfac...

Full description

Bibliographic Details
Main Authors:	V. Kuliamin, A. Petrenko
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	тестирование на основе моделей автоматизация тестирования формальные спецификации программные контракты масштабируемость тестов
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/763

Similar Items

How the story of UniTESK technology applications mirrors development of model based testing
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

Integration Points of Operating System Verification Techniques
by: A. K. Petrenko, et al.
Published: (2018-10-01)

Incremental Approach to the Technology of Test Design for Industrial Projects
by: P. D. Drobintsev, et al.
Published: (2014-12-01)

Testing of Operating Systems
by: E. A. Gerlits, et al.
Published: (2018-10-01)

TLS clients testing
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Test Suite development for verification of TLS security protocol
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
by: A. V. Nikeshin, et al.
Published: (2019-02-01)

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
by: Alexander Kamkin, et al.
Published: (2018-10-01)

Towards Measuring the Abstractness of State Machines based on Mutation Testing
by: Thomas Baar
Published: (2017-12-01)

Model-Based Testing for MANETs
by: Stéphane Maag
Published: (2018-10-01)

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver
by: Maxim Petrov, et al.
Published: (2014-12-01)

Combinatorial generation of operation system software configurations
by: V. V. Kuliamin
Published: (2018-10-01)

Сравнение эффективности обходчиков UniTESK.
by: А.Р.Арутюнян
Published: (2006-01-01)

Conformance theory development: semantics, formal models, algorithms
by: Igor Burdonov, et al.
Published: (2018-10-01)

Унификация в автоматизации тестирования. Позиция UniTESK
by: А.К. Петренко
Published: (2008-01-01)

Conformance testing based on a state relation
by: Igor B. Burdonov, et al.
Published: (2018-10-01)

PROBLEMS IN SELECTING TEST CASES FOR AUTOMATIC TESTING OF IT-PRODUCTS
by: Mary Sergeevna Krivozjateva, et al.
Published: (2020-03-01)

Model-based testing of Internet Mail Protocols
by: N. V. Pakulin, et al.
Published: (2018-10-01)

Генератор сложных данных Pinery: реализация новых возможностей UniTESK
by: А.В. Демаков, et al.
Published: (2008-01-01)

An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
by: A. V. Kolchin, et al.
Published: (2015-03-01)

An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
by: A. V. Kolchin, et al.
Published: (2012-01-01)

Test environment for verification of multi-processor memory subsystem unit
by: Dmitry Alexeevitch Lebedev, et al.
Published: (2019-09-01)

The Guide-based Automatic Creation of Verified Test Scenarious
by: P. D. Drobintsev, et al.
Published: (2013-12-01)

The Guide-based Automatic Creation of Verified Test Scenarious
by: P. D. Drobintsev, et al.
Published: (2013-01-01)

Safe simulation testing of systems with refusals and destructions
by: I. B. Burdonov, et al.
Published: (2010-12-01)

Verification and analysis of variable operating systems
by: V. V. Kuliamin, et al.
Published: (2018-10-01)

SOFTWARE TEST AUTOMATION FOR AUTOMATED SYSTEMS OF SLIDING FORMWORK
by: Dmitry A. Korotky
Published: (2012-07-01)

Test Program Generation for Microprocessors Based on Pipeline Hazards Templates
by: D. N. Vorobyev, et al.
Published: (2018-10-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
by: Дарья С. Гнедых
Published: (2020-05-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
by: A. . Kamkin, et al.
Published: (2018-10-01)

Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6.
by: Д.В. Зацепин, et al.
Published: (2007-01-01)

Error dependencies on classes of implementations under testing
by: Alexander Kossatchev
Published: (2018-10-01)

The final models of specification
by: Igor Bourdonov, et al.
Published: (2018-10-01)

About formative controlling and feedback in projecting training courses on programming
by: O V Maksimenkova, et al.
Published: (2014-12-01)

Current State and Prospects for Developing Information Support and Automation of Forensic Engineering and Real Estate Valuation
by: Dmitrii P Lyubimenko
Published: (2018-06-01)

Tools for Functional Verification of Microprocessors
by: A. Kamkin, et al.
Published: (2018-10-01)

Software Product Lines Modeling
by: K. M. Lavrischeva, et al.
Published: (2018-10-01)

Teaching Formal Models of Concurrency Specification and Analysis
by: N. V. Shilov
Published: (2015-12-01)

ОБЗОР ИСПОЛЬЗУЕМЫХ ПРОГРАММНЫХ ПЛАТФОРМ ДЛЯ СОЗДАНИЯ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ТЕСТИРОВАНИЯ ЗНАНИЙ
Published: (2021-01-01)

INFORMATION SYSTEM QUALITY CONTROL KNOWLEDGE
by: Vladimir Nikolaevich Babeshko
Published: (2017-02-01)