Control-flow based testing of Prolog programs

Author

Luo, Gang ; Bochmann, Gregor V. ; Sarikaya, Behcet ; Boyer, Michel

Author_Institution

Dept. d´´IRO, Montreal Univ., Que., Canada

fYear

1992

fDate

7-10 Oct 1992

Firstpage

104

Lastpage

113

Abstract

Presents test selection criteria for Prolog programs which are based on control flow. The control flow in Prolog programs is not obvious because of the declarative nature of Prolog. The authors present two types of control flow graphs to represent the hidden control flow of Prolog programs explicitly. A fault model is developed for Prolog programs for guidance on test selection. Test selection criteria are given in terms of the coverage on these control flow graphs. Under the given fault model, the effectiveness of these criteria is analyzed in terms of fault detection capability of the test cases produced with these criteria

Keywords

PROLOG; graph theory; logic programming; program testing; Prolog programs; control flow based testing; control flow graphs; coverage; declarative language; fault detection capability; fault model; test selection; Algorithms; Automatic testing; Computer languages; Fault detection; Flow graphs; Logic programming; Logic testing; Software measurement; Software quality; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reliability Engineering, 1992. Proceedings., Third International Symposium on

Conference_Location

Research Triangle Park, NC

Print_ISBN

0-8186-2975-4

Type

conf

DOI

10.1109/ISSRE.1992.285853

Filename

285853