Red para la promoción y mejora de las Pruebas
en Ingeniería del Software
Actividades Realizadas
Actividades generales
-
Taller sobre Pruebas en Ingeniería del Software:
-
Números especiales en revista
REICIS:
-
Reuniones de la Red RePRIS:
-
Reunión
1: Gijón, 2006.07.26
-
Reunión
2: Sitges, 2006.10.03
-
Reunión
3: Madrid, 2007.06.13
-
Reunión
4: Zaragoza, 2007.09.11
-
Reunión
5: Gijón, 2008.10.07
-
Reunión
6: San Sebastián, 2009.09.08
-
Presentaciones de la red y otros eventos
-
Presentación en
IV Taller sobre Pruebas en Ingeniería del Software (PRIS) - Javier Tuya, "Estado
actual del estándar ISO/IEC 29119 - Software Testing". San Sebastián,
2009.09.08
-
Presentación en
XI Jornadas de Innovación y Calidad del Software (JICS) - Javier Tuya, "Hacia
el nuevo estándar de pruebas ISO 29119". Alcalá de Henares, 2009.09.04
-
Presentación en
8th Workshop on Teaching Software Testing (WTST-8)
- Javier Tuya, "Educational
implications of the ISO testing standard project". Melbourne, FL,
2009.01.30-2009.02.01
-
Presentación en
Solo Pruebas 2008 - Javier Tuya, "Nuevo
estándar de pruebas del software: ISO/IEC 29119". Madrid, 2009.02.26-27
-
expo:QA'08, Jornadas Profesionales de
Testing y Calidad de Software, Madrid, 2008.11.24-28
-
X JORNADAS DE INNOVACIÓN
Y CALIDAD DEL SOFTWARE, Madrid, 2008.09.24-25
-
Conferencia Universidad Pablo de Olavide - Javier Tuya, (PDF)
Sevilla, 2008.04.21
-
Presentación
Jornadas de Testeo de Software - Luis Fernandez, (PDF)
Valencia, 2008.04.2-4
-
Presentación en
7th Workshop on Teaching Software Testing - Javier Tuya, (paper)
Melbourne, FL, 2008.01.18-20
-
SIMO TCI 2007:
Sesión Técnica del Grupo de Calidad del Software de ATI
- Luis Fernández, Madrid, 2007.11.08
-
Conferencia - Claudio de la Riva, (PDF)
Santiago de Compostela, 2007.11.05
-
Mesa redonda en
JENUI 2007: Docencia sobre
pruebas de software: más allá de los planes de estudio, Teruel, 2007.07.17
-
Participación en
Solo
Pruebas 2007, Madrid, 2007.06.18-19
-
Presentación en las
II Jornadas de Mejores Prácticas en el Desarrollo de Software y Sistemas
- Luis Fernández, Madrid, 2007.06.07
-
Presentación en las JTS 2007
- Patricio Letelier (PDF)
Valencia, 2007.05.03
-
Jornadas Sobre Testeo del Software
(JTS 2007) 2007.05.02-04
-
Conferencia Universidad de Cádiz - Javier Tuya, (PDF)
Cádiz, 2007.03.09
-
Participación en
expo:QA
Madrid, 2006
-
SIMO TCI 2006
Presentación Grupo Calidad del Software de ATI
- Luis Fernández, (PDF)
Madrid, 2006.11.08
-
Curso de Verano:
Herramientas para la prueba del software, Gijón, 2006.07.10-14
Actividades realizadas por los
diferentes participantes
En lo que sigue se resume la actividad desarrollada por los
diferentes grupos que integran esta red.
Universidad de
Oviedo · inQA.labs ·
Universidad de
Sevilla (Quivir) ·
Universidad de
Sevilla (Madeira) ·
Universidad de Alcalá/Universidad Europea de Madrid
·
Universidad Carlos III
· Instituto Tecnológico de Informática de Valencia ·
Universidad Politécnica de
Valencia ·
Universidad Politécnica de
Madrid (fi)
Universidad de
Oviedo
El grupo de Investigación en Ingeniería del Software (GIIS) de la Universidad de Oviedo
está formado por nueve investigadores. Está localizado en Gijón, en el Departamento
de Informática. Sus actividades docentes incluyen las asignaturas de Ingeniería
del software en Ingeniería Informática, así como otros cursos especializados en
testing.
Algunos de los proyectos de investigación realizados en la temática de pruebas
del software son IN2TEST - Integración de Técnicas Automáticas de Pruebas en el Proceso de
Desarrollo y Mantenimiento de Software (TIN2004-06689-C03-02), Test4SOA - Técnicas
para Pruebas Funcionales en Arquitecturas Orientadas a Servicios (TIN2007-67843-C06-01)
y MPPP - Metodología del Proceso de Pruebas del Principado (CN-07-168/08-073). Las diferentes
líneas de investigación en pruebas del software y principales publicaciones se describen a continuación:
-
Pruebas de aplicaciones con bases de datos: El objetivo es
sistematizar la prueba de las consultas que acceden a las bases de datos,
mediante:
-
Elaboración de criterios de suficiencia particularizados para el procesamiento
de datos realizado por las consultas SQL. Se han desarrollado y automatizado criterios de
cobertura estructural basados en múltiple condición
(Structural Coverage Criteria for Testing SQL Queries,
Journal of Universal Computer Science, 15(3) 584-619, 2009),
y en MCDC (Full predicate coverage for testing SQL database queries. Software Testing, Verifiation and Reliability. In Press, 2010), disponible en la herramienta SQLFpc, así como estudios empíricos (A
controlled experiment on white-box database testing, Software
Engineering Notes
33(1) 2008).
- Reducción de bases de datos de prueba
(Query-Aware Shrinking Test Databases,
DBTest 2009), que utiliza los criterios anteriores y está
disponible en la herramienta
QAShrink.
-
Evaluación de la calidad de los casos de prueba: Para la evaluacion de la
capacidad de detección de defectos de casos de pruebas que hayan sido generados
utilizando diversas técnicas se ha elaborado un conjunto de operadores de
mutación para SQL (Mutating
Database Queries, Information and Software Technology , 49(4)
398-417, 2007). La generación mutantes para las consultas utilizando estos
operadores esta automatizada y disponible en la herramienta
SQLMutation.
-
Pruebas de sistemas Internet y XML: En los último años se ha trabajado
en el uso de comprobadores de modelos en sistemas reactivos (Automatic
Generation of Assumptions for Modular Verification of Software Specifications,
Journal of Systems and Software, 79(9) 2006). Aquí se utilizan en la generación
de casos de prueba para:
-
Generación automática de casos de prueba con técnicas metaheurísticas:
El proceso de selección de casos de prueba es planteado en términos de un
problema de optimización en el que se buscan soluciones (casos de prueba) que
optimicen una función objetivo (cumplimiento de un determinado criterio de
cobertura). A diferencia de otros investigadores que utilizan mayoritariamente
algoritmos genéticos, aquí se utilizan técnicas metaheurísticas alternativas
como las siguientes:
Más información en: http://giis.uniovi.es/.
inQA.labs
inQA.labs
es una compañía independiente cuya misión consiste en proporcionar Servicios de
Ingeniería de la Calidad del Software a la industria informática así como a
todas aquellas compañías que desarrollan soluciones internet. Ofrece a los
departamentos de I+D, Gestión de la calidad (QA) y Tecnologías de la
Información (IT), los servicios profesionales y la infraestructura tecnológica
que permite testear cualquier producto con las principales redes y entornos del
mercado.
inQA.labs
es una empresa de capital español fundada en Barcelona en 1999 especializada en
servicios de consultoría de calidad y pruebas de software. La compañía ayuda a
las empresas que desarrollan soluciones informáticas a mejorar sus procesos, la
calidad de sus productos, mediante servicios de insourcing-outsourcing y
consultoría de test.
Ofrece los servicios profesionales y la infraestructura tecnológica necesarios
para probar sus productos en los entornos más importantes del mercado y así
mejorar el retorno sobre la inversión y la satisfacción de los usuarios
finales. Sus laboratorios están preparados para reproducir todo tipo de red
informática real y multiplataforma o arquitectura de e-business.
Cuenta en España con un equipo de más de 40 profesionales del test y de la
calidad del software con diferentes perfiles para adaptarse a las necesidades
de cada cliente, maximizando la eficacia de las pruebas y reduciendo costes.
Según el tipo de proyecto y la fase donde interviene, inQA.labs ofrece:
-
Planificación de pruebas
-
Diseño de pruebas.
-
Ejecución de pruebas.
-
Test funcional.
-
Test de aceptación.
-
Automatización de pruebas.
-
Test de rendimiento, estrés y fiabilidad.
-
Test ce compatibilidad de sistema.
-
Test de e-business.
-
Mejora de procesos.
Los servicios de test se desarrollan in situ (casa del cliente) o en modo remoto
en sus centros de test. El laboratorio de Barcelona esta equipado con
plataformas y herramientas que permiten configurar rápidamente entornos
similares al de los clientes. Cuenta con:
-
Amplio rango de hardware y software como PC, Servers, Macintosh, Unix, Linux.
-
Sistemas operativos y todas sus versiones (Microsoft, MacOS, Linux, Unix).
-
Herramientas de automatización y simulación de rendimiento, tráfico etc.
Los clientes de inQA.labs son en su mayoría compañías españolas y
norteamericanas líderes en el sector de las Tecnologías de la Información que
creen que la excelencia de sus productos les lleva una ventaja competitiva.
En resumen, inQA.labs es:
-
Un laboratorio independiente de test de software
-
Un equipo de ingenieros y profesionales de la calidad del software
-
Un laboratorio equipado con todos los sistemas operativos, entornos de red y
plataformas disponibles actualmente en el mercado
-
Metodologías de test adecuadas a sus necesidades
Universidad de
Sevilla (Quivir)
QUIVIR (LabIS2 and Q2Diag) es un
grupo de investigación del departamento de Lenguajes y Sistemas Informáticos de
la Universidad de Sevilla (España). Este grupo esta activo desde mediados de
los 90, realizando su labor investigadora en diferentes areas del razonamiento
basado en modelos y la diagnosis. Desde el año 2002 existe otra importante
línea de investigación dentro del grupo como es la Seguridad en Sistemas
Informáticos. Desde el punto de vista de la aplicación de las investigaciones,
el grupo ha estado involucrado en varios proyectos y cooperaciones de forma muy
activa con la industria, principalmente en la Seguridad de Sistemas
Informáticos y en la Telemedicina. El grupo participa tambien en proyectos
europeos como: TeleCARE (quinto programa marco), es un miembro activo de la Red
Europea Monet I y Monet II, y sus miembros pertenecen al Grupo de Investigación
de Excelencia de la Junta de Andalucía (Spain).
Proyectos:
Automatización de la detección, diagnosis y
tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos,
DPI2006-15476-C02-00, 2006--. Este proyecto esta
financiado por el Ministerio de Ciencia
y Educación español y ERFD/FEDER,
y tiene como objetivo superar las altas tasas de falsos positivos y falsos
negativos, mejorar la eficiencia computacional del proceso de diagnosis y
automatizar el proceso de identificación de los componentes que pueden ser
causa de los fallos. Se abordarán estrategias para conseguir que los sistemas
sean tolerantes a fallos, modelando ciertas propiedades como la fiabilidad y la
seguridad, y llevando a cabo de manera automática tareas de mantenimiento y
recuperación mediante las correspondientes planificaciones y replanificaciones
de las tareas que permitan evolucionar el sistema al comportamiento correcto.
Automatización de la detección y diagnosis
de anomalías en sistemas estáticos y dinámicos usando conocimiento
semicualitativo, DPI2003-07146-C02-01, 2003-2006. Este
proyecto esta financiado por el Ministerio
de Ciencia y Educación español y
ERFD/FEDER, y tiene como objetivo la aplicación de la informática y la
inteligencia artificial para realizar avances en la detección y diagnosis en
modelos semicualitativos, intentado solucionar problemas complejos con un nivel
de alto de eficacia y exactitud. Con el desarrollo de este proyecto se pretende
proveer de resultados concretos para la comunidad investigadora, concretándose
en el desarrollo de herramientas software para la detección y diagnosis de
sistemas.
La diagnosis basada en modelos permite determinar la causa de que un sistema
correctamente diseñado no actúe tal como se espera. Nuestra investigación se
centra también en una metodología para la
Diagnosis del Software, con el objetivo de aislar errores en el
software. Para ello se ha propuesto una profunda integración de diferentes
técnicas provenientes de dos áreas: la Ingeniería del Software, que incluye el
diseño por contrato y las técnicas de generación de pruebas; y la Inteligencia
Artificial que incluye la diagnosis basada en modelos y la programación con
restricciones. La metodología de diagnosis del software que proponemos se basa
en dos pasos: primero es necesario capturar la especificación del
comportamiento establecido como correcto para un software (a través del diseño
por contrato, las técnicas de generación de pruebas y la información de
expertos); y segundo, es necesario aislar e identificar el error producido (a
través de la diagnosis basada en modelos y de la programación con
restricciones). La originalidad de esta investigación radica en la
transformación de los contratos y el código fuente a restricciones, para
determinar que asertos y sentencias del código fuente no son consistentes con
la especificación.
Equipo de respuesta ante incidentes,
2003-2006. Este proyecto está financiado por el Servicio
de Informática y Comunicaciones de la Universidad
de Sevilla, y tiene como objetivo el desarrollo e instalación de
servicios de seguridad, y mejorar en general la calidad en el control de la
seguridad del sistema actual, diseñar y desarrollar un cortafuegos corporativo
para redes heterogéneas y facilidades que permitan formar y mantener una
respuesta eficiente ante incidencias.
Monitorización remota y detección de la
desviación en las terapias usando la Inteligencia Artificial (TelMedIA),
2005-2006. Este proyecto esta financiado por el CITIC
(Centro Andaluz de Innovación y Tecnologías de la Información y las
Comunicaciones). Este proyecto innovador esta centrado en la producción de
servicios para la monitorización remota de pacientes, y la detección e
identificación de problemas médicos.
Universidad de
Sevilla (Madeira)
El grupo de investigación Madeira de la universidad de Sevilla desarrolla varias
líneas de investigación en el campo de la ingeniería de software. A partir de
estas líneas, se han desarrollado varios proyectos de investigación y se han
leido varias tesis, junto con otras tesis que están en desarrollo.
En los últimos cuatro años, nuestro grupo de investigación se ha centrado en
metodologías para el desarrollo de sistemas
web y multimedia (1), con la definición de la metodología NDT, el
desarrollo de software guiado por modelos
y aspectos y la generación sistemática y automática de
pruebas a partir de requisitos funcionales mediante el proceso ETUC.
Actualmente, los resultados de nuestras investigaciones se presentan en
distintos congresos y seminarios, tales como JISBD, ICWE, Webist, ISD, etc. y
se están implantando en distintas administraciones públicas de la comunidad
autónoma Andaluza. Una lista completa de publicaciones y de materiales puede
obtenerse a traés de las páginas web de algunos de los investigadores en los
enlaces anteriores.
Universidad de Alcalá/Universidad Europea de
Madrid
El grupo de investigación de Programación e Ingeniería del Software de la
Universidad Europea de Madrid centra su trabajo en el área de ingeniería y
calidad de software desde una perspectiva claramente aplicada. Liderado por el
doctor Luis Fernández Sanz cuenta con diversos investigadores junior que van a
leer su tesis doctoral en los próximos meses centrándose éstas en el campo de
la calidad del software, reutilización y en el de generación de casos de
pruebas. Están previstas diversas publicaciones adicionales como resultados de
estas tesis y de las otras actividades del grupo. El grupo cuenta con
experiencia en proyectos competitivos de financiación pública y no competitivos
(Vodafone, Meta4, France Telecom, Ministerio de Asuntos Exteriores) en la
ámbito de la ingeniería y calidad del software. El grupo cuenta con numerosas
publicaciones nacionales e internacionales tanto en congresos como en revistas
y libros (en español y en inglés). Participa en la actual acción especial sobre
pruebas de software REPRIS.
Proyectos recientes relacionados con pruebas
-
Proyecto TIC 96-0753 "Metodología de planificación y desarrollo de sistemas de
información: METRICA versión 3". (agosto 1996 a julio 1998). Director de la
investigación: Dr. Antonio de Amescua y Dra. Adoración de Miguel (Universidad
Carlos III de Madrid). Participación: Dr. Luis Fernández Sanz (UEM), apartados
de calidad y pruebas de software.
-
Seguimiento de pruebas de software independientes para las aplicaciones
consulares SIGECO y SIVICO (Ministerio de Asuntos Exteriores) (mayo a octubre
de 2001). Director del proyecto: Dr. Luis Fernández Sanz (Universidad Europea
de Madrid).Participación: Pedro Lara Bercial (UEM).
Otros proyectos relacionados con calidad en general
-
Acción Especial CICYT TIC 98-1179-E "REMIS: red universitaria de
experimentación y medición en ingeniería de software". Director de la
investigación: Dr. José Javier Dolado Cosin (Universidad del País Vasco).
Participación: Dr. Luis Fernández Sanz (UEM)
-
Estudio de medición de código fuente para la mejora de la calidad del
software.Departamento de Aseguramiento de Calidad del Software de la empresa
META4 (noviembre 1998 a julio de 1999). Director de la investigación Dr.Luis
Fernández Sanz (UEM).
Otras actividades de interés
-
Dr. Luis Fernández Sanz, Coordinador de la sección editorial de Ingeniería del
Software de la revista Novática.
-
Dr. Luis Fernández Sanz, Editor y fundador de la Revista Española de
Innovación, Calidad e Ingeniería del Software (www.ati.es/reicis).
-
Dr. Luis Fernández Sanz, Coordinador del Grupo de Calidad del Software de la
Asociación de Técnicos de Informática desde 2000
(www.ati.es/gtcalidadsoft)
-
Dr. Luis Fernández Sanz, Coordinador de la sección editorial de Ingeniería del
Software de la revista Novática.
-
Dr. Luis Fernández Sanz, Editor y fundador de la Revista Española de
Innovación, Calidad e Ingeniería del Software (www.ati.es/reicis).
-
Dr. Luis Fernández Sanz, Coordinador del Grupo de Calidad del Software de la
Asociación de Técnicos de Informática desde 2000
(www.ati.es/gtcalidadsoft)
Universidad Carlos III
Las actividades de investigación realizadas por el grupo de Ingeniería de
Software de la Universidad Carlos III de Madrid en el ámbito de la verificación
y validación de software tienen como principal propósito definir y experimentar
métodos, técnicas y herramientas que permitan:
-
Identificar y priorizar necesidades de mejora en los procesos de verificación y
validación de una organización especializada en la provisión de servicios o de
desarrollo de software
-
Estimar los costes de acciones de mejora y los beneficios de que se alcanzarán
con la consecución de mejoras puntuales en los procesos de verificación y
validación de software
-
Evaluar, con bajo coste, la capacidad y madurez de los procesos de verificación
y validación de software
-
Diseñar los procesos de verificación y validación de software especialmente
adaptado a las características de las organizaciones intensivas en software de
tamaño pequeño o muy pequeño
Gestionar y evaluar los cambios introducidos en los procesos de desarrollo de
software Asimismo, se trabaja actualmente en la evaluación de la presencia en
la docencia universitaria española de los temas y conceptos relacionados con la
enseñanza de las pruebas de software.
Instituto Tecnológico de Informática de Valencia
El grupo de Investigación SQuaC (Software Correctness and Quality) del Instituto
Tecnológico de Informática de la Universidad Politécnica de Valencia (ITI) está
formado por 5 personas. Desde su creación en Abril de 2003, el grupo SQuaC del
ITI lleva a cabo tareas de investigación y desarrollo en materia de calidad,
verificación y testeo de sistemas y software. El grupo trabaja a menuda con
empresas informáticas para transferir los resultados de la investigación y
ayudarlas a mejorar los procesos de desarrollo de software, en especial los
procesos de captura de requisitos y testeo.
El grupo SQuaC del ITI es el organizador del evento JTS (Jornadas sobre el
Testeo de Software), que en el año 2007 celebra su cuarta edición (http://www.iti.upv.es/jts2007).
Además el grupo ofrece cursos especializados en testeo (http://www.iti.upv.es/services/formacion).
Algunos de los proyectos de investigación realizados en la temática de calidad
de software del software son COMPAS - Diseño y verificación COMPosicional de
sistemAs abiertos y basados en componenteS (subvencionado por la Conselleria
Empresa, Universidad Y Ciencia GV05/261) y EvoTest ? Evolutionary Testing for
Complex Systems (subvencionado por la Comisión Europea, FP6-IST-33472).
Las diferentes líneas de investigación en calidad y testeo de software se
describen a continuación:
-
Mejora de procesos de testeo de software: El grupo SQUAC ha desarrollado
servicios de testeo de software que ofrecen a las empresas la posibilidad de
adquirir información sobre la eficacia de su proceso de testeo y la calidad de
su propio software.
-
Testeo de Funcionalidad, Usabilidad, Stress y Carga: El ITI ha puesto en marcha
un Test Factory para ayudar a las empresas con el testeo de funcionalidad,
usabilidad, carga y estrés de sus aplicaciones. El Test Factory, llamado
MAXlab, dispone de tecnología avanzado para llevar a cabo cualquier reto de
testeo.
-
Modelos de madurez para el testeo y la usabilidad. El grupo esta trabajando en
la creación y adaptación de modelos de madurez para evaluar procesos de testeo
y/o de ingeniería de usabilidad implantada en la PYME o micro-PYME.
-
Automatización del testeo. El grupo, en el ámbito de un proyecto Europea
EvoTest, hace investigación en el área de la generación automática de casos de
testeo utilizando algoritmos evolutivos.
-
Diseño y verificación composicional (DVC) de sistemas distribuidos basado en
componentes con UNITY/Seuss y I/O automata
Universidad Politécnica de
Valencia
El grupo de investigación ISSI de la
Universidad Politécnica de Valencia tiene una sólida experiencia en
técnicas y lenguajes de modelado de software. Históricamente nuestros esfuerzos
de investigación han dado como resultados tanto modelos formales como
herramientas asociadas, yendo desde entornos para prototipazo rápido hasta
compiladores de modelos que permiten generación automática de código en
modernas tecnologías de implementación. Nuestros intereses actuales incluyen:
Ingeniería de Requisitos, Métodos Formales, Arquitecturas Software, Modelado
Orientado a Objetos, Compiladores de Modelos, Desarrollo Orientado a Aspectos,
Sistemas Distribuidos, Evolución del Software, Ostión de Modelos, Gestión de
Flujos de Trabajo, Procesos Software, Bibliotecas Digitales, Sistemas
Safety-Oriented. En la mayoría de estas líneas de trabajo las actividades de
validación y verificación han estado presentes. A través de la participación en
esta red de pruebas, una parte de los miembros del grupo ISSI queremos
potenciar nuestro trabajo en pruebas del software, compartiendo conocimientos y
colaborando con otros grupos. Hasta el momento, el trabajo que hemos llevado a
cabo en actividades de pruebas puede ser agrupado en tres contextos: Académico,
Industrial y de Investigación.
-
Contexto Académico. Hemos aplicado un paquete experimental donde se
comparan técnicas de pruebas unitarias respecto de su efectividad para detectar
diferentes tipos de defectos en el software. El paquete experimental utilizado
ha sido elaborado por Natalia Jurista, Ana Moreno y Sira Vega, todas ellas de
la Universidad Politécnica de Madrid. Dentro de las actividades de una red
española de ingeniería de software empírica, este experimento ha sido replicado
en varias universidades. En la UPV, Silvia
Abrahao y Patricio Letelier,
miembros del grupo ISSI, han aplicado este paquete experimental en una
asignatura de 5to curso. Además, varios miembros del grupo ISSI están dan su
docencia en materias de ingeniería del software en las cuales las pruebas
unitarias, pruebas de aceptación y herramientas de soporte son parte de los
contenidos. Patricio Letelier ha dictado una larga lista de cursos para
empresas y charlas asociadas a metodologías para desarrollo de software
(METRICA, RUP y XP) y herramientas. Material e información acerca de estas
actividades académicas puede encontrarse en https://pid.dsic.upv.es.
-
Contexto Industrial. Mantenemos relaciones de colaboración con varias
empresas de la región de Valencia, donde estamos llevando a cabo actividades de
consultoría y desarrollo de software. En ambos tipos de actividad, las pruebas
del software han surgido de manera natural como un importante aspecto.
Actualmente estamos involucrados en un proyecto de mejora de proceso de
desarrollo de software, basado especialmente en desarrollo ágil y dirigido por
las pruebas. Estamos trabajando con técnicas y herramientas para pruebas
unitarias y pruebas funcionales. Patricio
Letelier y Emilio Insfran,
miembros del grupo ISSI, están involucrados en estas actividades.
-
Contexto de Investigación. La validación temprana de modelos
conceptuales ha sido uno de nuestros principales intereses. Hemos desarrollado
un marco de trabajo para validación, basado en técnicas de escenarios y en
generación automática de prototipos, usando métodos formales. A partir de un
conjunto de escenarios y usando Luna+ (our tool), el analista puede especificar
el modelo conceptual correspondiente (expresado mediante diagramas de clases y
diagramas de estado) y obtener automáticamente un prototipo. Posteriormente, el
analista puede especificar el comportamiento esperado del modelo usando
escenarios. Finalmente, al analista realiza o bien validación exploratoria,
simplemente ejecutando el prototipo y observando su comportamiento, o bien
validación dirigida, comparando el comportamiento esperado contra el
comportamiento ejecutado por el prototipo. Actualmente, aparte de de mejorar
nuestro marco de trabajo y la herramienta con respecto a validación de modelos
conceptuales, estamos adaptando nuestra herramienta para utilizarla en
validación de procedimientos de emergencia. Patricio
Letelier, Elena Navarro,
Manuel Llavador y Ángel Roche,
miembros del grupo ISSI, están involucrados en estas actividades. Algunas de
nuestras publicaciones en esta línea de trabajo son::
Validation of UML Classes through Animation,
Precise Yet Flexible Specification of Emergency Resolution Procedures,
Validación de Modelos usando Escenarios y Prototipado Automático.
Universidad Politécnica de
Madrid (fi)
-
Elaboración de un cuerpo de conocimiento empírico sobre técnicas de pruebas.
Actualmente se desconocen, en muchos casos, los costes y beneficios asociados a
las técnica de pruebas. Con esta línea de investigación se pretende conformar
un cuerpo de conocimiento empíricos sobre las distintas técnicas existentes.
Esto implica, por una parte, la realización de experimentos en los que se
comparan las distintas técnicas, y por otra parte, el análisis de los
resultados arrojados por los distintos experimentos realizados, con el fin de
obtener dicho conocimiento.
-
Clasificación de técnicas de pruebas. En la actualidad existen
numerosas técnicas de pruebas. Sin embargo no se conocen demasiado bien en
términos de las relaciones que existen entre ellas. Mediante esta línea de
investigación se quiere realizar una clasificación exhaustiva de técnicas de
pruebas, al estilo de las clasificaciones existentes en otras ciencias como
biología o química. Esta clasificación permitirá: (1) conocer mejor la
naturaleza de las técnicas; (2) identificar posibles huecos en la clasificación
que marquen nuevas líneas de investigación; (3) ayudar a los desarrolladores a
mejorar las selecciones de las técnicas de pruebas a utilizar en un proyecto,
acto que hoy en día se realiza en base a intuiciones o suposiciones, en lugar
de seguir un proceso riguroso y sistemático.
