Universidad de Castilla-La Mancha         Abstracta (Uruguay) Enfoque dirigido por modelos paraprobar Sistemas de Informac...
Contenido1. Introducción a la Propuesta2. Diseño de Casos de Prueba3. Conclusiones y Trabajo Futuro                       ...
Introducción a la PropuestaFramework para probar Sistemas de Información con                 Bases de Datos               ...
Introducción a la PropuestaSistemas de Información   Entidades y relaciones   CRUD: create, read, update, deleteTest cas...
Framework  UML Data                                             UML Testing ProfileModeling Profile                      (...
Framework              QVT(1) ReverseEngineering                            6
Diseño de Casos de Prueba                            7
Criterio de Cobertura• Basado en distintos criterios de  cobertura   CRUD, para una entidad sería según la    expresión r...
Criterio de Cobertura• Identificamos distintos tipos de relaciones• Queremos probar las operaciones      Crear      Leer...
Resultados EsperadosDe acuerdo a los datos en los distintos campos           Table1             Expected result     One co...
Resultados Esperados• De acuerdo a las estructuras    Máquina de estados                                        T2_update...
Criterios de CoberturaCada criterio de cobertura               Subestructurarepresentado por conjunto                 inte...
Conclusiones               13
Conclusiones• Model-driven approach• Basado en estándares   UML    •   UML Data Modeling Profile    •   UML Testing Profi...
Trabajo Futuro• Terminar la implementación del  framework   Transformaciones QVT y MOFM2T• Validación empírica   Sistema...
Agradecimientos:    Enfoque dirigido por modelos para probar Sistemas de              Información con Bases de Datos¡Graci...
Upcoming SlideShare
Loading in …5
×

Enfoque dirigido por modelos para probar Sistemas de Información con Bases de Datos

474 views

Published on

Enfoque dirigido por modelos para probar Sistemas de Información con Bases de Datos.
Jornadas SISTEDES 2012
Universidad de Almería

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
474
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
3
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Enfoque dirigido por modelos para probar Sistemas de Información con Bases de Datos

  1. 1. Universidad de Castilla-La Mancha Abstracta (Uruguay) Enfoque dirigido por modelos paraprobar Sistemas de Información con Bases de Datos Federico Toledo Beatriz Pérez Macario Polo
  2. 2. Contenido1. Introducción a la Propuesta2. Diseño de Casos de Prueba3. Conclusiones y Trabajo Futuro 2
  3. 3. Introducción a la PropuestaFramework para probar Sistemas de Información con Bases de Datos 3
  4. 4. Introducción a la PropuestaSistemas de Información Entidades y relaciones CRUD: create, read, update, deleteTest casesTest data 4
  5. 5. Framework UML Data UML Testing ProfileModeling Profile (2) Pattern-matching Entities Test Suites Relations QVT Test Cases Attributes Datapools Rules (1) Reverse (3) Test code MOFM2T Engineering generation xUnit DB Test Cases 5
  6. 6. Framework QVT(1) ReverseEngineering 6
  7. 7. Diseño de Casos de Prueba 7
  8. 8. Criterio de Cobertura• Basado en distintos criterios de cobertura  CRUD, para una entidad sería según la expresión regular (máquina de estados): • C . R . [ Ui . Ri ] * D . R  Patrones de diagramas de clase (Andrews et al.) • AEM (association-end multiplicity) • GN (generalization) • CA (class attribute) 8
  9. 9. Criterio de Cobertura• Identificamos distintos tipos de relaciones• Queremos probar las operaciones  Crear  Leer  Actualizar  Borrar• Los resultados esperados son conocidos 9
  10. 10. Resultados EsperadosDe acuerdo a los datos en los distintos campos Table1 Expected result One column invalid Fail All columns valid Pass … … 10
  11. 11. Resultados Esperados• De acuerdo a las estructuras  Máquina de estados T2_update T2_create T2_deleteT1_delete T1_create T1_create T1_delete T2_create T2_create T2_delete 11
  12. 12. Criterios de CoberturaCada criterio de cobertura Subestructurarepresentado por conjunto interesantede reglas QVT Casos de prueba a generar Criterio 1 Criterio 2 Criterio 3 Modelo de Datos Modelo de Pruebas Motor QVT
  13. 13. Conclusiones 13
  14. 14. Conclusiones• Model-driven approach• Basado en estándares  UML • UML Data Modeling Profile • UML Testing Profile  QVT  MOFM2T• Especial atención en cubrir las estructuras de datos 14
  15. 15. Trabajo Futuro• Terminar la implementación del framework  Transformaciones QVT y MOFM2T• Validación empírica  Sistemas “desarrollados a mano” • Java, PHP, etc., con bases de datos  Sistemas desarrollados con MDD • Ejemplo: GeneXus – Herramienta MDD que genera código a partir de estructuras de datos – Genera aplciaciones en distintas plataformas (client/server, web, mobile, RPG, etc.) 15
  16. 16. Agradecimientos: Enfoque dirigido por modelos para probar Sistemas de Información con Bases de Datos¡Gracias por su atención! ¿Preguntas? Federico Toledo (ftoledo@abstracta.com.uy) Beatriz Pérez (bperez@fing.edu.uy) Macario Polo (macario.polo@uclm.es)

×