2/3 Alternating Simulation Between Interface Automata

2005 ◽  
pp. 173-187
Author(s):  
Yanjun Wen ◽  
Ji Wang ◽  
Zhichang Qi
Keyword(s):  
Interface Automata

scholarly journals Interface Automata for Choreographies

2019 ◽  
Vol 304 ◽  
pp. 1-19
Author(s):  
Hao Zeng ◽  
Alexander Kurz ◽  
Emilio Tuosto
Keyword(s):  
Interface Automata

Assume-Guarantee Verification for Interface Automata

2008 ◽  
pp. 116-131 ◽  
Author(s):  
Michael Emmi ◽  
Dimitra Giannakopoulou ◽  
Corina S. Păsăreanu
Keyword(s):  
Interface Automata

Parametrised Modal Interface Automata

2015 ◽  
Vol 14 (4) ◽  
pp. 1-25 ◽  
Author(s):  
Antti Siirtola ◽  
Keijo Heljanko
Keyword(s):  
Interface Automata

scholarly journals ACTL for Modal Interface Automata

2017 ◽  
Vol 693 ◽  
pp. 13-34
Author(s):  
Ferenc Bujtor ◽  
Walter Vogler
Keyword(s):  
Interface Automata

scholarly journals Real-Time Extended Interface Automata for Software Testing Cases Generation

2014 ◽  
Vol 2014 ◽  
pp. 1-12 ◽  
Author(s):  
Shunkun Yang ◽  
Jiaqi Xu ◽  
Tianlong Man ◽  
Bin Liu
Keyword(s):  
Software Testing ◽  
Real Time ◽  
Temporal Information ◽  
Software Components ◽  
Modeling Languages ◽  
Braking System ◽  
Interface Automata ◽  
Complex Interactions ◽  
Testing Field ◽  
Information Description

Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling. This paper presents the real-time extended interface automata (RTEIA) which adds clearer and more detailed temporal information description by the application of time words. We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field. Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper. The feasibility and efficiency of this method have been verified in the testing of one real aircraft braking system.

Sign in / Sign up

Export Citation Format

Share Document