Model Based Testing Framework Using Component Technologies

Model Based Testing Framework Using Component Technologies

The article presents a component-based approach to construction of a model based testing framework. The main idea underlying the approach is non-invasive composition, which allows integration of a set of components along with their further reconfiguration without changing their code, and so with min...

Full description

Bibliographic Details
Main Author:	Victor V. Kuliamin.
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	<i>компонентные технологии</i> <i>тестирование на основе моделей</i>
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1076

Similar Items

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

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

Evolution of UniTESK Test Development Technology
by: V. Kuliamin, et al.
Published: (2018-10-01)

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

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

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

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

Mirror-based method of constraints generation for test programs generation by test template
by: Evgeni V. Kornykhin
Published: (2018-10-01)

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

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

Technology of heterogeneous logging, analysis and report generation
by: S. G. Groshev.
Published: (2018-10-01)

Formal specifications-based automation of system testing of hardware designs
by: M. M. Chupilko.
Published: (2018-10-01)

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

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

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

ACCELERATED LEARNING IN HIGHER EDUCATION AS A CONDITION OF A CONTINUOUS AND HIGHER EDUCATION: PRINCIPLES AND APPROACHES
by: G A Balykhin, et al.
Published: (2016-01-01)

The influence of technological parameters of adjuncts on the quality of powders with bifidobacteria
by: Е I Molohova, et al.
Published: (2010-12-01)

Automation of conformance testing for communication protocols
by: Nikolay Pakulin, et al.
Published: (2018-10-01)

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

Approaches to Stand-alone Verification of Multicore Microprocessor Caches
by: M. . Petrochenkov, et al.
Published: (2018-10-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
by: A. S. Kamkin, et al.
Published: (2018-10-01)

USING WEB SERVICES TO CREATE ONLINE QUIZZES IN EDUCATION
by: M. Y. Korotkova
Published: (2020-03-01)

Техногенно-минеральные месторождения и их экологическая роль
Published: (2019-02-01)

Cовершенствование методики преподавания химических дисциплин с применением обучающих тестовых заданий в ВУЗах
by: Gulzahira Turebekova
Published: (2015-03-01)

Automatic term acquisition from domain-specific text collection by using Wikipedia
by: N. Astrakhantsev
Published: (2018-10-01)

Сравнительный анализ гидрогенизации каменноугольной смолы
by: M. Baikenov, et al.
Published: (2014-04-01)

ПОСТИНДУСТРИАЛЬНОЕ СОВМЕСТНОЕ ПОТРЕБЛЕНИЕ КАК РЕЗУЛЬТАТ ЭВОЛЮЦИИ ПОТРЕБЛЕНИЯ НА ОСНОВЕ ДОСТУПА К БЛАГАМ
by: В. А. Перепёлкин
Published: (2020-03-01)

The concept of integrated control system for organization and monitoring procedure of knowledge
by: A A Kuznetsov, et al.
Published: (2015-12-01)

APPLYING OF NEURAL NETWORKS FOR SELECTING THE TOOLS FOR PENETRATION TESTING OF WEB APPLICATIONS
by: Артём Григорьевич Тецкий
Published: (2018-12-01)

Component-based verification of operating systems
by: V. V. Kuliamin, et al.
Published: (2019-02-01)

Approach to test program development for multilevel verification
by: Pavel Viktorovich Frolov
Published: (2019-09-01)

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

Features of the Electronic Structure and Chemical Bonds of Polyaniline-Based Composites Obtained by Acid-Free Synthesis
by: Valentina A. Shmatko, et al.
Published: (2019-12-01)

Структура и свойства полученных сваркой взрывом и пакетной прокаткой слоистых композитов на основе низкоуглеродистых сталей, меди, алюминия и его сплавов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.16.09
by: Кутенева, С. В.
Published: (2018)

Структура и свойства полученных сваркой взрывом и пакетной прокаткой слоистых композитов на основе низкоуглеродистых сталей, меди, алюминия и его сплавов : диссертация на соискание ученой степени кандидата технических наук : 05.16.09
by: Кутенева, С. В.
Published: (2018)

ИСПОЛЬЗОВАНИЕ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ В ПРЕПОДАВАНИИ ДИСЦИПЛИНЫ «ФИЗИЧЕСКАЯ КУЛЬТУРА И СПОРТ»
by: Инна Викторовна Соколова, et al.
Published: (2020-11-01)

Spectral luminescent properties of bacteriochlorin and aluminum phthalocyanine nanoparticles as hydroxyapatite implant surface coating
by: Yu. S. Maklygina, et al.
Published: (2016-01-01)

Static analyzer Svace for finding of defects in program source code
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

Точнi нерiвностi типу Колмогорова для неперiодичних функцiй на осi
by: T.R. Bіkkuzhyna, et al.
Published: (2015-08-01)

Регулярність розв'язків крайових задач для дифузійно-хвильового рівняння з узагальненими функціями в правих частинах
by: A.O. Lopushansky
Published: (2013-12-01)