tests for the 4 new oracles

Author: arcuri82

core-tests/e2e-tests/spring/spring-rest-openapi-v3/src/main/kotlin/com/foo/rest/examples/spring/openapi/v3/statusoracle/StatusOracleRest.kt

@@ -80,4 +80,19 @@ private class StatisticsRest {
         return ResponseEntity.status(403).build()
     }
 
+
+    @PostMapping(path = ["/no-304-if-no-get-or-head"])
+    fun no304IfNoGetOrHead(): ResponseEntity<String>{
+        return ResponseEntity.status(304).build()
+    }
+
+    @GetMapping(path = ["/no-405-if-no-allow"])
+    fun no405IfNoAllow(): ResponseEntity<String>{
+        return ResponseEntity.status(405).build()
+    }
+
+    @GetMapping(path = ["/no-501-if-implemented"])
+    fun no501IfImplemented(): ResponseEntity<String>{
+        return ResponseEntity.status(501).build()
+    }
 }

core-tests/e2e-tests/spring/spring-rest-openapi-v3/src/test/kotlin/org/evomaster/e2etests/spring/openapi/v3/statusoracle/StatusOracleEMTest.kt

@@ -9,6 +9,7 @@ import org.junit.jupiter.api.Assertions
 import org.junit.jupiter.api.Assertions.assertTrue
 import org.junit.jupiter.api.BeforeAll
 import org.junit.jupiter.api.Test
+import javax.ws.rs.POST
 
 class StatusOracleEMTest : SpringTestBase(){
 
@@ -57,11 +58,20 @@ class StatusOracleEMTest : SpringTestBase(){
             //assertHasAtLeastOne(solution, HttpVerb.GET, 204, "/api/statusoracle/no-204-if-content", "Hello")
             //assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_204_IF_CONTENT })
 
+            //304
+            assertHasAtLeastOne(solution, HttpVerb.POST, 304, "/api/statusoracle/no-304-if-no-get-or-head", null)
+            assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_304_IF_NO_GET_OR_HEAD })
+
             //401 and 403
             assertHasAtLeastOne(solution, HttpVerb.GET, 401, "/api/statusoracle/no-401-if-no-auth", null)
             assertHasAtLeastOne(solution, HttpVerb.GET, 403, "/api/statusoracle/no-403-if-no-401", null)
             assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_401_IF_NO_AUTH })
             assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_403_IF_NO_401 })
+            assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_401_IF_NO_WWW_AUTHENTICATE })
+
+            //405
+            assertHasAtLeastOne(solution, HttpVerb.GET, 405, "/api/statusoracle/no-405-if-no-allow", null)
+            assertTrue(faultsCategories.any{ it == ExperimentalFaultCategory.HTTP_STATUS_NO_405_IF_NO_ALLOW})
 
             //406
             assertHasAtLeastOne(solution, HttpVerb.POST, 406, "/api/statusoracle/has-406-if-accept", null)
@@ -72,6 +82,10 @@ class StatusOracleEMTest : SpringTestBase(){
             assertHasAtLeastOne(solution, HttpVerb.POST, 415, "/api/statusoracle/no-415-if-no-payload", null)
             assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_413_IF_NO_PAYLOAD })
             assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_415_IF_NO_PAYLOAD })
+
+            //501
+            assertHasAtLeastOne(solution, HttpVerb.GET, 501, "/api/statusoracle/no-501-if-implemented", null)
+            assertTrue(faultsCategories.any { it == ExperimentalFaultCategory.HTTP_STATUS_NO_501_IF_IMPLEMENTED })
         }
     }
 }

core/src/main/kotlin/org/evomaster/core/problem/rest/oracle/HttpStatusOracle.kt

@@ -24,15 +24,15 @@ import org.evomaster.core.problem.rest.schema.SchemaUtils
  * no-201-if-get
  * no-201-if-patch
  * no-204-if-content
- * no-304-if-no-get-or-head  (TODO)
- * no-401-if-no-www-authenticate (TODO)
- * no-405-if-no-allow (TODO)
+ * no-304-if-no-get-or-head
+ * no-401-if-no-www-authenticate
+ * no-405-if-no-allow
  * no-413-if-no-payload
  * no-415-if-no-payload
  * no-401-if-no-auth (schema)
  * no-403-if-no-401 (schema)
  * has-406-if-accept (schema)
- * no-501-if-implemented (TODO)
+ * no-501-if-implemented
  *
  *
  * IMPORTANT: in contrast to what done in [HttpSemanticsOracle], here there is no need to construct any test case