Combinatorial generation of operation system software configurations

tion of covering arrays, that is ensuring coverage of all pairs, triple, etc. of configuration parameters values. The method combines known optimal algorithm for binary pairwise coverage array generation with further greedy construction of non-binary part of the array. Novelty of the method proposed...

Full description

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

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)

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

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

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

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

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

Verification and analysis of variable operating systems
by: V. V. Kuliamin, 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)

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

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

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

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

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

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

WikifyMe: Creating Testbed for Wikifiers
by: Sergey Bartunov, et al.
Published: (2018-10-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)

Factors, influencing to the recruitment of international multicenter clinical trials of II–III phases
by: S. S. Milovanov
Published: (2023-03-01)

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

Model Based Testing Framework Using Component Technologies
by: Victor V. Kuliamin.
Published: (2018-10-01)

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

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

Linux kernel configuration build for application systems
by: S. V. Kozin
Published: (2019-02-01)

Building Modular Real-time software from Unified Component Model
by: K. A. Mallachiev, et al.
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)

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

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

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

Численное моделирование BVI-шума двухлопастного ротора вертолёта синусоидальной формы
by: Petro V. Lukianov
Published: (2019-05-01)

Method of selecting between manual and automated testing based on the software product features
by: EkaterinaY. . Galimova, et al.
Published: (2016-12-01)

Comparative analysis of AI-generated and original abstracts of academic articles on philology
by: M. V. Khokhlova, et al.
Published: (2024-12-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)

ALGORITHM OF MIXTURE GENERATION CONTROL SYSTEM FOR PRECISION THERMAL PULSE TREATMENT
by: Сергей Игоревич Планковский, et al.
Published: (2018-11-01)

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

Automated generation of machine instruction decoders
by: N. Yu. Fokina, et al.
Published: (2018-10-01)

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

Usability Quality Model of Documents Circulation software
by: V. V. Bakhtizin, et al.
Published: (2019-06-01)

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

Analysis of the vulnerability of YOLO neural network models to the Fast Sign Gradient Method attack
by: N. V. Teterev, et al.
Published: (2024-12-01)

Conversion Typed Functions into Relational Form
by: P. . Lozov, et al.
Published: (2018-10-01)