Testing statistics

Author(s): Alvaro Sevilla San Mateo, José Luis Bueno.

Stability: [beta] Most of the functionality is there but it is still missing some testing and/or verification.

This module implements predicates for generating statistical summaries for the testing processes.

Usage and interface

Library usage:
:- use_module(library(unittest/unittest_statistics)).
Exports:
- Predicates:
  get_statistical_summary/2, print_statistical_summary/1, statistical_summary/1.

Documentation on exports

Usage:get_statistical_summary(IdxTestSummaries,Stats)

Narrow the information of the tests and generate the statistical information structure needed to perform the statistical summary. IdxTestSummaries contains a list of terms with the results of tests.

PREDICATEprint_statistical_summary/1

Usage:print_statistical_summary(Stats)

Prints the statistical summary of the test, previously computed and given as input Stats.

PREDICATEstatistical_summary/1

Usage:statistical_summary(IdxTestSummaries)

Makes the statistic summary with the results of the tests. IdxTestSummaries contains a list of terms with the results of the tests.

The following properties should hold at call time:
(basic_props:list/1)IdxTestSummaries is a list.

Documentation on imports

This module has the following direct dependencies:

System library modules:
lists, llists, format.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic.