Changeset 294

Timestamp:

12/12/11 13:52:31 (13 years ago)

Author:

sherbold

Message:

• code documentation and formatting

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateGreedy.java (modified) (6 diffs)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateGreedy.java

@@ -21 +21 @@
 /**
  * <p>
- * Command to generate test suite with a greedy strategy to achieve a desired coverage.
+ * Command to generate test suite with a greedy strategy to achieve a desired
+ * coverage.
  * </p>
+ * 
  * @author Steffen Herbold
  * @version 1.0
  */
 public class CMDgenerateGreedy implements Command {
-        
+
+        /**
+         * <p>
+         * Tolerance for double comparisons
+         * </p>
+         */
         final double eps = 0.000000000001;
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.util.console.Command#run(java.util.List)
+         */
         @Override
         public void run(List<Object> parameters) {
@@ -60 +72 @@
                 }
                 model = (IStochasticProcess) dataObject;
-                
+
                 // set up everything
                 List<List<? extends Event<?>>> allSequences = new ArrayList<List<? extends Event<?>>>();
@@ -67 +79 @@
                 }
                 Console.traceln("" + allSequences.size() + " possible");
-                
-                Set<List<? extends Event<?>>> allSubSeqs = SequenceTools.containedSubSequences(allSequences, coverageDepth);
-                Map<List<? extends Event<?>>, Double> weightMap = SequenceTools.generateWeights(model, allSubSeqs);
+
+                Set<List<? extends Event<?>>> allSubSeqs = SequenceTools
+                                .containedSubSequences(allSequences, coverageDepth);
+                Map<List<? extends Event<?>>, Double> weightMap = SequenceTools
+                                .generateWeights(model, allSubSeqs);
                 Set<List<? extends Event<?>>> coveredSubSeqs = new LinkedHashSet<List<? extends Event<?>>>();
-                
-                List<Set<List<? extends Event<?>>>> containedSubSeqs = new ArrayList<Set<List<? extends Event<?>>>>(allSequences.size());
-                for( List<? extends Event<?>> sequence : allSequences ) {
-                        List<List<? extends Event<?>>>  wrapper = new LinkedList<List<? extends Event<?>>>();
+
+                List<Set<List<? extends Event<?>>>> containedSubSeqs = new ArrayList<Set<List<? extends Event<?>>>>(
+                                allSequences.size());
+                for (List<? extends Event<?>> sequence : allSequences) {
+                        List<List<? extends Event<?>>> wrapper = new LinkedList<List<? extends Event<?>>>();
                         wrapper.add(sequence);
-                        Set<List<? extends Event<?>>> currentSubSeqs = SequenceTools.containedSubSequences(wrapper, coverageDepth);
+                        Set<List<? extends Event<?>>> currentSubSeqs = SequenceTools
+                                        .containedSubSequences(wrapper, coverageDepth);
                         containedSubSeqs.add(currentSubSeqs);
                 }
-                
+
                 Double[] sequenceGain = new Double[allSequences.size()];
                 List<List<? extends Event<?>>> testSuite = new LinkedList<List<? extends Event<?>>>();
-                CoverageCalculatorProcess coverageCalculator = new CoverageCalculatorProcess(model, testSuite, coverageDepth);
+                CoverageCalculatorProcess coverageCalculator = new CoverageCalculatorProcess(
+                                model, testSuite, coverageDepth);
                 double currentCoverage = 0.0d;
-                
+
                 // Build test suite
-                while( currentCoverage<desiredCoverage ) {
-                        for( int i=0 ; i<allSequences.size() ; i++ ) {
+                while (currentCoverage < desiredCoverage) {
+                        for (int i = 0; i < allSequences.size(); i++) {
                                 double gain = 0.0d;
-                                for( List<? extends Event<?>> subSeq : containedSubSeqs.get(i) ) {
-                                        if( !coveredSubSeqs.contains(subSeq) ) {
+                                for (List<? extends Event<?>> subSeq : containedSubSeqs.get(i)) {
+                                        if (!coveredSubSeqs.contains(subSeq)) {
                                                 gain += weightMap.get(subSeq);
                                         }
@@ -97 +114 @@
                         }
                         int maxIndex = ArrayTools.findMax(sequenceGain);
-                        if( sequenceGain[maxIndex] <= 0.0+eps ) {
+                        if (sequenceGain[maxIndex] <= 0.0 + eps) {
                                 Console.traceln("No gain anymore! Desired coverage cannot be satisfied!");
                                 break;
@@ -106 +123 @@
                         currentCoverage = coverageCalculator.getCoveragePossibleWeight();
                 }
-                
+
                 if (GlobalDataContainer.getInstance().addData(sequencesName, testSuite)) {
                         CommandHelpers.dataOverwritten(sequencesName);
@@ -114 +131 @@
         }
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.util.console.Command#help()
+         */
         @Override
         public void help() {