Enseñanza de la mutación en pruebas de software

Abstract

La mutación es una técnica de prueba de software desarrollada por investigadores y que, habitualmente, se ha utilizado casi de forma exclusiva con propósitos de investigación. Unos treinta y cinco años después de haber sido propuesta, la técnica está hoy suficientemente madura como para ser transferida a la industria y, también, para comenzar a ser introducida en la enseñanza reglada. Desde hace unos años venimos impartiendo mutación en la asignatura “Pruebas y seguridad de sistemas de información”, del Máster Oficial en Tecnologías Informáticas Avanzadas de nuestra universidad, que cuenta con mención de calidad de la ANECA. Lo cierto es que, mientras no introdujimos una metáfora, en la que se comparan los mutantes con faltas de ortografía, y los test suites con revisores ortotipográficos, la mutación era difícil de entender por parte de los alumnos o, tal vez, éramos los profesores los que no la explicábamos suficientemente bien. En este trabajo describimos la metáfora que tan buenos resultados nos ha dado, así como algunos de los otros contenidos que impartimos, relacionados principalmente con la aplicación de la técnica y diversas estrategias para reducción de costes. Utilizamos una herramienta que hemos desarrollado y que se encuentra disponible libremente para su uso en universidades.

SUMMARY - Mutation is a software testing technique developed by researchers and usually only applied in research. Around 35 years after its proposal, the technique is today ready for both its transference to industry as for its inclusion in the syllabus of Computer Science. We teach mutation in “Testing and security of information systems”, inside our quality-certified PhD program.The first years we taught mutation, students took too much time in understanding the basic idea of mutation. In some moment, we introduced a metaphor (which compares the artificial faults inserted in programs with text typos, and test suites with typographic correctors) to describe mutation, obtaining excellent results in our explanations (maybe they had not been good enough until that moment) and in their comprehension. This work describes the metaphor that so good results has given us, as well as the remaining contents taught. These are mainly related to the application of the technique and to several strategies for cost reduction. We use a tool we have developed and that is freely available for universities.