%0 Journal Article %T Generaci車n autom芍tica de casos de prueba para L赤neas de Producto de Software %A Beatriz P谷rez Lamancha %A Macario Polo %J Revista Espaˋola de Innovaci車n, Calidad e Ingenier赤a del Software %D 2009 %I Asociaci車n de T谷cnicos de Inform芍tica %X La generaci車n autom芍tica de casos de prueba a partir de modelos de dise o para L赤neas de Producto de Software requiere definir los mecanismos para gestionar la variabilidad en las pruebas y su trazabilidad a los dem芍s artefactos de desarrollo. En este trabajo, los casos de prueba se generan autom芍ticamente mediante el lenguaje de transformaci車n QVT a partir de diagramas de secuencia extendidos para representar la variabilidad en la LPS. La trazabilidad entre los distintos modelos es gestionada mediante la definici車n de un Perfil de UML para el Modelo de Variabilidad Ortogonal. %U http://www.redalyc.org/articulo.oa?id=92217153004