Testing input/output partial order automata

被引：0

作者：

Haar, Stefan ^{[1
]}

Jard, Claude ^{[2
]}

Jourdan, Guy-Vincent ^{[3
]}

机构：

[1] INRIA, IRISA, Campus Ker Lann, Rennes, France

[2] IRISA, ENS Cachan Bratagne, F-35107 Bruz, France

[3] Univ Ottawa, SITE, Ottawa, ON K1N 6N5, Canada

来源：

TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS | 2007年 / 4581卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be executed non-atomically, reacting to asynchronous inputs on several ports, and producing asynchronous output on those ports. We develop the formal framework for distributed testing in this architecture and compare with the synchronous I/O automaton setting. The advantage of the compact modelling by IOPOA combines with low complexity : the number of tests required for concurrent input in our model is polynomial in the number of inputs.

引用

页码：171 / +

页数：3

共 50 条

[21] On the Complexity of Input Output Conformance Testing
Noroozi, Neda
Mousavi, Mohammad Reza
Willemse, Tim A. C.
FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 291 - 309
[22] Input/Output automata: Basic, timed, hybrid, probabilistic, dynamic,...
Lynch, N
CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 191 - 192
[23] On Identification of Input/Output Extended Automata with Finite Bisimilar Quotients
Zhou, Changyan
Kumar, Ratnesh
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 5653 - +
[24] Towards automata for branching time and partial order
Lect Notes Comput Sci, (611):
[25] Requirements Modelling by Synthesis of Deontic Input-Output Automata
Letier, Emmanuel
Heaven, William
PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 592 - 601
[26] Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism
D'Argenio, Pedro R.
Monti, Raul E.
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2018, 2018, 11187 : 132 - 152
[27] INPUT-OUTPUT SYSTEMS, THEIR TYPES AND APPLICATIONS FOR THE AUTOMATA THEORY
RUZICKA, M
KYBERNETIKA, 1982, 18 (02) : 131 - 144
[28] On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata
Burdonov, I. B.
Evtushenko, N. V.
Kossachev, A. S.
Kushik, N. G.
AUTOMATION AND REMOTE CONTROL, 2023, 84 (06) : 606 - 611
[29] A Framework for Mining Hybrid Automata from Input/Output Traces
Medhat, Ramy
Ramesh, S.
Bonakdarpour, Borzoo
Fischmeister, Sebastian
2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 177 - 186
[30] On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata
I. B. Burdonov
N. V. Evtushenko
A. S. Kossachev
N. G. Kushik
Automation and Remote Control, 2023, 84 : 606 - 611

← 1 2 3 4 5 →