Cómo escribir especificaciones y configuraciones de correlación para pruebas dinámicas