Model Based Testing of Concurrent Systems Based on Reachability Graph Reduction

被引：0

作者：

Cheremisinov, D. ^{[1
]}

Cheremisinova, L. ^{[1
]}

机构：

[1] Natl Acad Sci Belarus, United Inst Informat Problems, Minsk 220012, BELARUS

来源：

PATTERN RECOGNITION AND IMAGE ANALYSIS | 2020年 / 30卷 / 01期

关键词：

conformance testing; concurrent system; reachability graph; TEST-GENERATION;

D O I：

10.1134/S1054661820010046

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：7 / 15

页数：9

共 19 条

[1]

[Anonymous], 1994, 96461 ISO IEC

[2]

[Anonymous], 1981, Petri net theory and the modeling of systems

[3] Hierarchical reachability graph generation for Petri nets [J].

Buchholz, P ;

Kemper, P .

FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (03) :281-315

[4] Model-based testing for concurrent systems with labelled event structures [J].

de Leon, Hernan Ponce ;

Haar, Stefan ;

Longuet, Delphine .

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (07) :558-590

[5] EMBEDDED SOFTWARE: FACTS, FIGURES, AND FUTURE [J].

Ebert, Christof ;

Jones, Capers .

COMPUTER, 2009, 42 (04) :42-+

[6] Towards automated test sequence generation [J].

Farooq, U. ;

Lam, C. P. ;

Li, H. .

ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, :441-450

[7]

Hack M., 1972, THESIS MIT CAMBRIDGE

[8]

Kanso B., 2014, INT J SOFTWARE ENG A, V5, P9

[9]

Karatkevich A, 2007, LECT NOTES CONTR INF, V356, P1

[10] Principles and methods of testing finite state machines - A survey [J].

Lee, D ;

Yannakakis, M .

PROCEEDINGS OF THE IEEE, 1996, 84 (08) :1090-1123

← 1 2 →