Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for Descartes style extreme mutation #7

Open
k3rn31 opened this issue Jun 24, 2022 · 0 comments
Open

Add support for Descartes style extreme mutation #7

k3rn31 opened this issue Jun 24, 2022 · 0 comments
Labels
c/feature Category: An issue or PR related to a new feature mutation An issue regarding a new mutation. t/to-triage A new issue or PR not yet triaged (needs to be categorised, prioritised etc.) umbrella An issue comprising a larger project and many other issues

Comments

@k3rn31
Copy link
Member

k3rn31 commented Jun 24, 2022

Descartes is a MT style described in the paper Will my tests tell me if I break this code?. It is hypothetically faster to execute because is more "coarse" and it requires to test less mutations.

As a reference, we can take a look at the PITest third party Descartes plugin.

My idea is to add the single Descartes mutations as "normal" Gremlins mutations, and also add a --descartes flag that will only run Descartes mutations.

Ideas of mutations to implement (TODO: transform to issues):

  • void mutation
  • nil mutation
  • Constant mutation
@k3rn31 k3rn31 added the c/feature Category: An issue or PR related to a new feature label Jun 24, 2022
@k3rn31 k3rn31 added this to the v0.2.0 milestone Jun 24, 2022
k3rn31 added a commit that referenced this issue Jun 25, 2022
Signed-off-by: Davide Petilli <[email protected]>
k3rn31 added a commit that referenced this issue Jun 25, 2022
k3rn31 added a commit that referenced this issue Jun 26, 2022
Signed-off-by: Davide Petilli <[email protected]>
k3rn31 added a commit that referenced this issue Jun 26, 2022
Signed-off-by: Davide Petilli <[email protected]>
@k3rn31 k3rn31 modified the milestones: v0.2.0, v0.3.0 Jul 24, 2022
@k3rn31 k3rn31 moved this to Backlog in Mutations Jul 26, 2022
@k3rn31 k3rn31 added this to Mutations Jul 26, 2022
@k3rn31 k3rn31 added mutation An issue regarding a new mutation. t/to-triage A new issue or PR not yet triaged (needs to be categorised, prioritised etc.) umbrella An issue comprising a larger project and many other issues labels Jul 26, 2022
@k3rn31 k3rn31 removed this from the v0.3.0 milestone Aug 6, 2022
@k3rn31 k3rn31 changed the title Add support for Descartes extreme mutation Add support for Descartes style extreme mutation Sep 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c/feature Category: An issue or PR related to a new feature mutation An issue regarding a new mutation. t/to-triage A new issue or PR not yet triaged (needs to be categorised, prioritised etc.) umbrella An issue comprising a larger project and many other issues
Projects
Status: 📓 Backlog
Development

No branches or pull requests

1 participant