specify if a test case should fail or pass

Author: abainczyk

backend/src/main/java/de/learnlib/alex/testsuites/entities/TestCase.java

@@ -79,13 +79,17 @@ public void setName(String name) {
     /** The map with the variables for the test case. */
     private HashMap<String, String> variables;
 
+    /** If the test case execution should pass. */
+    private boolean shouldPass;
+
     /**
      * Default Constructor.
      */
     public TestCase() {
         super();
         this.symbols = new LinkedList<>();
         this.variables = new HashMap<>();
+        this.shouldPass = true;
     }
 
     /**
@@ -164,13 +168,19 @@ public void addSymbol(Symbol action) {
     }
 
     @Lob
-    @JsonProperty
     public HashMap<String, String> getVariables() {
         return variables;
     }
 
-    @JsonProperty
     public void setVariables(HashMap<String, String> variables) {
         this.variables = variables;
     }
+
+    public boolean isShouldPass() {
+        return shouldPass;
+    }
+
+    public void setShouldPass(boolean shouldPass) {
+        this.shouldPass = shouldPass;
+    }
 }

backend/src/main/java/de/learnlib/alex/testsuites/entities/TestCaseResult.java

@@ -56,6 +56,7 @@ public TestCaseResult(TestCase testCase, List<String> outputs, boolean passed, l
         super(testCase);
         this.outputs = outputs;
         this.passed = passed;
+        this.passed = testCase.isShouldPass() == passed;
         this.time = time;
         this.failureMessage = failureMessage;
     }

frontend/src/main/javascript/src/html/components/views/test-case-view.html

@@ -1,4 +1,4 @@
-<div class="view">
+<div class="view view-test-case">
     <view-header title="Test Management"></view-header>
     <action-bar>
         <button class="btn btn-sm btn-success" ng-click="vm.save()">
@@ -34,11 +34,21 @@
                 <button class="btn btn-sm btn-default" ui-sref="tests({testId: vm.testCase.parent})" style="margin-right: 12px">
                     <i class="fa fa-fw fa-level-up"></i>
                 </button>
-                <h4 style="display: inline; margin: 0;">
+                <h4 class="flex-grow-1" style="margin: 0;">
                     <strong>
                         <i class="fa fa-fw fa-file-o"></i> {{vm.testCase.name}}
                     </strong>
                 </h4>
+                <button class="btn btn-sm btn-default text-left toggle-button-success"
+                        ng-class="{'toggle-button-success': vm.testCase.shouldPass, 'toggle-button-danger': !vm.testCase.shouldPass}"
+                        ng-click="vm.testCase.shouldPass = !vm.testCase.shouldPass">
+                    <span ng-if="vm.testCase.shouldPass">
+                        <i class="fa fa-toggle-on mr-1"></i>Should pass
+                    </span>
+                    <span ng-if="!vm.testCase.shouldPass">
+                        <i class="fa fa-toggle-on fa-flip-horizontal mr-1"></i>Should fail
+                    </span>
+                </button>
             </div>
 
             <hr>

frontend/src/main/javascript/src/js/components/views/testSuiteView.js

@@ -128,7 +128,8 @@ export const testSuiteView = {
                         project: this.project.id,
                         parent: this.testSuite.id,
                         symbols: [],
-                        variables: {}
+                        variables: {},
+                        shouldPass: true
                     };
                     this.TestResource.create(testCase)
                         .then(data => {

frontend/src/main/javascript/src/scss/_font-awesome.scss

@@ -9,6 +9,6 @@ $fa-font-path: "../../fonts" !default;
 // @import "../../node_modules/font-awesome/scss/list";
 // @import "../../node_modules/font-awesome/scss/bordered-pulled";
 @import "../../node_modules/font-awesome/scss/animated";
-// @import "../../node_modules/font-awesome/scss/rotated-flipped";
+ @import "../../node_modules/font-awesome/scss/rotated-flipped";
 // @import "../../node_modules/font-awesome/scss/stacked";
 @import "../../node_modules/font-awesome/scss/icons";

frontend/src/main/javascript/src/scss/style.scss

@@ -132,6 +132,18 @@ body {
       margin-bottom: 36px;
     }
   }
+
+  &.view-test-case {
+    .toggle-button-success {
+      border-color: $brand-success;
+      color: $brand-success;
+    }
+
+    .toggle-button-danger {
+      border-color: $brand-danger;
+      color: $brand-danger;
+    }
+  }
 }
 
 .view-body {