article · 1985

Test case generation using Prolog

Herbert Pesch, Peter Schnupp, Hans Schaller, Anton Paul Spirk

Cited by 15Abstract and details only

Abstract

For the validation of the kernel system calls of a family of UNIX 1) systems a knowledge based test environment was conceived. A prototype version is currently implemented in Prolog. The knowledge base consists essentially of three parts: test case specifications of the various system calls,a test suite generator with predicates including information about UNIX system properties and sound test practices, anda test protocol archive including utilities to extract and prepare reports about the test results.All information in the knowledge base is stored as Horn clauses, i.e. facts and rules immediately to be consulted and executed by a Prolog interpreter.

Cite this paper

APA 7

Pesch, H., Schnupp, P., Schaller, H., & Spirk, A. P. (1985). Test case generation using Prolog. https://doi.org/10.5555/319568.319647

MLA 9

Pesch, Herbert, et al. “Test case generation using Prolog.” 1985, pp. 252–58, https://doi.org/10.5555/319568.319647.

Chicago

Pesch, Herbert, Peter Schnupp, Hans Schaller, and Anton Paul Spirk. 1985. “Test case generation using Prolog.” https://doi.org/10.5555/319568.319647.

Harvard

Pesch, H. et al. (1985) ‘Test case generation using Prolog’. Available at: https://doi.org/10.5555/319568.319647.

BibTeX

@article{pesch1985test,
  title = {{Test case generation using Prolog}},
  author = {Pesch, Herbert and Schnupp, Peter and Schaller, Hans and Spirk, Anton Paul},
  pages = {252--258},
  year = {1985},
  doi = {10.5555/319568.319647}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.