nach oben

Pattern Recognition and Image Analysis

Erschienen in:

01.01.2020 | SPECIAL ISSUE

Model Based Testing of Concurrent Systems Based on Reachability Graph Reduction

verfasst von: D. Cheremisinov, L. Cheremisinova

Erschienen in: Pattern Recognition and Image Analysis | Ausgabe 1/2020

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Vorheriger Artikel Diagnostics of the Structure of Fractal Copper Clusters in a Polytetrafluoroethylene Matrix

Nächster Artikel Local Feature Descriptor Indexing for Image Matching and Object Detection in Real-Time Applications

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

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

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

Jetzt informieren

The Economic Impacts of Inadequate Infrastructure for Software Testing, Final Report RTI Project Number 7007.011. Prepared by RTI, Health, Social, and Economics Research (Research Triangle Institute, Research Triangle Park, NC) for G. Tassey (National Institute of Standards and Technology, Gaithersburg, MD), May 2002. https://www.nist.gov/sites/default/files/documents/director/planning/report02-3.pdf

C. Ebert and C. Jones, “Embedded software: facts, figures, and future,” Comput. 42 (4), 42–52 (2009).CrossRef

ISO/IEC 9646-1: Information Technology—Open Systems Interconnection—Conformance Testing Methodology and Framework—Part 1: General Concepts (International Organization for Standardization / International Electrotechnical Commission, 1994). https://www.iso.org/standard/17473.html

J. Tretmans, “Model based testing with labelled transition systems,” in Formal Methods and Testing, Ed. by R. M. Hierons, J. P. Bowen, and M. Harman, Lecture Notes in Computer Science (Springer, Berlin, Heidelberg, 2008), Vol. 4949, pp. 1–38.MATH

D. Lee and M. Yannakakis, “Principles and methods of testing finite state machine—A survey,” Proc. IEEE 84 (8), 1090–1123 (1996).CrossRef

B. Kanso and O. Chebaro, “Compositional testing for FSM-based models,” Int. J. Software Eng. Appl. (IJSEA) 5 (3), 9–23 (2014).

H. Ponce de León, S. Haar, and D. Longuet, “Model-based testing for concurrent systems with labelled event structures,” Software Test. Verif. Reliab. 24 (7), 558–590 (2014).CrossRef

J. Tretmans, “Test generation with inputs, outputs and repetitive quiescence,” Software Concepts Tools 17 (3), 103–120 (1996).MATH

J. L. Peterson, Petri Net Theory and the Modeling of Systems (Prentice-Hall, Englewood Cliffs, NJ, 1981).MATH

10.

A. Karatkevich, Dynamic Analysis of Petri Net-based Discrete Systems, Lecture Notes in Control and Information Sciences (Springer, Berlin, Heidelberg, 2007), Vol. 356.

11.

H. Watanabe and T. Kudoh, “Test suite generation methods for concurrent systems based on Coloured Petri Nets,” in Proc. 1995 Asia Pacific Software Engineering Conference (Brisbane, Australia, 1995), IEEE, pp. 242–251.

12.

U. Farooq, C. P. Lam, and H. Li, “Towards automated test sequence generation,” in Proc. 19th Australian Software Engineering Conference (ASWEC 2008) (Perth, Australia, 2008), IEEE, pp. 441–450.

13.

H. Zhu and X. He, “A methodology of testing high-level Petri nets,” Inf. Software Technol. 44 (8), 473–489 (2002).CrossRef

14.

J. Liu, X. Ye, J. Zhou, and X. Song, “I/O Conformance test generation with Colored Petri Nets,” Appl. Math. Inf. Sci. 8 (6), 2695–2704 (2014).CrossRef

15.

M. Chen, X. Qin, H-M. Koo, and P. Mishra, System-Level Validation: High-Level Modeling and Directed Test Generation Techniques (Springer, New York, 2013).CrossRef

16.

A. D. Zakrevskii, Parallel Algorithms of Logical Control (Institute of Engineering Cybernetics, National Academy of Sciences of Belarus, Minsk, 1999) [in Russian].

17.

M. Hack, Analysis of Production Schemata by Petri Nets, Technical Project, Project MAC-94 (Massachusetts Institute of Technology Cambridge, MA, 1972).

18.

P. Buchholz and P. Kemper, “Hierarchical reachability graph generation for Petri nets,” Forschungsbericht Nr. 660 (Fachbereich Informatik, Universität Dortmund, 1997); Formal Methods Syst. Des. 21 (3), 281–315 (2002).CrossRef

19.

A. Lluch-Lafuente, S. Edelkamp, and S. Leue, “Partial order reduction in directed model checking,” in Model Checking Software, Proc. 9th International SPIN Workshop, Grenoble, France, April 2002, Ed. by D. Bošnački and S. Leue, Lecture Notes in Computer Science (Springer, Berlin, Heidelberg, 2002), Vol. 2318, pp. 112–127.

Titel: Model Based Testing of Concurrent Systems Based on Reachability Graph Reduction
verfasst von: D. Cheremisinov
L. Cheremisinova
Publikationsdatum: 01.01.2020
Verlag: Pleiades Publishing
Erschienen in: Pattern Recognition and Image Analysis / Ausgabe 1/2020
Print ISSN: 1054-6618
Elektronische ISSN: 1555-6212
DOI: https://doi.org/10.1134/S1054661820010046

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 1/2020

Reed Sternberg Cell Recognition in Hodgkin’s Lymphoma

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

Application of Different Classification Methods to Determine the Developmental Stage of Fish Erythrocytes of the Common Nase (Chondrostoma nasus) and Vimba Bream (Vimba vimba)

Variance Based External Dictionary for Improved Single Image Super-Resolution

Comparative Analysis of Neural Networking and Regression Models for Time Series Forecasting

Statistical Analysis of Poisson Conditionally Nonlinear Autoregressive Time Series by Frequencies-Based Estimators