Title :
Augmentation of JFLAP with communication protocols testing capabilities
Author :
Kushelevsky, Shaul ; Stulman, Ariel
Author_Institution :
Dept. of Comput. Sci., Jerusalem Coll. of Technol., Jerusalem, Israel
Abstract :
This presentation describes a JFLAP augmentation to allow for conformance testing algorithms of communication protocols modeled as Mealy machine. This allows students to better understand conformance testing through demonstration, avoiding laborious, error prone calculations of the various algorithms.
Keywords :
conformance testing; finite automata; protocols; JFLAP augmentation; Mealy machine; communication protocol testing capability; conformance testing algorithm; Automata; Computational modeling; Educational institutions; Fault detection; Minimization; Protocols; Testing; JFLAP; conformance testing; testing communication protocols;
Conference_Titel :
Information Society (i-Society), 2014 International Conference on
Conference_Location :
London
DOI :
10.1109/i-Society.2014.7009061
