Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

W-method for Hierarchical and Communicating finite state machines

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în volumul unei conferinţe

Autori: Florentin Eugen Ipate, Logica Bãnicã

Editorial: 5th IEEE International Conference on Industrial Informatics, Viena, Austria, 2007.

Rezumat:

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.

Cuvinte cheie: masina cu stare finita, testare de conformitate, metoda W // finite state machine,conformance testing,W-method