About

Concordia's SOEN 345 Lab Project

🔗Link to defect4j.

Team Members

Name	Student ID	Email
Nathan Grenier	40250986	[email protected]
Alvaro Gonzalez	40153040	[email protected]

Pitest Configuration

The following is the Pitest configuration used to generate the mutation test coverage reports with both mutator configs:

<properties>
    <pitest.version>1.7.3</pitest.version>
</properties>

<plugin>
    <groupId>org.pitest</groupId>
    <artifactId>pitest-maven</artifactId>
    <version>${pitest.version}</version>
    <executions>
        <execution>
        <id>mutation-coverage-all</id>
        <phase>test</phase>
        <goals>
            <goal>mutationCoverage</goal>
        </goals>
        <configuration>
            <mutators>
                <mutator>ALL</mutator>
            </mutators>
            <timestampedReports>true</timestampedReports>
            <reportsDirectory>${project.build.directory}/pit-reports/all</reportsDirectory>
        </configuration>
        </execution>
        <execution>
        <id>mutation-coverage-stronger</id>
        <phase>test</phase>
        <goals>
            <goal>mutationCoverage</goal>
        </goals>
        <configuration>
            <mutators>
            <mutator>STRONGER</mutator>
            </mutators>
            <timestampedReports>true</timestampedReports>
            <reportsDirectory>${project.build.directory}/pit-reports/stronger</reportsDirectory>
        </configuration>
        </execution>
    </executions>
</plugin>

Contributing

Java Version

Make sure to use java version 11 (11.0.2-oracle).

Generating the Pitest Reports

Once the pom.xml has been modified, use the following command to generate the reports:

mvn clean test org.pitest:pitest-maven:mutationCoverage

The timestamps for each report will be displayed in the console.