The final models of specification

The paper describes the research in formal methods of conformance testing of the target system against requirements given in specifications. Such testing is based on interaction semantics defining test stimuli and observations of actions and refusals (absence of actions). Unobservable actions and re...

Full description

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

Similar Items

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

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

Combinatorial generation of operation system software configurations
by: V. V. Kuliamin
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)

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

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

Test Readability Optimization in Context of Symbolic Execution
by: I. A. Yakimov, et al.
Published: (2018-10-01)

Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
by: A. V. Misonizhnik, et al.
Published: (2024-12-01)

A Survey of Methods and Tools for Test Program Generation for Microprocessors
by: A. D. Tatarnikov
Published: (2018-10-01)

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

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

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

Covering functionality of database applications by generating special data
by: Evgeny Kostychev, et al.
Published: (2018-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
by: M. S. Lebedev, et al.
Published: (2018-10-01)

Искажение понятия «конвергенция» в теории массовой коммуникации и других областях гуманитарного знания
by: Анастасия Жилина
Published: (2025-06-01)

WikifyMe: Creating Testbed for Wikifiers
by: Sergey Bartunov, et al.
Published: (2018-10-01)

Long-Term Strategy for Smart Cities Governance Projects across Europe
by: Ionut PETRE, et al.
Published: (2024-01-01)

Граничное интегральное представление соленоидальных векторных полей
by: N. N. Yas'ko
Published: (2011-12-01)

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

SOCIAL INTEGRATION OF SYSTEM COMPONENTS OF THE ORGANIZATION AS ONE OF THE OBJECTIVES OF THE MANAGEMENT ACTIVITY
by: S. Frolov
Published: (2016-03-01)

SOCIAL INTEGRATION OF SYSTEM COMPONENTS OF THE ORGANIZATION AS ONE OF THE OBJECTIVES OF THE MANAGEMENT ACTIVITY
by: S. Frolov
Published: (2019-02-01)

CALCULATION METHODS OF ORIENTATION ANGLES OF TRANSMITTER AND NOISE RECEIVER ANTENNAS IN ANALYSIS OF ELECTROMAGNETIC COMPATIBILITY
by: O. I. Korolkova, et al.
Published: (2019-06-01)

CALCULATION METHODS OF ORIENTATION ANGLES OF TRANSMITTER AND NOISE RECEIVER ANTENNAS IN ANALYSIS OF ELECTROMAGNETIC COMPATIBILITY
by: O. I. Korolkova, et al.
Published: (2019-06-01)

Deriving checking sequences for nondeterministic FSMs
by: Anton Ermakov
Published: (2018-10-01)

МОДЕЛИРОВАНИЕ АЭРОДИНАМИЧЕСКОЙ НЕУСТОЙЧИВОСТИ СТРОИТЕЛЬНЫХ КОНСТРУКЦИЙ НА ПРИМЕРЕ СЕЧЕНИЯ МОСТА ЧАСТЬ 1: ОЦЕНКА АЭРОДИНАМИЧЕСКОЙ НЕУСТОЙЧИВОСТИ СЕЧЕНИЯ ИНЖЕНЕРНЫМИ МЕТОДАМИ
by: Irina Yu. Lantsova, et al.
Published: (2018-03-01)

ИССЛЕДОВАНИЕ ПРИЧИН РАЗРУШЕНИЯ ПОДВЕСОВ ПРОВОДОВ ЛЭП МЕТОДАМИ СТРУКТУРНО-ФАЗОВОГО МЕТАЛЛОГРАФИЧЕСКОГО АНАЛИЗА
by: Александр Анатольевич Бердыченко, et al.
Published: (2021-03-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
by: I. . Melnichenko, et al.
Published: (2018-10-01)

Recovery of binary data structures from program traces
by: A. I. Avetisyan, et al.
Published: (2018-10-01)

ПРИНЦИПЫ ПОСТРОЕНИЯ ГИБРИДНЫХ ВЕТРО-СОЛНЕЧНЫХ ЭНЕРГОУСТАНОВОК
by: V. A. Dzenzersky, et al.
Published: (2007-07-01)

Extracting Assertions for Conflicts in HDL Descriptions
by: Alexander Sergeevitch Kamkin, et al.
Published: (2019-09-01)

Graph Learning by a Set of Automata. The Nondeterministic Case
by: Igor Burdonov, et al.
Published: (2018-10-01)

ФОРМИРОВАНИЕ БЕЗОПАСНОГО СОЦИАЛЬНОГО ПОВЕДЕНИЯ ДОШКОЛЬНИКОВ В ИНКЛЮЗИВНОЙ ОБРАЗОВАТЕЛЬНОЙ СРЕДЕ
by: Olga A. Silaeva
Published: (2021-04-01)

INFORMATION CODING IN INFOCOMMUNICATIONS
by: V. K. Konopelko, et al.
Published: (2019-06-01)

Graph learning by a set of automata
by: Igor Burdonov, et al.
Published: (2018-10-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)

IM- LTS: An Integrated Model for Lung Tumor Segmentation using Neural Networks and IoMT
by: Jayapradha J, et al.
Published: (2025-06-01)

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

Input data generation for reaching specific function in program by iterative dynamic analysis
by: A. Y. Gerasimov, et al.
Published: (2018-10-01)

ЭКСПЛУАТАЦИОННАЯ ОЦЕНКА МЕТАЛЛООБРАБАТЫВАЮЩИХ ИНСТРУМЕНТОВ И ТРЕБОВАНИЯ, ПРЕДЪЯВЛЯЕМЫЕ К НИМ
by: Александр Анатольевич Шматов, et al.
Published: (2023-10-01)

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