Generación automática de casos de prueba para Líneas de Producto de Software

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.