Este documento describe las actividades de investigación de un grupo enfocado en el desarrollo de técnicas para la generación de casos de prueba, como objetos combinatorios y ecuaciones diofánticas. También incluye información sobre trabajos de tesis, artículos publicados, un repositorio de casos de prueba y aplicaciones como la detección de errores y pruebas de regresión.
1. •Grupo de investigaciónGrupo de investigación
•Aplicaciones de la vida realAplicaciones de la vida real
•Objetos combinatoriosObjetos combinatorios
•EcuacionesEcuaciones diofantinasdiofantinas
•Trabajos de tesisTrabajos de tesis
•Artículos publicadosArtículos publicados
•RepositorioRepositorio
•Detección de errores mediante CADetección de errores mediante CA
•Pruebas de regresiónPruebas de regresión
Diseño Experimental ÓptimoDiseño Experimental ÓptimoDiseño Experimental ÓptimoDiseño Experimental Óptimo
Funcionalidad de íconos
Funcionalidad de íconos
Diapositiva anterior
Diapositiva siguiente
Terminar presentación
Reproducir video
Menú principal
Ayuda
2. Dr. José Torres Jiménez
Nelson Rangel Valdez
Himer Ávila George
Ana Loreto González Hernández
Jorge Armando Martínez Peña
Oscar Alejandro Carrizales Turrubiates
Egresados:Egresados:
Daniel López Escogido
Esmeralda Covarrubias Flores
Josué Emmanuel Bracho Ríos
Pedro Quiz Ramos
Grupo de investigaciónGrupo de investigaciónGrupo de investigaciónGrupo de investigación
3. Cerca del 100% de las fallas conocidas de
sistemas de varios tipos, son exhibidas
usando interacciones de tamaño 6.
Cerca del 100% de las fallas conocidas de
sistemas de varios tipos, son exhibidas
usando interacciones de tamaño 6.
Aplicaciones de la vida realAplicaciones de la vida realAplicaciones de la vida realAplicaciones de la vida real
Porcentaje acumulado de fallas generadas por
interacciones entre t parámetros. (KhunKhun, et al. 2004, et al. 2004)
4. Objetos combinatoriosObjetos combinatoriosObjetos combinatoriosObjetos combinatorios
•Orthogonal arrays (OA)
•Covering arrays (CA)
•Covering arrays mixtos (MCA)
Son matrices de N×k. Las filas representan
los casos de prueba, las columnas son los
parámetros (cada columna tiene v posibles
configuraciones o valores) y t es el grado de
interacción controlada, es decir, todas las
configuraciones entre todos las
combinaciones de t parámetros son cubiertas
en tales matrices.
•Orthogonal arrays (OA)
•Covering arrays (CA)
•Covering arrays mixtos (MCA)
Son matrices de N×k. Las filas representan
los casos de prueba, las columnas son los
parámetros (cada columna tiene v posibles
configuraciones o valores) y t es el grado de
interacción controlada, es decir, todas las
configuraciones entre todos las
combinaciones de t parámetros son cubiertas
en tales matrices.
5. Ecuaciones diofantinasEcuaciones diofantinasEcuaciones diofantinasEcuaciones diofantinas
Ajustar un sistema es un proceso que involucra afinar los
parámetros que intervienen en él con el fin de alcanzar
un comportamiento deseado. En el caso de algoritmos, el
ajuste de sus parámetros es un medio a través del cual
se puede mejorar su desempeño. Tradicionalmente, la
construcción e casos de pruebas, que apoyen en el
diseño experimental para el ajuste de los parámetros, se
ha llevado a cabo a través de Diseños Factoriales y
Covering Arrays. En este proyecto, proponemos el uso
de Ecuaciones Diofantinas (EDs) como una alternativa
para la generación de casos de prueba que pueden ser
usados para el ajuste de un algoritmo. Los escenarios
donde las Eds son de especial interés es en aquellos
donde existen parámetros cuyos valores deben
discretizarse.
Ajustar un sistema es un proceso que involucra afinar los
parámetros que intervienen en él con el fin de alcanzar
un comportamiento deseado. En el caso de algoritmos, el
ajuste de sus parámetros es un medio a través del cual
se puede mejorar su desempeño. Tradicionalmente, la
construcción e casos de pruebas, que apoyen en el
diseño experimental para el ajuste de los parámetros, se
ha llevado a cabo a través de Diseños Factoriales y
Covering Arrays. En este proyecto, proponemos el uso
de Ecuaciones Diofantinas (EDs) como una alternativa
para la generación de casos de prueba que pueden ser
usados para el ajuste de un algoritmo. Los escenarios
donde las Eds son de especial interés es en aquellos
donde existen parámetros cuyos valores deben
discretizarse.
6. Trabajos de tesisTrabajos de tesisTrabajos de tesisTrabajos de tesis
•Caracterización del problema de minimización de ancho de
banda.
•Cálculo de Covering Arrays Binarios de Fuerza Variable,
Usando un Algoritmo de Recocido Simulado.
•Cálculo de Covering Arrays Mixtos Empleando el Problema de
Satisfactibilidad Proposicional
•Maximización de Renglones Constantes Para Covering Arrays
•A Branch & Bound Algorithm to Construct Small Instances of
Binary Covering Arrays of Variable Strength
•Verificación de Covering Arrays aplicando la supercomputación
y la computación Grid
•Un algoritmo de optimización combinatoria para la construcción deUn algoritmo de optimización combinatoria para la construcción de
CoveringCovering ArraysArrays Mixtos de fuerza variableMixtos de fuerza variable
•Construcción deConstrucción de CoveringCovering ArraysArrays ternarios de fuerza variableternarios de fuerza variable..
•Bipartición Bidimensional Óptima deBipartición Bidimensional Óptima de CoveringCovering ArraysArrays
7. Artículos publicadosArtículos publicadosArtículos publicadosArtículos publicados
Título Autores
Datos de la
Publicación
Computation of
Ternary Covering
Arrays Using a Grid
Jose Torres-Jimenez,
Carlos De Alfonso,
Vicente Hernandez
LNCS. Vol. 3285
pp. 240-246, 2004
Proportional-Integral-
Derivative Controllers
Tuning for Unstable
and Integral Processes
Using Genetic
Algorithms
Marco Antonio Paz-Ramos,
Jose Torres-Jimenez,
Enrique Q. Marmol Marquez
LNCS. Vol. 3037,
pp. 532-539, 2004
PID Controller Tuning
for Stable and Unstable
Processes Applying
GA
Marco Antonio Paz-Ramos,
Jose Torres-Jimenez,
Enrique Q. Marmol Marquez,
Hugo Estrada-Esquivel
LNCS. Vol. 3103,
pp. 1-10, 2004
Página 1 de 5
8. Artículos publicadosArtículos publicadosArtículos publicadosArtículos publicados
Título Autores
Datos de la
Publicación
Strength Two Covering
Arrays Construction
Using a SAT
Representation
Daniel Lopez-Escogido,
Jose Torres-Jimenez,
Eduardo Rodriguez-Tello,
Nelson Rangel-Valdez
MICAI 2008.
LNCS. Vol.
5317/2008, pp.
44-53. 2008
Constant Row
Maximizing Problem for
Covering Arrays
Pedro Quiz-Ramos,
Jose Torres-Jimenez,
Nelson Rangel-Valdez
MICAI 2009. IEEE
Artificial
Intelligence. pp.
159-164. 2009
A New Backtracking
Algorithm for
Constructing Binary
Covering Arrays of
Variable Strength
Josue Bracho-Rios,
Jose Torres-Jimenez,
Eduardo Rodriguez-Tello
MICAI 2009.
LNCS. Vol. 5845,
pp. 397-407, 2009
Página 2 de 5
9. Artículos publicadosArtículos publicadosArtículos publicadosArtículos publicados
Título Autores
Datos de la
Publicación
PROBLEM AND
ALGORITHM FINE-
TUNING, a case of
study using Bridge
Club and Simulated
Annealing
Nelson Rangel-Valdez,
Jose Torres-Jimenez,
Josue Bracho-Rios,
Pedro Quiz-Ramos
ICEC 2009. pp
302-305. 2009
Memetic Algorithms for
Constructing Binary
Covering Arrays of
Strength Three
Eduardo Rodriguez-Tello,
Jose Torres-Jimenez
LNCS. Vol. 5975,
pp. 86-97, 2010
Simulated Annealing
for Constructing Binary
Covering Arrays of
variable Strength
Jose Torres-Jimenez,
Eduardo Rodriguez-Tello
CEC 2010. IEEE
Congress. pp. 1-8
Página 3 de 5
10. Artículos publicadosArtículos publicadosArtículos publicadosArtículos publicados
Título Autores
Datos de la
Publicación
Verification of General
and Cyclic Covering
Arrays using Grid
Computing
Himer Avila-George,
Jose Torres-Jimenez,
Vicente Hernandez,
Nelson Rangel-Valdez
Globe 2010. pp.
112-123
A Heuristic Approach
for Constructing
Ternary Covering
Arrays Using Trinomial
Coefficients
Jorge Martinez-Pena,
Jose Torres-Jimenez,
Nelson Rangel-Valdez,
Himer Avila-George
IBERAMIA 2010,
LNAI. Vol. 6433,
pp. 572-581, 2010
A Branch and Bound
Algorithm for Ternary
Covering Arrays
Construction Using
Trinomial Coeffcients
Jorge Martinez-Pena,
Jose Torres-Jimenez
MICAI 2010
Página 4 de 5
11. Artículos publicadosArtículos publicadosArtículos publicadosArtículos publicados
Título Autores
Datos de la
Publicación
MiTS: A New Approach
of Tabu Search for
Constructing Mixed
Covering Arrays
Loreto Gonzalez-Hernandez,
Jose Torres-Jimenez
LNAI. Vol. 6438,
pp. 382-392
Construction of Mixed
Covering Arrays of
Variable Strength
Using a Tabu Search
Approach
Loreto Gonzalez-Hernandez,
Nelson Rangel-Valdez,
Jose Torres-Jimenez
COCOA'10
Página 5 de 5
12. RepositorioRepositorioRepositorioRepositorio
Este proyecto involucra el desarrollo y
mantenimiento de un depósito de Covering
Arrays (CAs). Este proyecto surge con el
propósito de apoyar en la mejora continua de
los CAs. Dado que muchas de las formas
existentes para mejorar los CAs en tamaño
tienen como ingredientes los CAs actuales,
contar con un sitio que ofrezca la posibilidad
de conseguir buenos CAs es ideal para este
propósito.
Este proyecto involucra el desarrollo y
mantenimiento de un depósito de Covering
Arrays (CAs). Este proyecto surge con el
propósito de apoyar en la mejora continua de
los CAs. Dado que muchas de las formas
existentes para mejorar los CAs en tamaño
tienen como ingredientes los CAs actuales,
contar con un sitio que ofrezca la posibilidad
de conseguir buenos CAs es ideal para este
propósito.
13. Detección de erroresDetección de erroresDetección de erroresDetección de errores
En el diseño de software ocurre un fenómeno
muy singular, la aparición de errores después
de hacer un cambio sustancial en el uso del
software. Este fenómeno se debe a que
durante el periodo de pruebas, generalmente
no se verifican diferentes interacciones entre
los parámetros del software. El uso de CAs
apoya en la detección temprana de este tipo
de fallas que para otras metodologías sería
más complejo identificar.
En el diseño de software ocurre un fenómeno
muy singular, la aparición de errores después
de hacer un cambio sustancial en el uso del
software. Este fenómeno se debe a que
durante el periodo de pruebas, generalmente
no se verifican diferentes interacciones entre
los parámetros del software. El uso de CAs
apoya en la detección temprana de este tipo
de fallas que para otras metodologías sería
más complejo identificar.
14. Pruebas de regresiónPruebas de regresiónPruebas de regresiónPruebas de regresión
Probar un software que ha sido modificado es
una tarea costosa si se lleva a cabo sin tomar
en cuenta las pruebas anteriores. Los CAs
pueden ser utilizados para definir un conjunto
mínimo de pruebas de software que
involucren solamente los nuevos módulos
agregados.
Probar un software que ha sido modificado es
una tarea costosa si se lleva a cabo sin tomar
en cuenta las pruebas anteriores. Los CAs
pueden ser utilizados para definir un conjunto
mínimo de pruebas de software que
involucren solamente los nuevos módulos
agregados.