kbstatistics is a Java jar tool that calculates statistics of given knowledge bases.

The tool analysis and prints out the following statistics of given knowledge bases:

1. General statistics (for all types of knowledge base)

• The knowledge base name
• The knowledge base source
• Number of variables
• Number of constraints
• Number of Choco variables
• Number of Choco constraints
• The consistency of the knowledge base

2. Statistics for feature model

• The CTC ratio
• The number of features
• The number of leaf features
• The number of relationships
• The number of cross-tree constraints
• The number of MANDATORY relationships
• The number of OPTIONAL relationships
• The number of ALTERNATIVE relationships
• The number of OR relationships
• The number of REQUIRES constraints
• The number of EXCLUDES constraints

• Feature models from SPLOT, FeatureIDE, Glencoe, and other tools. You can find some feature model examples in here.
• PC, Renault, and Camera from CLib.

Download: Latest (v1.3.1)

Requirements: Latest Java

Syntax:

java -jar kbstatistics.jar [-h] [-kb <PC>|<Renault>|<Camera>] [-fm <feature_model_name>] [-fm-dir <path_to_folder>] [-out <path_to_file>]

If the parameter -out isn't specified, the statistics results will be saved in the file statistics.txt.

Examples:

• Print out the help

java -jar kbstatistics.jar -h

• Saving the statistics of the PC knowledge base on the default file (statistics.txt)

java -jar kbstatistics.jar -kb PC

• Saving the statistics of the PC knowledge base on pc_results.txt

java -jar kbstatistics.jar -kb PC -out ./pc_results.txt

• Saving the statistics of the PC and Renault knowledge bases on the default file (statistics.txt)

java -jar kbstatistics.jar -kb PC Renault

• Saving the statistics of the smartwatch feature model on the default file (statistics.txt)

java -jar kbstatistics.jar -fm smartwatch.sxfm

• Saving the statistics of feature models in the folder fms on the default file (statistics.txt)

java -jar kbstatistics.jar -fm-dir ./fms

• Saving the statistics of PC, Renault, and feature models in the folder fms on the default file (statistics.txt)

java -jar kbstatistics.jar -fm-dir ./fms -kb PC Renault