Skip to main content

An Integrated Refinement and Testing Method for Stream X-machines

  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract.

 Over the last decade, stream X-machines have been used in order to specify a range of systems. One of the strengths of this approach is that, under certain well defined conditions, it is possible to produce a test set that is guaranteed to determine the correctness of the implementation under test. However, if X-machines are to be used in practice as a tool for specification and test generation, there needs to be ways of developing existing specifications into more complex and more detailed versions through a process of refinement. Associated with the refinement of the specification, there needs to be methods of refining the corresponding test sets, that is to construct the test set in parallel with the specification and to distribute the testing into smaller chunks, with major cost and time savings. A few such specification and testing refinements of X-machine have already been investigated. This paper introduces a new type of X-machine refinement, called simple covering, which expands the input-output behaviour of an existing X-machine. Associated with this process, the corresponding refinement of the test set is described and a method of testing X-machines constructed as simple coverings is developed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Author information

Authors and Affiliations

Authors

Additional information

Received: March 29, 2000; revised version: December 2, 2001

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ipate, F., Holcombe, M. An Integrated Refinement and Testing Method for Stream X-machines. AAECC 13, 67–91 (2002). https://doi.org/10.1007/s002000100090

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s002000100090

Keywords