Giter Club home page Giter Club logo

pitest's Introduction

Maven Central Build Status

CS6367 - Pitest Improvement Project

Project Summary

This project aims at adding more mutations to Pitest and use it to help fixing errors. The first phase involves implementing the AOD, ROR and AOR mutations. The second phase will implement even more mutations and add code fixing rules. (treated as mutators)

How to run

  1. Please clone our project and compile it in maven: mvn install -DskipTests (doing it without -Dskiptests is fine as well.

  2. Location of the compiled jar files: C:\Users\\[User Account Name\]\.m2\repository\org\pitest\pitest\

  3. As of this implementation, the pitest version is 1.4.0-SNAPSHOT.

  4. Then add the following section to pom.xml and test using this command:

    mvn org.pitest:pitest-maven:mutationCoverage

    <build>
    	<plugins>
        	<plugin>
    			<groupId>org.pitest</groupId>
    			<artifactId>pitest-maven</artifactId>
    			<version>1.4.0-SNAPSHOT</version>
    			<configuration>
    				<mutators>
    					<mutator>DEFAULTS</mutator>
    					<mutator>AOD_FIRST</mutator>
    					<mutator>AOD_LAST</mutator>
    					<mutator>ARITHMETIC_OPERATOR_REPLACEMENT_MUTATOR</mutator>
    				</mutators>
    		</configuration>
    	</plugin>
    </plugins>
    

Members

  • Joseph LaFreniere
  • Leeja James
  • Keith Nguyen

Progress

First Phase Problem encountered: we have to use different bytecode operation for single-word operator/operands (int, float) compared to double-word operator/operands (long, double).

AOD mutator

  • Replaces two operands and the operator with each of the operands, meaning there are two mutators for each operation.
  • Example: a + b is replaced with mutant a and mutant b.

ROR mutator

  • Replaces each relational operators with each of the other ones.
  • Some ROR mutators have already been implemented in the Conditional Boundary Mutator and Negate Conditional Mutator.
  • Example: < is replaced with >=, <=, !=, ==.

AOR mutator

  • Replaces each arithmetic operator with each of the other ones.
  • Some AOR mutators have been implemented in Math Mutator.
  • Example: + is replaced with -, *, /, %.

pitest's People

Contributors

hcoles avatar ecigar13 avatar lkwg82 avatar lafrenierejm avatar ursmetz avatar nespera avatar iirekm avatar oscarlvp avatar jasonmfehr avatar galovics avatar theangrydev avatar velo avatar rchargel avatar stefanpenndorf avatar tomasz-luch-payu-gpo avatar eis avatar sbuisson avatar vrthra avatar ottlinger avatar luontola avatar artspb avatar waffle-with-pears avatar asheldon avatar alayor avatar tomekkaczanowski avatar tobiasbaum avatar tgolden-andplus avatar obfischer avatar szpak avatar reftel avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.