Abstract.
Some conditions relating to the automata involved in the W-testing method are discussed. It is also shown how to use the method for reduced automata instead of minimal automata. New design test conditions (weak output distinguishable, strong test-complete and output delimited type) are considered for the generalised stream X-machines (stream X-machines with basic functions replaced by relations and having as output strings of symbols rather than single symbols). It is proved that testing methods similar to those already developed for ordinary deterministic stream X-machines may be applied for generalised stream X-machines with output delimited types. A particular case of generalised stream X-machine with output delimited type is the X-machine with output delimiter, which produces outputs having a distinct right end character.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received October 2000 / Accepted in revised form January 2001
Rights and permissions
About this article
Cite this article
Bălănescu, T. Generalised Stream X-Machines with Output Delimited Type. Formal Aspects of Computing 12, 473–484 (2000). https://doi.org/10.1007/s001650070006
Issue Date:
DOI: https://doi.org/10.1007/s001650070006