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 条

[41] A Separation Principle for a Class of Hybrid Automata on a Partial Order
Del Vecchio, Domitilla
Malisoff, Michael
Verma, Rajeev
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 3638 - +
[42] Improving Search Order for Reachability Testing in Timed Automata
Herbreteau, Frederic
Thanh-Tung Tran
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 124 - 139
[43] Determining the model order of nonlinear input/output systems
Rhodes, C
Morari, M
AICHE JOURNAL, 1998, 44 (01) : 151 - 163
[44] TYPED TIMED INPUT OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION
PETERS, JF
CYBERNETICS AND SYSTEMS, 1993, 24 (02) : 115 - 137
[45] Weighted Automata Over Valuation Monoids with Input and Multi-output Characteristics
Jin, Jian-Hua
Li, Dong-Xue
Li, Chun-Quan
QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 193 - 201
[46] Input and Output Coupling in Higher Order Mode Fibers
Demas, Jeff
Rishoj, Lars
Ramachandran, Siddharth
2015 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), 2015,
[47] Distributed testing of multi input/output transition system
Li, ZJ
Yin, X
Wu, JP
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 271 - 280
[48] Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Luthmann, Lars
Mennicke, Stephan
Lochau, Malte
FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2016), 2017, 10231 : 54 - 72
[49] Input and Output Coverage Needed in File System Testing
Liu, Yifei
Ahuja, Gautam
Kuenning, Geoff
Smolka, Scott A.
Zadok, Erez
PROCEEDINGS OF THE 2023 15TH ACM WORKSHOP ON HOT TOPICS IN STORAGE AND FILE SYSTEMS, HOTSTORAGE 2023, 2023, : 93 - 101
[50] Safety verification of model helicopter controller using hybrid input/output automata
Mitra, S
Wang, Y
Lynch, N
Feron, E
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2003, 2623 : 343 - 358

← 1 2 3 4 5 →