Given a program P and a set of alternative programs $P$, we generate a sequence of test cases that are adequate, in the sense that they distinguish the given program from all alternatives The, method is related to fault-based approaches to test case generation, but programs in $P$ need not be simple mutations of P. The technique for generating an adequate test set is based on the inductive learning of programs from finite sets of input-output examples: given a partial test set, we generate inductively a program P’ in $P$ which is consistent with P on those input values; then we look for an input value that distinguishes P from P’, and we repeat the process until no program except P can be induced from the generated examples. We show that the obtained test set is adequate with respect to the alternatives belonging to $P$. The method is made possible by a program induction procedure which has evolved from recent research in manchine learning and inductive logic programming. An implemented version of the test case generation procedure is demonstrated on simple and more complex list-processing programs, and the scalability of the approach is discussed.

Testing by means of inductive program learning

BERGADANO, Francesco;GUNETTI, Daniele
1996-01-01

Abstract

Given a program P and a set of alternative programs $P$, we generate a sequence of test cases that are adequate, in the sense that they distinguish the given program from all alternatives The, method is related to fault-based approaches to test case generation, but programs in $P$ need not be simple mutations of P. The technique for generating an adequate test set is based on the inductive learning of programs from finite sets of input-output examples: given a partial test set, we generate inductively a program P’ in $P$ which is consistent with P on those input values; then we look for an input value that distinguishes P from P’, and we repeat the process until no program except P can be induced from the generated examples. We show that the obtained test set is adequate with respect to the alternatives belonging to $P$. The method is made possible by a program induction procedure which has evolved from recent research in manchine learning and inductive logic programming. An implemented version of the test case generation procedure is demonstrated on simple and more complex list-processing programs, and the scalability of the approach is discussed.
1996
5(2)
119
145
Testing of logic programs
Bergadano F.; Gunetti D.
File in questo prodotto:
File Dimensione Formato  
p119-tosem.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 1.63 MB
Formato Adobe PDF
1.63 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/126733
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? ND
social impact