Coverage Analysis - Revision history

Thomas Linder Puls: remove version 7.2

2017-06-29T13:51:15Z

remove version 7.2

← Older revision		Revision as of 15:51, 29 June 2017
Line 1:		Line 1:
	Visual Prolog ~~7.2~~ provides means for analysing the coverage of a program.		Visual Prolog provides means for analysing the coverage of a program.

	The coverage analysis gives information about which predicates that have been called during execution of the program.		The coverage analysis gives information about which predicates that have been called during execution of the program.

Thomas Linder Puls: Categorized

2008-10-29T19:37:12Z

Categorized

← Older revision		Revision as of 21:37, 29 October 2008
Line 1:		Line 1:
			Visual Prolog 7.2 provides means for analysing the coverage of a program.

	The coverage analysis gives information about which predicates that have been called during execution of the program.		The coverage analysis gives information about which predicates that have been called during execution of the program.
	The coverage analysis program reads the '.deb' files to get information about the set of classes and predicates in the program and the coverage files to get information about which predicates that have been called during execution of the program.		The coverage analysis program reads the '.deb' files to get information about the set of classes and predicates in the program and the coverage files to get information about which predicates that have been called during execution of the program.

	=== Coverage Set ===		=== Coverage Set ===

	A Coverage set is the set of predicates called during a test or other run. It is saved in a coverage file.		A Coverage set is the set of predicates called during a test or other run. It is saved in a coverage file.


	=== What to do? ===		=== What to do? ===
Line 40:		Line 42:
	# The program must be compiled so the .deb files are present.		# The program must be compiled so the .deb files are present.
	# The deb files and the coverage files must be placed in a sub-folder to the project folder.		# The deb files and the coverage files must be placed in a sub-folder to the project folder.

			[[Category:Tools]]

SergeMukhin: /* What to do? */

2008-10-20T11:19:01Z

What to do?

← Older revision		Revision as of 13:19, 20 October 2008
Line 39:		Line 39:
	For this to work		For this to work
	# The program must be compiled so the .deb files are present.		# The program must be compiled so the .deb files are present.
	# The deb files and the coverage files must be placed i a sub-folder to the project folder.		# The deb files and the coverage files must be placed in a sub-folder to the project folder.

Thomas Linder Puls: First

2008-10-20T11:01:42Z

First

New page

The coverage analysis gives information about which predicates that have been called during execution of the program.
The coverage analysis program reads the '.deb' files to get information about the set of classes and predicates in the program and the coverage files to get information about which predicates that have been called during execution of the program.

=== Coverage Set ===
A Coverage set is the set of predicates called during a test or other run. It is saved in a coverage file.

=== What to do? ===

Compile the program with option /profile:min.

Insert the following code in the goal. This will start the profiling and write the resulting coverage file with a name that depends on the time.
If you want to place the coverage file somewhere different from the exe folder you should change the code to reflect that.

<vip>
clauses
run():-
profileCount::start(),
try
TaskWindow = taskWindow::new(),
TaskWindow:show()
finally
profileCount::stop(),
if profileCount::getEntry_nd(_,_,_), ! then
Now = time::new(),
CoverageFileName = Now:format("yyyyMMddhhmmss'.coverage'"),
Stream = outputStream_file::create(CoverageFileName),
profileCount::printToCSV(Stream),
Stream:close()
end if
end try.
</vip>

Run the coverage tool and 'open' the project file. The Coverage Analysis will then
# search for all the .deb files and collect information about all predicate implementations
# search for the .coverage files and collect information about which predicates have been called.
# display a tree with information about coverage.

For this to work
# The program must be compiled so the .deb files are present.
# The deb files and the coverage files must be placed i a sub-folder to the project folder.