Abstract.
One of the strengths of using stream X-machines to specify a system is that, under certain well defined conditions, it is possible to produce a test set that is guaranteed to determine the correctness of an implementation. However, the existing method assumes that the implementation of each processing function is proved to be correct before the actual testing can take place, so it only test the system integration. This paper presents a new method for generating test sets from a deterministic stream X-machine specification that generalises the existing integration testing method. This method no longer requires the implementations of the processing functions to be proved correct prior to the actual testing. Instead, the testing of the processing functions is performed along with the integration testing.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Accepted in revised form 27 February 2004 by D.A. Duce
Rights and permissions
About this article
Cite this article
Ipate, F. Complete deterministic stream X-machine testing. Formal Aspects of Computing 16, 374–386 (2004). https://doi.org/10.1007/s00165-004-0045-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-004-0045-6