Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
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