Quartz manager drivers

.gitignore

@@ -369,6 +369,10 @@ jdk_8_maven/em/external/rest/spring-batch-rest/target
 /jdk_11_maven/em/embedded/rest/http-patch-spring/target
 /jdk_11_maven/em/external/rest/http-patch-spring/target
 
+/jdk_11_maven/cs/rest-gui/quartz-manager/target
+/jdk_11_maven/em/embedded/rest/quartz-manager/target
+/jdk_11_maven/em/external/rest/quartz-manager/target
+
 /jdk_8_maven/cs/rest/original/spring-ecommerce/target
 /jdk_8_maven/em/embedded/rest/spring-ecommerce/target
-/jdk_8_maven/em/external/rest/spring-ecommerce/target
+/jdk_8_maven/em/external/rest/spring-ecommerce/target

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 (34)
+### REST: Java/Kotlin (35)
 
 * **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)
 
@@ -112,6 +112,8 @@ For simplicity, all schemas are also available as JSON/YML files under the folde
 
 * **ProxyPrint** (Apache), [jdk_8_maven/cs/rest/original/proxyprint](jdk_8_maven/cs/rest/original/proxyprint), from [https://github.com/ProxyPrint/proxyprint-kitchen](https://github.com/ProxyPrint/proxyprint-kitchen)
 
+* **Quartz Manager** (Apache), [jdk_11_maven/cs/rest-gui/quartz-manager](jdk_11_maven/cs/rest-gui/quartz-manager), from [https://github.com/fabioformosa/quartz-manager](https://github.com/fabioformosa/quartz-manager)
+
 * **Reservations API** (not-known license), [jdk_11_gradle/cs/rest/reservations-api](jdk_11_gradle/cs/rest/reservations-api), from [https://github.com/cyrilgavala/reservations-api](https://github.com/cyrilgavala/reservations-api)
 
 * **Restcountries** (MPL), [jdk_8_maven/cs/rest/original/restcountries](jdk_8_maven/cs/rest/original/restcountries), from [https://github.com/apilayer/restcountries](https://github.com/apilayer/restcountries)

auth/quartz-manager-auth.yaml

@@ -0,0 +1,17 @@
+auth:
+  - name: USER_1
+    loginEndpointAuth:
+      payloadRaw: "username=foo&password=bar"
+  - name: USER_2
+    loginEndpointAuth:
+      payloadRaw: "username=foo2&password=bar"
+
+authTemplate:
+  loginEndpointAuth:
+    endpoint: /quartz-manager/auth/login
+    verb: POST
+    contentType: application/x-www-form-urlencoded
+    token:
+      extractFromField: /accessToken
+      httpHeaderName: Authorization
+      headerPrefix: "Bearer "

dockerfiles/quartz-manager.dockerfile

@@ -0,0 +1,17 @@
+FROM amazoncorretto:11-alpine-jdk
+
+COPY ./dist/quartz-manager-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/quartz-manager__${TOOL}__${RUN}__jacoco.exec,append=false,dumponexit=true \
+    -javaagent:jacocoagent.jar=output=tcpserver,address=*,port=6300,append=false,dumponexit=false \
+     -jar quartz-manager-sut.jar \
+    --server.port=8080 --quartz-manager.security.accounts.in-memory.users[0].username=foo --quartz-manager.security.accounts.in-memory.users[0].password=bar --quartz-manager.security.accounts.in-memory.users[0].roles[0]=admin --quartz-manager.security.accounts.in-memory.users[1].username=foo2 --quartz-manager.security.accounts.in-memory.users[1].password=bar --quartz-manager.security.accounts.in-memory.users[1].roles[0]=admin

dockerfiles/quartz-manager.yaml

@@ -0,0 +1,15 @@
+services:
+  sut-quartz-manager:
+    build:
+      dockerfile: ./dockerfiles/quartz-manager.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
+

jdk_11_maven/cs/rest-gui/pom.xml

@@ -14,7 +14,7 @@
 
     <modules>
         <module>market</module>
+        <module>quartz-manager/quartz-manager-parent</module>
     </modules>
 
-
 </project>

jdk_11_maven/cs/rest-gui/quartz-manager/quartz-manager-parent/quartz-manager-web-showcase/pom.xml

@@ -9,8 +9,9 @@
     </parent>
 
 	<artifactId>quartz-manager-web-showcase</artifactId>
-
-    <packaging>war</packaging>
+<!--MODIFIED-->
+<!--  <packaging>war</packaging>-->
+  <packaging>jar</packaging>
 
 	<name>Quartz Manager Web Showcase</name>
 	<description>A webapp that imports Quartz Manager API lib and the frontend webjar</description>
@@ -147,6 +148,27 @@
 			    </plugin>
 			</plugins>
 		</pluginManagement>
+    <!--MODIFIED-->
+    <plugins>
+      <plugin>
+        <groupId>org.springframework.boot</groupId>
+        <artifactId>spring-boot-maven-plugin</artifactId>
+        <version>2.5.6</version>
+        <configuration>
+          <mainClass>it.fabioformosa.QuartzManagerDemoApplication</mainClass>
+          <finalName>quartz-manager</finalName>
+          <classifier>sut</classifier>
+        </configuration>
+        <executions>
+          <execution>
+            <goals>
+              <goal>repackage</goal>
+            </goals>
+          </execution>
+        </executions>
+      </plugin>
+    </plugins>
+    <!--MODIFIED-->
 	</build>
 
 

jdk_11_maven/em/embedded/rest/pom.xml

@@ -18,6 +18,7 @@
         <module>pay-publicapi</module>
         <module>tracking-system</module>
         <module>http-patch-spring</module>
+        <module>quartz-manager</module>
     </modules>
 
 </project>

jdk_11_maven/em/embedded/rest/quartz-manager/pom.xml

@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+
+    <artifactId>evomaster-benchmark-jdk11-em-embedded-rest-quartz-manager</artifactId>
+    <packaging>jar</packaging>
+
+    <parent>
+        <groupId>org.evomaster</groupId>
+        <artifactId>evomaster-benchmark-jdk11-em-embedded-rest</artifactId>
+        <version>3.4.1-SNAPSHOT</version>
+    </parent>
+
+    <dependencies>
+        <dependency>
+            <groupId>it.fabioformosa.quartz-manager</groupId>
+            <artifactId>quartz-manager-web-showcase</artifactId>
+            <version>4.0.9</version>
+        </dependency>
+        <dependency>
+            <groupId>org.springdoc</groupId>
+            <artifactId>springdoc-openapi-ui</artifactId>
+            <version>1.5.12</version>
+            <optional>true</optional>
+        </dependency>
+    </dependencies>
+
+
+</project>

jdk_11_maven/em/embedded/rest/quartz-manager/src/main/java/em/embedded/quartz/manager/EmbeddedEvoMasterController.java

@@ -0,0 +1,131 @@
+package em.embedded.quartz.manager;
+
+
+import it.fabioformosa.QuartzManagerDemoApplication;
+import org.evomaster.client.java.controller.AuthUtils;
+import org.evomaster.client.java.controller.EmbeddedSutController;
+import org.evomaster.client.java.controller.InstrumentedSutStarter;
+import org.evomaster.client.java.controller.api.dto.SutInfoDto;
+import org.evomaster.client.java.controller.api.dto.auth.AuthenticationDto;
+import org.evomaster.client.java.controller.problem.ProblemInfo;
+import org.evomaster.client.java.controller.problem.RestProblem;
+import org.evomaster.client.java.sql.DbSpecification;
+import org.springframework.boot.SpringApplication;
+import org.springframework.context.ConfigurableApplicationContext;
+
+import java.util.Arrays;
+import java.util.List;
+import java.util.Map;
+
+/**
+ * Class used to start/stop the SUT. This will be controller by the EvoMaster process
+ */
+public class EmbeddedEvoMasterController extends EmbeddedSutController {
+
+    public static void main(String[] args) {
+
+        int port = 40100;
+        if (args.length > 0) {
+            port = Integer.parseInt(args[0]);
+        }
+
+        EmbeddedEvoMasterController controller = new EmbeddedEvoMasterController(port);
+        InstrumentedSutStarter starter = new InstrumentedSutStarter(controller);
+
+        starter.start();
+    }
+
+
+    private ConfigurableApplicationContext ctx;
+
+
+    public EmbeddedEvoMasterController() {
+        this(40100);
+    }
+
+    public EmbeddedEvoMasterController(int port) {
+        setControllerPort(port);
+    }
+
+    @Override
+    public String startSut() {
+
+        ctx = SpringApplication.run(QuartzManagerDemoApplication.class, new String[]{
+                "--server.port=0",
+                "--quartz-manager.security.accounts.in-memory.users[0].username=foo",
+                "--quartz-manager.security.accounts.in-memory.users[0].password=bar",
+                "--quartz-manager.security.accounts.in-memory.users[0].roles[0]=admin",
+                "--quartz-manager.security.accounts.in-memory.users[1].username=foo2",
+                "--quartz-manager.security.accounts.in-memory.users[1].password=bar",
+                "--quartz-manager.security.accounts.in-memory.users[1].roles[0]=admin",
+        });
+
+        return "http://localhost:" + getSutPort();
+    }
+
+    protected int getSutPort() {
+        return (Integer) ((Map) ctx.getEnvironment()
+                .getPropertySources().get("server.ports").getSource())
+                .get("local.server.port");
+    }
+
+
+    @Override
+    public boolean isSutRunning() {
+        return ctx != null && ctx.isRunning();
+    }
+
+    @Override
+    public void stopSut() {
+        ctx.stop();
+    }
+
+    @Override
+    public String getPackagePrefixesToCover() {
+        return "it.fabioformosa.";
+    }
+
+    @Override
+    public void resetStateOfSUT() {
+    }
+
+    @Override
+    public ProblemInfo getProblemInfo() {
+
+        return new RestProblem(
+                "http://localhost:" + getSutPort() + "/v3/api-docs",
+                null,
+                null
+        );
+    }
+
+    @Override
+    public SutInfoDto.OutputFormat getPreferredOutputFormat() {
+        return SutInfoDto.OutputFormat.JAVA_JUNIT_5;
+    }
+
+    @Override
+    public List<AuthenticationDto> getInfoForAuthentication() {
+        return Arrays.asList(
+            AuthUtils.getForJsonToken(
+                    "USER_1",
+                    "/quartz-manager/auth/login",
+                    "username=foo&password=bar",
+                    "/accessToken",
+                    "Bearer ",
+                    "application/x-www-form-urlencoded"),
+                AuthUtils.getForJsonToken(
+                        "USER_2",
+                        "/quartz-manager/auth/login",
+                        "username=foo2&password=bar",
+                        "/accessToken",
+                        "Bearer ",
+                        "application/x-www-form-urlencoded")
+        );
+    }
+
+    @Override
+    public List<DbSpecification> getDbSpecifications() {
+        return null;
+    }
+}

jdk_11_maven/em/external/rest/pom.xml

@@ -19,6 +19,7 @@
         <module>pay-publicapi</module>
         <module>tracking-system</module>
         <module>http-patch-spring</module>
+        <module>quartz-manager</module>
     </modules>
 
 </project>

jdk_11_maven/em/external/rest/quartz-manager/pom.xml

@@ -0,0 +1,61 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+
+    <artifactId>evomaster-benchmark-jdk11-em-external-rest-quartz-manager</artifactId>
+    <packaging>jar</packaging>
+
+    <parent>
+        <groupId>org.evomaster</groupId>
+        <artifactId>evomaster-benchmark-jdk11-em-external-rest</artifactId>
+        <version>3.4.1-SNAPSHOT</version>
+    </parent>
+
+    <dependencies>
+        <dependency>
+            <groupId>org.springdoc</groupId>
+            <artifactId>springdoc-openapi-ui</artifactId>
+            <version>1.5.12</version>
+            <optional>true</optional>
+        </dependency>
+    </dependencies>
+
+    <build>
+        <plugins>
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-shade-plugin</artifactId>
+                <executions>
+                    <execution>
+                        <phase>package</phase>
+                        <goals>
+                            <goal>shade</goal>
+                        </goals>
+                        <configuration>
+                            <finalName>quartz-manager-evomaster-runner</finalName>
+                            <transformers>
+                                <transformer
+                                        implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
+                                    <manifestEntries>
+                                        <Main-Class>em.external.quartz.manager.ExternalEvoMasterController
+                                        </Main-Class>
+                                        <Premain-Class>org.evomaster.client.java.instrumentation.InstrumentingAgent
+                                        </Premain-Class>
+                                        <Agent-Class>org.evomaster.client.java.instrumentation.InstrumentingAgent
+                                        </Agent-Class>
+                                        <Can-Redefine-Classes>true</Can-Redefine-Classes>
+                                        <Can-Retransform-Classes>true</Can-Retransform-Classes>
+                                    </manifestEntries>
+                                </transformer>
+                            </transformers>
+                        </configuration>
+                    </execution>
+                </executions>
+            </plugin>
+        </plugins>
+    </build>
+
+
+</project>