PIT auf Domain und Application beschränken

pdf-umbenenner-adapter-in-gui/pom.xml

@@ -169,11 +169,13 @@
             </goals>
             <configuration>
               <!--
-                GUI adapter mutation thresholds are intentionally low: the JavaFX
+                GUI adapter: PIT is skipped entirely. The JavaFX Application lifecycle
-                Application lifecycle requires a display or headless Monocle runtime
+                cannot be meaningfully mutation-tested without a running display or
-                which is introduced in a later work package. Once Monocle smoke tests
+                Monocle runtime, and the remaining testable surface is too small to
-                are in place, these thresholds will be raised.
+                produce useful mutation scores. Mutation analysis is deferred until
+                GUI coverage matures.
               -->
+              <skip>true</skip>
               <coverageThreshold>0</coverageThreshold>
               <mutationThreshold>0</mutationThreshold>
             </configuration>

pdf-umbenenner-application/pom.xml

@@ -50,6 +50,20 @@
 
 	<build>
 		<plugins>
+			<plugin>
+				<groupId>org.pitest</groupId>
+				<artifactId>pitest-maven</artifactId>
+				<executions>
+					<execution>
+						<id>pitest</id>
+						<configuration>
+							<skip>false</skip>
+							<coverageThreshold>70</coverageThreshold>
+							<mutationThreshold>70</mutationThreshold>
+						</configuration>
+					</execution>
+				</executions>
+			</plugin>
 			<plugin>
 				<groupId>org.jacoco</groupId>
 				<artifactId>jacoco-maven-plugin</artifactId>

pdf-umbenenner-domain/pom.xml

@@ -20,6 +20,20 @@
 
   <build>
     <plugins>
+      <plugin>
+        <groupId>org.pitest</groupId>
+        <artifactId>pitest-maven</artifactId>
+        <executions>
+          <execution>
+            <id>pitest</id>
+            <configuration>
+              <skip>false</skip>
+              <coverageThreshold>70</coverageThreshold>
+              <mutationThreshold>70</mutationThreshold>
+            </configuration>
+          </execution>
+        </executions>
+      </plugin>
       <plugin>
         <groupId>org.jacoco</groupId>
         <artifactId>jacoco-maven-plugin</artifactId>

pom.xml

@@ -248,6 +248,7 @@
 							<goal>mutationCoverage</goal>
 						</goals>
 						<configuration>
+							<skip>true</skip>
 							<coverageThreshold>70</coverageThreshold>
 							<mutationThreshold>70</mutationThreshold>
 						</configuration>