Skip to main content
SpringerLink
Log in

Mutation Subsumption as Relative Incorrectness

  • Conference paper
  • First Online:
Quality of Information and Communications Technology (QUATIC 2021)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1439))

  • 1249 Accesses

Abstract

This paper attempts to link two lines of research that have proceeded independently so far: Mutant subsumption, which is used to identify redundant mutants; and Relative correctness, which is used to define and analyze software faults. We say that a mutant \(M'\) of a program P subsumes a mutant M of P if and only if any test datum that kills M kills \(M'\). On the other hand, we say that a program \(P'\) is more-correct than a program P with respect to a specification R if and only if whenever program P behaves correctly with respect to R on some input datum, so does program \(P'\). We highlight the relationships between these two concepts and consider some potential synergies between these two research directions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of ICSE (2005)

    Google Scholar 

  2. Brink, C., Kahl, W., Schmidt, G.: Relational Methods in Computer Science. Advances in Computer Science, Springer Verlag, Berlin (1997). https://doi.org/10.1007/978-3-7091-6510-2

    Book  MATH  Google Scholar 

  3. Budd, T.A., DeMillo, R.A., Lipton, R.J., Sayward, F.: Theoretical and empirical studies on using program mutation to test the functional correctness of programs. In: Proceedings of 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980, pp. 220–233, January 1980

    Google Scholar 

  4. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. IEEE Comput. 11(4), 34–41 (1978)

    Article  Google Scholar 

  5. Desharnais, J., Diallo, N., Ghardallou, W., Frias, M.F., Jaoua, A., Mili, A.: Relational mathematics for relative correctness. In: Kahl, W., Winter, M., Oliveira, J.N. (eds.) RAMICS 2015. LNCS, vol. 9348, pp. 191–208. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24704-5_12

    Chapter  MATH  Google Scholar 

  6. Desharnais, J., Diallo, N., Ghardallou, W., Mili, A.: Projecting programs on specifications: definitions and implications. Sci. Comput. Program. 138, 26–48 (2017)

    Article  Google Scholar 

  7. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Hoboken (1976)

    MATH  Google Scholar 

  8. Gries, D.: The Science of Programming. Springer, Heidelberg (1981). https://doi.org/10.1007/978-1-4612-5983-1

    Book  MATH  Google Scholar 

  9. Guimaraes, M.A., Fernandes, L., Riberio, M., d’Amorim, M., Gheyi, R.: Optimizing mutation testing by discovering dynamic mutant subsumption relations. In: Proceedings of 13th International Conference on Software Testing, Validation and Verification (2020)

    Google Scholar 

  10. Hehner, E.C.R.: A Practical Theory of Programming. Prentice Hall, Hoboken (1992)

    MATH  Google Scholar 

  11. Just, R., Jalali, D., Inozemtseva, L., Ernst, M.D., Holmes, R., Fraser, G.: Are mutants a valid substitute for real faults in software testing? In: Proceedings of FSE (2014)

    Google Scholar 

  12. Kurtz, B., Amman, P., Delamaro, M.E., Offutt, J., Deng, L.: Mutant subsumption graphs. In: Proceedings of 7th International Conference on Software Testing, Validation and Verification Workshops (2014)

    Google Scholar 

  13. Kurtz, B., Ammann, P., Offutt, J.: Static analysis of mutant subsumption. In: Proceedings of IEEE 8th International Conference on Software Testing, Verification and Validation Workshops (2015)

    Google Scholar 

  14. Manna, Z.: A Mathematical Theory of Computation. McGraw-Hill, New York (1974)

    MATH  Google Scholar 

  15. Mili, A., Frias, M.F., Jaoua, A.: On faults and faulty programs. In: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (eds.) RAMICS 2014. LNCS, vol. 8428, pp. 191–207. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06251-8_12

    Chapter  MATH  Google Scholar 

  16. Mili, A.: Differentiators and detectors. Inf. Process. Lett. 169, 106111 (2021)

    Article  MathSciNet  Google Scholar 

  17. Mills, H.D., Basili, V.R., Gannon, J.D., Hamlet, D.R.: Structured Programming: A Mathematical Approach. Allyn and Bacon, Boston (1986)

    MATH  Google Scholar 

  18. Namin, A.S., Kakarla, S.: The use of mutation in testing experiments and its sensitivity to external threats. In: Proceedings of ISSTA (2011)

    Google Scholar 

  19. Shin, D., Bae, D.H.: A theoretical framework for understanding mutation-based testing methods. In: Proceedings of ICST 2016, Chicago, IL, April 2016

    Google Scholar 

  20. Shin, D., Yoo, S., Bae, D.-H.: A theoretical and empirical study of diversity-aware mutation adequancy criterion. IEEE TSE 44(10), 914–931 (2018)

    Google Scholar 

Download references

Acknowledgement

This work is partially supported by NSF under grant number DGE1565478.

Author information

Authors and Affiliations

  1. University of Tunis El Manar, Tunis, Tunisia

    Besma Khaireddine

  2. SUNY Farmingdale, Farmingdale, NY, USA

    Amani Ayad

  3. University of Sousse, Sousse, Tunisia

    Imen Marsit

  4. New Jersey Institute of Technology, Newark, NJ, USA

    Ali Mili

Authors
  1. Besma Khaireddine
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Amani Ayad
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Imen Marsit
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ali Mili
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ali Mili .

Editor information

Editors and Affiliations

  1. Faculty of Engineering of the University of Porto, Porto, Portugal

    Ana C. R. Paiva

  2. Institut Polytechnique de Paris, Paris, France

    Ana Rosa Cavalli

  3. University of Algarve, Faro, Portugal

    Paula Ventura Martins

  4. University of Castila-La Mancha, Ciudad Real, Ciudad Real, Spain

    Ricardo Pérez-Castillo

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Khaireddine, B., Ayad, A., Marsit, I., Mili, A. (2021). Mutation Subsumption as Relative Incorrectness. In: Paiva, A.C.R., Cavalli, A.R., Ventura Martins, P., Pérez-Castillo, R. (eds) Quality of Information and Communications Technology. QUATIC 2021. Communications in Computer and Information Science, vol 1439. Springer, Cham. https://doi.org/10.1007/978-3-030-85347-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-85347-1_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-85346-4

  • Online ISBN: 978-3-030-85347-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation