christoph/fail
1
Fork 0
Code Releases Activity

prune-trace: added "sampling with fault expansion"

Browse Source 
The FESamplingPruner implements the fault-expansion variance reduction
technique (FE-VRT) as described in: Smith, D. Todd and Johnson, Barry W. and
Andrianos, Nikos and Profeta, III, Joseph A., "A variance-reduction technique
via fault-expansion for fault-coverage estimation" (1997), 366--374.

Change-Id: I04a0c9bb2622974278bd8c73793e51451119e650
This commit is contained in:
Horst Schirmeier
2014-04-30 14:24:49 +02:00
parent 9a81ab4222
commit 0da8ba0dec
4 changed files with 212 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/prune-trace/main.cc
View File

@ -11,6 +11,7 @@ using std::endl;
#include "Pruner.hpp"
#include "BasicPruner.hpp"
#include "FESamplingPruner.hpp"
int main(int argc, char *argv[]) {
std::string username, hostname, database;
@ -59,6 +60,9 @@ int main(int argc, char *argv[]) {
} else if (imp == "BasicPrunerLeft" || imp == "basic-left") {
LOG << "Using BasicPruner (use left border, instr1)" << endl;
pruner = new BasicPruner(true);
} else if (imp == "FESamplingPruner" || imp == "sampling") {
LOG << "Using FESamplingPruner" << endl;
pruner = new FESamplingPruner;
} else {
LOG << "Unknown pruning method: " << imp << endl;