Formal Testing: Un enfoque de pruebas de largo alcance

sg
Sun, 12/27/2020 - 10:23

Prueba de Software

Autor

Luis Vinicio León Carrillo

Me da mucho gusto volver a escribir para ustedes por este medio, estimados lectores, luego de un receso de aproximadamente dos años.

Les escribo esta vez porque considero importante platicarles de algo que ahora veo con bastante claridad que puede ser muy relevante en la industria mundial de la prueba de software durante los siguientes años.

Como quizás recuerden, comencé a escribir en Software Gurú en 2006 a través de la columna “La Prueba de Software”. Para ese año ya tenía ciertos conocimientos y experiencia en esa disciplina: había hecho un posgrado en Alemania, realizado investigación aplicada en el ITESO, asistido a varios congresos en Europa y EEUU, y co-fundado e-Quallity. Durante 5 años estuve escribiendo sobre la prueba de software como se hacía en el mundo, que era, en esencia, como se llevaba a cabo desde hacía varios lustros.

Después de un receso de 4 años, de 2015 a 2018 estuve escribiendo la columna “La prueba de software y los special purpose lenguajes” con el objetivo de mostrar cómo estos lenguajes pueden incrementar la productividad en la industria del software en general y en la de la prueba en particular, porque veía que sobre esta idea estaban gestándose planteamientos que podrían sentar las bases para nuevos enfoques en la Prueba de Software.

…