Changeset 1494 for trunk/autoquest-core-tasktrees/src/main/java/de/ugoe

Timestamp:

04/11/14 11:22:05 (11 years ago)

Author:

pharms

Message:

• state of the HCSE 2014 Paper. An appropriate tag will follow.

Location:

trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees

Files:

• treeifc/TaskMetric.java (modified) (1 diff)
• treeimpl/TaskModel.java (modified) (4 diffs)

trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/TaskMetric.java

@@ -34 +34 @@
     EVENT_COVERAGE_RATIO("event coverage ratio",
                          "the ratio of events covered by this task in relation to all events " +
-                         "covered by all tasks in their instances in per mille", 0.1, "%");
+                         "covered by all tasks in their instances in per mille", 0.1, "%"),
+    EVENT_COVERAGE_QUANTILE("event coverage ratio quantile",
+                            "the quantile of with respect to all event coverages begining with " +
+                            "the lowest", 0.1, "%");
     
     /**

trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeimpl/TaskModel.java

@@ -15 +15 @@
 package de.ugoe.cs.autoquest.tasktrees.treeimpl;
 
+import java.util.Arrays;
 import java.util.Collection;
 import java.util.Collections;
@@ -66 +67 @@
           TaskMetric.DEPTH,
           TaskMetric.EVENT_COVERAGE,
-          TaskMetric.EVENT_COVERAGE_RATIO };
+          TaskMetric.EVENT_COVERAGE_RATIO,
+          TaskMetric.EVENT_COVERAGE_QUANTILE };
 
     /**
@@ -169 +171 @@
             }
             
+            int[] eventCoverageRatios = new int[tasks.size()];
+            int i = 0;
+
             // add some further measures
             for (ITask task : tasks) {
@@ -175 +180 @@
                 
                 int coveredEvents = info.getMeasureValue(TaskMetric.EVENT_COVERAGE);
+                int coverageRatio = 0;
                 
                 if (allEventsCovered > 0) {
-                    info.setCount(TaskMetric.EVENT_COVERAGE_RATIO, null,
-                                  ((coveredEvents * 1000) / allEventsCovered));
-                }
+                    coverageRatio = (coveredEvents * 1000) / allEventsCovered;
+                }
+                
+                eventCoverageRatios[i++] = coverageRatio;
+                info.setCount(TaskMetric.EVENT_COVERAGE_RATIO, null, coverageRatio);
+            }
+            
+            Arrays.sort(eventCoverageRatios);
+            
+            // add some further measures
+            for (ITask task : tasks) {
+                TaskInfo info = index.taskMap.get(task);
+                info.addMeasure(TaskMetric.EVENT_COVERAGE_QUANTILE);
+                int quantile = Arrays.binarySearch
+                    (eventCoverageRatios, info.getMeasureValue(TaskMetric.EVENT_COVERAGE_RATIO));
+                
+                quantile = 1000 * quantile / eventCoverageRatios.length;
+                
+                info.setCount(TaskMetric.EVENT_COVERAGE_QUANTILE, null, quantile);
             }