source: trunk/autoquest-ui-core-alignment/src/main/resources/manuals/calcCoverage @ 1716

Last change on this file since 1716 was 726, checked in by sherbold, 12 years ago
  • added manuals for the commands calcCoverage, calcEntropy, deleteObject, flattenModel, generateFixedLengthSequences, generateGreedy, generateHybrid, generateReplayfile, listSymbols, load, loadObject, modelSize, printDot, printTrieDot, save, saveObject, sequenceStatistics, showMarkovModel, showTime, showTrie, startFileListener, stopFileListener, trainDFA, trainPPM, and updateModel
File size: 2.0 KB
Line 
1Calculates various event coverage values for a test suite and prints them as a tables of the following form to the console. The coverage values are calculate in relation to both a collection of sequences and a usage profile.
2
3The coverages for a given depth d are:
4 * numObs: number of d-tuples that are observed in the related sequences
5 * numCov: number of covered d-tuples by the test suite
6 * numNew: number of d-tuples that are part of the test suite but not observed in the related sequences
7 * numPos: number of possible d-tuples
8 * all: coverage in relation to a all d-tuples, regardless whether they are possible according to the usage profile or not
9 * pos: coverage in relation to the d-tuples possible according to the usage profile
10 * poswei: coverage in relation to the d-tuples possible according to the usage profile, weighted by the probability of the d-tuples ("usage-based coverage")
11 * obs: coverage in relation to the d-tuples that are observed in the related sequences
12 * obswei: coverage in relation to the d-tuples that are observed in the related sequences, weighted by the probability according to the usage profile
13 * new: coverage in relation to the number of possible new sequences, i.e., sequences that are possible according to the usage profile or not but not part of the related sequences
14 * newpos: coverage in relation to the number of possible new sequences, i.e., sequences that are possible according to the usage profile but not part of the related sequences
15 * newposwei: same as above, but weighted by the probability according to the usage profile
16
17$USAGE$
18<modelName> name of the usage profile in relation to which the coverages will be calculated
19<observedSequences> name of the related sequences
20[<sequenceNames>] array of sequences for which the coverage will be calculated
21<minCovLength> minimal coverage depth to be used
22<maxCovLength> maximal coverage depth to be used
23
24Example(s):
25calcCoverage markovModel trainingSequences [generatedSequences] 2 2
26calcCoverage markovModel trainingSequences [generatedSequences1 generatedSequences2] 2 4
Note: See TracBrowser for help on using the repository browser.