additional info and dockerfile

Author: omursahin

README.md

@@ -70,7 +70,7 @@ For simplicity, all schemas are also available as JSON/YML files under the folde
 > **IMPORTANT**: More details (e.g., #LOCs and used databases) on these APIs can be found [in this table](statistics/table_emb.md).
 
 
-### REST: Java/Kotlin (32)
+### REST: Java/Kotlin (33)
 
 * **Bibliothek** (MIT), [jdk_17_gradle/cs/rest/bibliothek](jdk_17_gradle/cs/rest/bibliothek), from [https://github.com/PaperMC/bibliothek](https://github.com/PaperMC/bibliothek)
 
@@ -90,6 +90,8 @@ For simplicity, all schemas are also available as JSON/YML files under the folde
 
 * **Gestao Hospital** (not-known license), [jdk_8_maven/cs/rest-gui/gestaohospital](jdk_8_maven/cs/rest-gui/gestaohospital), from [https://github.com/ValchanOficial/GestaoHospital](https://github.com/ValchanOficial/GestaoHospital)
 
+* **HTTP Patch Spring** (MIT), [jdk_11_maven/cs/rest/http-patch-spring](jdk_11_maven/cs/rest/http-patch-spring), from [https://github.com/cassiomolin/http-patch-spring](https://github.com/cassiomolin/http-patch-spring)
+
 * **Languagetool** (LGPL), [jdk_8_maven/cs/rest/original/languagetool](jdk_8_maven/cs/rest/original/languagetool), from [https://github.com/languagetool-org/languagetool](https://github.com/languagetool-org/languagetool)
 
 * **Market** (MIT), [jdk_11_maven/cs/rest-gui/market](jdk_11_maven/cs/rest-gui/market), from [https://github.com/aleksey-lukyanets/market](https://github.com/aleksey-lukyanets/market)

dockerfiles/http-patch-spring.dockerfile

@@ -0,0 +1,17 @@
+FROM amazoncorretto:11-alpine-jdk
+
+COPY ./dist/http-patch-spring-sut.jar .
+COPY ./dist/jacocoagent.jar .
+
+
+
+#ENV TOOL="undefined"
+#ENV RUN="0"
+
+ENTRYPOINT \
+    java \
+#    unfortunately dumponexit is completely unreliable in Docker :(
+#    -javaagent:jacocoagent.jar=destfile=./jacoco/http-patch-spring__${TOOL}__${RUN}__jacoco.exec,append=false,dumponexit=true \
+    -javaagent:jacocoagent.jar=output=tcpserver,address=*,port=6300,append=false,dumponexit=false \
+     -jar http-patch-spring-sut.jar \
+    --server.port=8080

dockerfiles/http-patch-spring.yaml

@@ -0,0 +1,15 @@
+services:
+  sut-http-patch-spring:
+    build:
+      dockerfile: ./dockerfiles/http-patch-spring.dockerfile
+      context: ..
+#    environment:
+#      TOOL: ${TOOL:-undefined}
+#      RUN: ${RUN:-0}
+    ports:
+      - "${HOST_PORT:-8080}:8080"
+      - "${JACOCO_PORT:-6300}:6300"
+#    volumes:
+      # default env does not work on volumes
+#      - ${JACOCODIR}:/jacoco
+

scripts/dist.py

@@ -241,6 +241,8 @@ def build_jdk_11_maven():
     copy(folder + "/cs/rest/pay-publicapi/target/pay-publicapi-sut.jar", DIST)
     copy(folder + "/em/external/rest/pay-publicapi/target/pay-publicapi-evomaster-runner.jar", DIST)
 
+    copy(folder + "/cs/rest/http-patch-spring/target/http-patch-spring-sut.jar", DIST)
+    copy(folder + "/em/external/rest/http-patch-spring/target/http-patch-spring-evomaster-runner.jar", DIST)
 
     ind1 = os.environ.get('SUT_LOCATION_IND1', '')
     if ind1 == '':

scripts/dockerize/data/sut.csv

@@ -30,4 +30,5 @@ spring-rest-example,TRUE,"","--server.port=8080 --spring.datasource.username=roo
 erc20-rest-service,TRUE,"",--server.port=8080,http://localhost:8080/v2/api-docs,http://localhost:8080,FALSE,,,,,,FALSE,FALSE,
 spring-actuator-demo,TRUE,"",--server.port=8080,http://localhost:8080/v3/api-docs,http://localhost:8080,FALSE,,,,,,FALSE,FALSE,
 webgoat,TRUE,"-Drunning.in.docker=true","--webgoat.port=8080 --webwolf.port=8081 --server.address=""0.0.0.0"" --spring.profiles.active=dev --spring.datasource.driver-class-name=org.h2.Driver --spring.jpa.properties.hibernate.dialect=org.hibernate.dialect.H2Dialect --spring.jpa.properties.jakarta.persistence.schema-generation.scripts.action=none --spring.sql.init.mode=never --spring.datasource.url=""jdbc:h2:file:./test"" --spring.datasource.username=sa --spring.datasource.password",http://localhost:8080/WebGoat/v3/api-docs,http://localhost:8080,TRUE,,,,,,FALSE,FALSE,
-swagger-petstore,TRUE,"","8080",http://localhost:8080//api/v3/openapi.json,http://localhost:8080,TRUE,,,,,,FALSE,FALSE,
+swagger-petstore,TRUE,"","8080",http://localhost:8080/api/v3/openapi.json,http://localhost:8080,TRUE,,,,,,FALSE,FALSE,
+http-patch-spring,TRUE,"",--server.port=8080,http://localhost:8080/v3/api-docs,http://localhost:8080,FALSE,,,,,,FALSE,FALSE,

statistics/data.csv

@@ -15,6 +15,7 @@ TRUE,cwa-verification,REST,Java,JDK 11,Maven,47,3955,H2,Apache,5,FALSE,https://g
 TRUE,erc20-rest-service,REST,Java,JDK 8,Gradle,7,1378,,UNDEFINED,13,FALSE,https://github.com/web3labs/erc20-rest-service
 TRUE,features-service,REST,Java,JDK 8,Maven,39,2275,H2,Apache,18,FALSE,https://github.com/JavierMF/features-service
 TRUE,gestaohospital,REST,Java,JDK 8,Maven,33,3506,MongoDB,UNDEFINED,20,FALSE,https://github.com/ValchanOficial/GestaoHospital
+TRUE,http-patch-spring,REST,Java,JDK 11,Maven,30,1450,,MIT,6,FALSE,https://github.com/cassiomolin/http-patch-spring
 TRUE,languagetool,REST,Java,JDK 8,Maven,1385,174781,,LGPL,2,FALSE,https://github.com/languagetool-org/languagetool
 TRUE,ocvn,REST,Java,JDK 8,Maven,526,45521,H2;MongoDB,MIT,258,TRUE,https://github.com/devgateway/ocvn
 TRUE,ohsome-api,REST,Java,JDK 17,Maven,87,14166,OSHDB,AGPL-3.0,134,FALSE,https://github.com/GIScience/ohsome-api

statistics/table_emb.md

@@ -29,6 +29,7 @@
 |__reservations-api__|REST|1853|39|7|Java|JDK 11|Gradle|MongoDB|✓|
 |__swagger-petstore__|REST|1631|23|19|Java|JDK 8|Maven|||
 |__session-service__|REST|1471|15|8|Java|JDK 8|Maven|MongoDB||
+|__http-patch-spring__|REST|1450|30|6|Java|JDK 11|Maven|||
 |__spring-rest-example__|REST|1426|32|9|Java|JDK 17|Maven|MySQL||
 |__erc20-rest-service__|REST|1378|7|13|Java|JDK 8|Gradle|||
 |__person-controller__|REST|1112|16|12|Java|JDK 21|Maven|MongoDB||