コード例 #1
0
  private void updateBehavioralAnnotation(BehavioralAnnotation behavioralAnnotation) {
    if (behavioralAnnotation.getSymbolicExecution()) {
      this.symbolicExecutionLabel.setText("Yes");
      if (behavioralAnnotation.interpretSymbolicTracePaths()
          == BehavioralAnnotation.TRUE_POSITIVE) {
        this.symbolicExecutionInterpretationLabel.setText("True Positive");
        this.symbolicExecutionInterpretationImage.setImage(
            BehavioralInferenceImages.getImage(BehavioralInferenceImages.IMG_ACCEPTED));
      } else {
        this.symbolicExecutionInterpretationLabel.setText("False Positive");
        this.symbolicExecutionInterpretationImage.setImage(
            BehavioralInferenceImages.getImage(BehavioralInferenceImages.IMG_REJECTED));
      }
    } else {
      this.symbolicExecutionLabel.setText("No");
      this.symbolicExecutionInterpretationLabel.setText("-");
      this.symbolicExecutionInterpretationImage.setImage(
          BehavioralInferenceImages.getImage(BehavioralInferenceImages.IMG_REJECTED));
    }

    this.tracesLabel.setText(Integer.toString(behavioralAnnotation.sizeOfTraces()));
    this.notAcceptedLabel.setText(Integer.toString(behavioralAnnotation.getNotAcceptedTraces()));
    this.acceptedLabel.setText(Integer.toString(behavioralAnnotation.getAcceptedTraces()));
    this.rejectedLabel.setText(Integer.toString(behavioralAnnotation.getRejectedTraces()));
    this.passedAcceptingStateTracesLabel.setText(
        Integer.toString(behavioralAnnotation.getPassedAcceptingStateTraces()));
    this.avgLengthLabel.setText(Float.toString(behavioralAnnotation.getAvgLengthAcceptedTraces()));

    updateTracesCombo(behavioralAnnotation);
  }
コード例 #2
0
  private void updateTracesCombo(BehavioralAnnotation behavioralAnnotation) {
    this.traces.clear();

    Iterator<Trace> traceIter = behavioralAnnotation.iteratorOfTraces();
    while (traceIter.hasNext()) {
      Trace trace = traceIter.next();
      this.traces.put("Method call sequence " + trace.getId(), trace);
    }

    List<String> list = new ArrayList<String>(this.traces.keySet());
    Collections.sort(list);
    this.tracesCombo.setItems(
        list.toArray((String[]) Array.newInstance(String.class, list.size())));
    if (list.size() > 0) {
      this.tracesCombo.select(0);
      updateTrace(this.traces.get(list.get(0)));
    }
  }