Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Florentin Eugen Ipate, Logica Banica. W-method for Hierarchical and Communicating finite state machines. In 5th IEEE International Conference on Industrial Informatics, Viena, Austria. 2007.

Abstract: The W-method is one of the most general and widely used methods for generating tests from a finite state machine (FSM). The paper shows how the W-method can be used to generate test sequences from a hierarchical FSM
and also from a system of communicating FSMs in which
the communication is one-directional.

Keywords: finite state machine,conformance testing,W-method

Posted by Logica Banica

Back

   
© Ad Astra 2001-2013