Skip to content

Wfc http oracles #1758

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
arcuri82 merged 3 commits into from
Sep 14, 2026
Merged

Wfc http oracles #1758

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
fac7337
docs for oracles
arcuri82 Sep 14, 2026
0de70f9
removing codes now moved to WFC
arcuri82 Sep 14, 2026
ac59051
wfc 0.8.0
arcuri82 Sep 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 7 additions & 6 deletions ...kotlin/org/evomaster/e2etests/spring/rest/bb/headerassertions/BBHeaderAssertionsEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.rest.bb.headerassertions

import com.foo.rest.examples.bb.headerassertions.BBHeaderAssertionsController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.output.OutputFormat
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
Expand Down Expand Up @@ -60,24 +61,24 @@ class BBHeaderAssertionsEMTest : SpringTestBase() {

assertTrue(faults.none{
it.operationId == "GET:$prefix/ok/401"
&& it.category == ExperimentalFaultCategory.HTTP_STATUS_NO_401_IF_NO_WWW_AUTHENTICATE })
&& it.category == DefinedFaultCategory.HTTP_STATUS_NO_401_IF_NO_WWW_AUTHENTICATE })
assertTrue(faults.any{
it.operationId == "GET:$prefix/fail/401"
&& it.category == ExperimentalFaultCategory.HTTP_STATUS_NO_401_IF_NO_WWW_AUTHENTICATE })
&& it.category == DefinedFaultCategory.HTTP_STATUS_NO_401_IF_NO_WWW_AUTHENTICATE })

assertTrue(faults.none{
it.operationId == "GET:$prefix/ok/405"
&& it.category == ExperimentalFaultCategory.HTTP_STATUS_NO_405_IF_NO_ALLOW })
&& it.category == DefinedFaultCategory.HTTP_STATUS_NO_405_IF_NO_ALLOW })
assertTrue(faults.any{
it.operationId == "GET:$prefix/fail/405"
&& it.category == ExperimentalFaultCategory.HTTP_STATUS_NO_405_IF_NO_ALLOW })
&& it.category == DefinedFaultCategory.HTTP_STATUS_NO_405_IF_NO_ALLOW })

assertTrue(faults.none{
it.operationId == "GET:$prefix/ok/426"
&& it.category == ExperimentalFaultCategory.HTTP_STATUS_NO_426_IF_NO_UPGRADE })
&& it.category == DefinedFaultCategory.HTTP_STATUS_NO_426_IF_NO_UPGRADE })
assertTrue(faults.any{
it.operationId == "GET:$prefix/fail/426"
&& it.category == ExperimentalFaultCategory.HTTP_STATUS_NO_426_IF_NO_UPGRADE })
&& it.category == DefinedFaultCategory.HTTP_STATUS_NO_426_IF_NO_UPGRADE })
}
}
}
2 changes: 1 addition & 1 deletion ...spring-rest-bb/src/test/kotlin/org/evomaster/e2etests/spring/rest/bb/sqli/BBSQLiEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ class BBSQLiEMTest : SpringTestBase() {
val faultCategories = DetectedFaultUtils.getDetectedFaultCategories(solution)

assertTrue(solution.individuals.size >= 1)
assertTrue({ DefinedFaultCategory.SQL_INJECTION in faultCategories })
assertTrue({ DefinedFaultCategory.SECURITY_SQL_INJECTION in faultCategories })
}
}
}
6 changes: 3 additions & 3 deletions ...rest-mysql/src/test/kotlin/org/evomaster/e2etests/spring/rest/sqli/SQLiMySQLBodyEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,15 +40,15 @@ class SQLiMySQLBodyEMTest : SpringTestBase() {

val faultCategories = DetectedFaultUtils.getDetectedFaultCategories(solution)

assertTrue({ DefinedFaultCategory.SQL_INJECTION in faultCategories })
assertTrue({ DefinedFaultCategory.SECURITY_SQL_INJECTION in faultCategories })

assertTrue(faults.any {
it.category == DefinedFaultCategory.SQL_INJECTION
it.category == DefinedFaultCategory.SECURITY_SQL_INJECTION
&& it.operationId == "POST:/api/sqli/body/vulnerable"
})

assertFalse(faults.any {
it.category == DefinedFaultCategory.SQL_INJECTION
it.category == DefinedFaultCategory.SECURITY_SQL_INJECTION
&& it.operationId == "GET:/api/sqli/body/safe"
})

Expand Down
6 changes: 3 additions & 3 deletions ...rest-mysql/src/test/kotlin/org/evomaster/e2etests/spring/rest/sqli/SQLiMySQLPathEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,15 +36,15 @@ class SQLiMySQLPathEMTest : SpringTestBase() {

val faultCategories = DetectedFaultUtils.getDetectedFaultCategories(solution)

assertTrue({ DefinedFaultCategory.SQL_INJECTION in faultCategories })
assertTrue({ DefinedFaultCategory.SECURITY_SQL_INJECTION in faultCategories })

assertTrue(faults.any {
it.category == DefinedFaultCategory.SQL_INJECTION
it.category == DefinedFaultCategory.SECURITY_SQL_INJECTION
&& it.operationId == "GET:/api/sqli/path/vulnerable/{id}"
})

assertFalse(faults.any {
it.category == DefinedFaultCategory.SQL_INJECTION
it.category == DefinedFaultCategory.SECURITY_SQL_INJECTION
&& it.operationId == "GET:/api/sqli/path/safe"
})

Expand Down
6 changes: 3 additions & 3 deletions ...est-mysql/src/test/kotlin/org/evomaster/e2etests/spring/rest/sqli/SQLiMySQLQueryEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,15 +38,15 @@ class SQLiMySQLQueryEMTest : SpringTestBase() {

val faultCategories = DetectedFaultUtils.getDetectedFaultCategories(solution)

assertTrue({ DefinedFaultCategory.SQL_INJECTION in faultCategories })
assertTrue({ DefinedFaultCategory.SECURITY_SQL_INJECTION in faultCategories })

assertTrue(faults.any {
it.category == DefinedFaultCategory.SQL_INJECTION
it.category == DefinedFaultCategory.SECURITY_SQL_INJECTION
&& it.operationId == "GET:/api/sqli/query/vulnerable"
})

assertFalse(faults.any {
it.category == DefinedFaultCategory.SQL_INJECTION
it.category == DefinedFaultCategory.SECURITY_SQL_INJECTION
&& it.operationId == "GET:/api/sqli/query/safe"
})

Expand Down
2 changes: 1 addition & 1 deletion ...tlin/org/evomaster/e2etests/spring/openapi/v3/httporacle/delete/HttpOracleDeleteEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ class HttpOracleDeleteEMTest : SpringTestBase(){


val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_NONWORKING_DELETE in faults })
assertTrue({ DefinedFaultCategory.HTTP_NONWORKING_DELETE in faults })

}
}
Expand Down
3 changes: 2 additions & 1 deletion ...vomaster/e2etests/spring/openapi/v3/httporacle/failmodification/FailModificationEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.failmodification

import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.core.problem.rest.data.HttpVerb
Expand Down Expand Up @@ -39,7 +40,7 @@ class FailModificationEMTest : SpringTestBase(){

val faults = DetectedFaultUtils.getDetectedFaults(solution)

val found = faults.filter { it.category == ExperimentalFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION}
val found = faults.filter { it.category == DefinedFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION}

assertEquals(2, found.size)
}
Expand Down
3 changes: 2 additions & 1 deletion ...e2etests/spring/openapi/v3/httporacle/failmodification/FailModificationForbiddenEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.failmodification

import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationForbiddenController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -38,7 +39,7 @@ class FailModificationForbiddenEMTest : SpringTestBase(){
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaults(solution)
.filter { it.category == ExperimentalFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION}
.filter { it.category == DefinedFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION}

assertEquals(1, faults.size)
}
Expand Down
3 changes: 2 additions & 1 deletion .../e2etests/spring/openapi/v3/httporacle/failmodification/FailModificationNotFoundEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ package org.evomaster.e2etests.spring.openapi.v3.httporacle.failmodification

import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationForbiddenController
import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationNotFoundController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -38,7 +39,7 @@ class FailModificationNotFoundEMTest : SpringTestBase(){
assertTrue(solution.individuals.size >= 1)

val faultsCategories = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue(ExperimentalFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION in faultsCategories)
assertTrue(DefinedFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION in faultsCategories)
}
}
}
3 changes: 2 additions & 1 deletion ...2etests/spring/openapi/v3/httporacle/failmodification/URLEncodedFailModificationEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.failmodification

import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationURLEncodedController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -39,7 +40,7 @@ class URLEncodedFailModificationEMTest : SpringTestBase(){
val faults = DetectedFaultUtils.getDetectedFaults(solution)

assertEquals(1, faults.size)
assertEquals(ExperimentalFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION, faults.first().category)
assertEquals(DefinedFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION, faults.first().category)
}
}
}
3 changes: 2 additions & 1 deletion ...aster/e2etests/spring/openapi/v3/httporacle/failmodification/XMLFailModificationEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ package org.evomaster.e2etests.spring.openapi.v3.httporacle.failmodification

import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationController
import com.foo.rest.examples.spring.openapi.v3.httporacle.failmodification.FailModificationXMLController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.core.problem.rest.data.HttpVerb
Expand Down Expand Up @@ -42,7 +43,7 @@ class XMLFailModificationEMTest : SpringTestBase(){
val faults = DetectedFaultUtils.getDetectedFaults(solution)

assertEquals(2, faults.size)
assertEquals(ExperimentalFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION, faults.first().category)
assertEquals(DefinedFaultCategory.HTTP_SIDE_EFFECTS_FAILED_MODIFICATION, faults.first().category)
}
}
}
5 changes: 3 additions & 2 deletions ...vomaster/e2etests/spring/openapi/v3/httporacle/invalidallow/HttpInvalidAllowAuthEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidallow

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidallow.auth.HttpInvalidAllowAuthController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -39,10 +40,10 @@ class HttpInvalidAllowAuthEMTest : SpringTestBase() {
// OPTIONS is 401 without auth: the fault is only found once the oracle
// retries with an authenticated user and reads the 2xx Allow header.
val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_INVALID_ALLOW in faults })
assertTrue({ DefinedFaultCategory.SCHEMA_INVALID_ALLOW in faults })

val allowFaults = DetectedFaultUtils.getDetectedFaults(solution)
.filter { it.category == ExperimentalFaultCategory.HTTP_INVALID_ALLOW }
.filter { it.category == DefinedFaultCategory.SCHEMA_INVALID_ALLOW }

assertTrue(allowFaults.any { it.operationId.contains("/api/products/") })
assertTrue(allowFaults.none { it.operationId.contains("/api/orders/") })
Expand Down
5 changes: 3 additions & 2 deletions ...rg/evomaster/e2etests/spring/openapi/v3/httporacle/invalidallow/HttpInvalidAllowEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidallow

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidallow.HttpInvalidAllowController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -37,10 +38,10 @@ class HttpInvalidAllowEMTest : SpringTestBase() {
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_INVALID_ALLOW in faults })
assertTrue({ DefinedFaultCategory.SCHEMA_INVALID_ALLOW in faults })

val allowFaults = DetectedFaultUtils.getDetectedFaults(solution)
.filter { it.category == ExperimentalFaultCategory.HTTP_INVALID_ALLOW }
.filter { it.category == DefinedFaultCategory.SCHEMA_INVALID_ALLOW }

assertTrue(allowFaults.any { it.operationId.contains("/api/products/") })
assertTrue(allowFaults.none { it.operationId.contains("/api/orders/") })
Expand Down
5 changes: 3 additions & 2 deletions ...rg/evomaster/e2etests/spring/openapi/v3/httporacle/invalidallow/HttpMissingAllowEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidallow

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidallow.missing.HttpMissingAllowController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -37,10 +38,10 @@ class HttpMissingAllowEMTest : SpringTestBase() {
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue(ExperimentalFaultCategory.HTTP_INVALID_ALLOW in faults)
assertTrue(DefinedFaultCategory.SCHEMA_INVALID_ALLOW in faults)

val allowFaults = DetectedFaultUtils.getDetectedFaults(solution)
.filter { it.category == ExperimentalFaultCategory.HTTP_INVALID_ALLOW }
.filter { it.category == DefinedFaultCategory.SCHEMA_INVALID_ALLOW }

assertTrue(allowFaults.any { it.operationId.contains("/api/products/") })
assertTrue(allowFaults.none { it.operationId.contains("/api/orders/") })
Expand Down
5 changes: 3 additions & 2 deletions ...tests/spring/openapi/v3/httporacle/invalidlocation/HttpInvalidLocationDeleteOnlyEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidlocation

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidlocation.deleteonly.HttpInvalidLocationDeleteOnlyController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -39,10 +40,10 @@ class HttpInvalidLocationDeleteOnlyEMTest : SpringTestBase() {
// The Location points to a resource declared only for DELETE (no GET), so a GET
// would be 405. The oracle must probe with DELETE and flag the 404 it returns.
val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue(ExperimentalFaultCategory.HTTP_INVALID_LOCATION in faults)
assertTrue(DefinedFaultCategory.HTTP_INVALID_LOCATION in faults)

val locationFaults = DetectedFaultUtils.getDetectedFaults(solution)
.filter { it.category == ExperimentalFaultCategory.HTTP_INVALID_LOCATION }
.filter { it.category == DefinedFaultCategory.HTTP_INVALID_LOCATION }
assertTrue(locationFaults.any { it.operationId.contains("/api/products/") })
}
}
Expand Down
3 changes: 2 additions & 1 deletion ...master/e2etests/spring/openapi/v3/httporacle/invalidlocation/HttpInvalidLocationEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidlocation

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidlocation.HttpInvalidLocationController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -38,7 +39,7 @@ class HttpInvalidLocationEMTest : SpringTestBase(){
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_INVALID_LOCATION in faults })
assertTrue({ DefinedFaultCategory.HTTP_INVALID_LOCATION in faults })
}
}
}
3 changes: 2 additions & 1 deletion ...2etests/spring/openapi/v3/httporacle/invalidlocation/HttpInvalidLocationFullPathEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidlocation

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidlocation.fullpath.HttpInvalidLocationFullPathController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -37,7 +38,7 @@ class HttpInvalidLocationFullPathEMTest : SpringTestBase(){
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_INVALID_LOCATION in faults })
assertTrue({ DefinedFaultCategory.HTTP_INVALID_LOCATION in faults })
}
}
}
3 changes: 2 additions & 1 deletion ...ter/e2etests/spring/openapi/v3/httporacle/invalidlocation/HttpInvalidLocationGetEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidlocation

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidlocation.locationget.HttpInvalidLocationGetController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -43,7 +44,7 @@ class HttpInvalidLocationGetEMTest : SpringTestBase(){
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_INVALID_LOCATION in faults })
assertTrue({ DefinedFaultCategory.HTTP_INVALID_LOCATION in faults })
}
}
}
3 changes: 2 additions & 1 deletion ...2etests/spring/openapi/v3/httporacle/invalidlocation/HttpInvalidLocationNotValidEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidlocation

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidlocation.notvalidpath.HttpInvalidLocationNotValidController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.e2etests.spring.openapi.v3.SpringTestBase
Expand Down Expand Up @@ -37,7 +38,7 @@ class HttpInvalidLocationNotValidEMTest : SpringTestBase(){
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaultCategories(solution)
assertTrue({ ExperimentalFaultCategory.HTTP_INVALID_LOCATION in faults })
assertTrue({ DefinedFaultCategory.HTTP_INVALID_LOCATION in faults })
}
}
}
3 changes: 2 additions & 1 deletion ...ts/spring/openapi/v3/httporacle/invalidlocation/HttpInvalidLocationVerbSelectionEMTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.evomaster.e2etests.spring.openapi.v3.httporacle.invalidlocation

import com.foo.rest.examples.spring.openapi.v3.httporacle.invalidlocation.verbselection.HttpInvalidLocationVerbSelectionController
import com.webfuzzing.commons.faults.DefinedFaultCategory
import org.evomaster.core.problem.enterprise.DetectedFaultUtils
import org.evomaster.core.problem.enterprise.ExperimentalFaultCategory
import org.evomaster.core.problem.rest.data.HttpVerb
Expand Down Expand Up @@ -38,7 +39,7 @@ class HttpInvalidLocationVerbSelectionEMTest : SpringTestBase() {
assertTrue(solution.individuals.size >= 1)

val faults = DetectedFaultUtils.getDetectedFaults(solution)
.filter { it.category == ExperimentalFaultCategory.HTTP_INVALID_LOCATION }
.filter { it.category == DefinedFaultCategory.HTTP_INVALID_LOCATION }

// Family A: Location -> declared GET returning 500. A fault here can only come from
// the 500 status, proving 500 is part of the invalid-location status set.
Expand Down
Loading
Loading