Automatic modules caller tester

Author(s): David Trallero Mena.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.0#6 (2004/2/24, 17:12:13 CET)

This module is intended to agilizy the work of calling several modules as prove cases of some program. Usually when you are developing a program you have several auto-test program cases that you would like to execute whenever you do some modification in your program/system. The predicate mod_tester/2 was created with the propouse of execute this test an report to you which of them were correctly executed and which one were not.

• Usage and interface (modtester)
• Documentation on exports (modtester)

Usage and interface (modtester)

Documentation on exports (modtester)

PREDICATE: tester_func/1:

No further documentation available for this predicate.

PREDICATE: modules_tester/2:

Usage 1: modules_tester(BaseName, ModulesList)

• Description: modules_tester accepts an atom as basename of the two generated files. For each module in ModulesList an output and report is saved in 'basename_test_output.log' and 'basename_test_summary.log' respectevely
• The following properties should hold at call time: BaseName is currently instantiated to an atom. (term_typing:atom/1) ModulesList is a list. (basic_props:list/1)

Usage 2: modules_tester(BaseName, PredList)

• Description: pred_tester accepts an atom as basename of the two generated files. For each element with the pattern (FindPatter, precidate, [results]), module in PredList an output and report is saved in 'basename_test_output.log' and 'basename_test_summary.log' respectevely. For example, you can call this predicate as: pred_tester( test , [(X,mypred(X),[1,2,3]),( (X,Y),mypred2( X, aa , Y ), [(1,2),(2,3)])] ).
• The following properties should hold at call time: BaseName is currently instantiated to an atom. (term_typing:atom/1) PredList is a list. (basic_props:list/1)

PREDICATE: pred_tester/2:

No further documentation available for this predicate.

Go to the first, previous, next, last section, table of contents.