Skip to main content
main-content
Top

Hint

Swipe to navigate through the articles of this issue

01-01-2020 | SPECIAL ISSUE | Issue 1/2020

Pattern Recognition and Image Analysis 1/2020

Model Based Testing of Concurrent Systems Based on Reachability Graph Reduction

Journal:
Pattern Recognition and Image Analysis > Issue 1/2020
Authors:
D. Cheremisinov, L. Cheremisinova
Important notes
https://static-content.springer.com/image/art%3A10.1134%2FS1054661820010046/MediaObjects/11493_2020_6046_Fig6_HTML.gif
Dmitry Ivanovich Cheremisinov. Born 1947. Graduated from the Tomsk State University in radiophysics and radioelectronics in 1970. Received candidate’s degree in 1985. Currently is leading researcher at the United Institute of Informatics Problems of National Academy of Sciences of Belarus and Associate Professor at the Byelorussian State University of Informatics and Radioelectronics. Scientific interests: logic design and testing of discrete control systems, programming technologies, concurrent systems. Author of more than 200 publications including 3 monographs.
https://static-content.springer.com/image/art%3A10.1134%2FS1054661820010046/MediaObjects/11493_2020_6046_Fig7_HTML.gif
Liudmila Dmitrievna Cheremisinova. Born 1947. Graduated from the Tomsk State University in radiophysics and radioelectronics in 1971. Received candidate’s degree in Engineering Cybernetics and Information Theory in 1980 and Doctor of Sciences degree in System Analysis, Control and Information Processing in 2001. Currently is principal researcher at the United Institute of Informatics Problems of National Academy of Sciences of Belarus and Professor at the Byelorussian State University of Informatics and Radioelectronics. Scientific interests: discrete mathematics, logic design and testing of discrete control systems, concurrent systems. Author of more than 330 publications including 10 monographs.

Abstract

The problem of model based testing reactive control systems with concurrent behavior is discussed. A model of the desired behavior of the system implementation is in the form of parallel automaton that describes concurrent control algorithms and rooted in the Petri net formalism. The considered test case generation approach is based on constructing a reduced parallel automaton reachability graph. To avoid the state explosion problem the technique of partial order reduction is suggested.

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 69.000 Bücher
  • über 500 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 58.000 Bücher
  • über 300 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 50.000 Bücher
  • über 380 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Maschinenbau + Werkstoffe




Testen Sie jetzt 30 Tage kostenlos.

Literature
About this article

Other articles of this Issue 1/2020

Pattern Recognition and Image Analysis 1/2020 Go to the issue

MATHEMATICAL THEORY OF IMAGES AND SIGNALS REPRESENTING, PROCESSING, ANALYSIS, RECOGNITION, AND UNDERSTANDING

Variance Based External Dictionary for Improved Single Image Super-Resolution

MATHEMATICAL THEORY OF IMAGES AND SIGNALS REPRESENTING, PROCESSING, ANALYSIS, RECOGNITION, AND UNDERSTANDING

Invariant Gaussian–Hermite Moments Based Neural Networks for 3D Object Classification

MATHEMATICAL THEORY OF IMAGES AND SIGNALS REPRESENTING, PROCESSING, ANALYSIS, RECOGNITION, AND UNDERSTANDING

Jointly Image Annotation and Classification Based on Supervised Multi-Modal Hierarchical Semantic Model

Premium Partner

    Image Credits