Aplicando programación lineal entera a la búsqueda de conjuntos de productos de prueba priorizados para líneas de productos software

Las líneas de productos software son familias de productos que están íntimamente relacionados entre sí, normalmente formados por combinaciones de un conjunto de características software. Generalmente no es factible testar todos los productos de la familia, ya que el número de productos es muy elevado debido a la explosión combinatoria de características. Por este motivo, se han propuesto criterios de cobertura que pretenden probar al menos todas las interacciones entre características sin necesidad de probar todos los productos, por ejemplo todos los pares de características (emph{pairwise coverage}). Además, es deseable testar primero los productos compuestos por un conjunto de características prioritarias. Este problema es conocido como emph{Prioritized Pairwise Test Data Generation}. En este trabajo proponemos una técnica basada en programación lineal entera para generar este conjunto de pruebas priorizado. Nuestro estudio revela que la propuesta basada en programación lineal entera consigue mejores resultados estadísticamente tanto en calidad como en tiempo de computación con respecto a las técnicas existentes para este problema.

Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos

El problema de selección de requisitos (o Next Release Problem, NRP) consiste en seleccionar el subconjunto de requisitos que se va a desarrollar en la siguiente versión de una aplicación software. Esta selección se debe hacer de tal forma que maximice la satisfacción de las partes interesadas a la vez que se minimiza el esfuerzo empleado en el desarrollo y se cumplen un conjunto de restricciones. Trabajos recientes han abordado la formulación bi-objetivo de este problema usando técnicas exactas basadas en resolutores SAT y resolutores de programación lineal entera. Ambos se enfrentan a dificultades cuando las instancias tienen un gran tamaño, sin embargo la programación lineal entera (ILP) parece ser más efectiva que los resolutores SAT. En la práctica, no es necesario calcular todas las soluciones del frente de Pareto (que pueden llegar a ser muchas) y basta con obtener un buen número de soluciones eficientes bien distribuidas en el espacio objetivo. Las estrategias de búsqueda basadas en ILP que se han utilizado en el pasado para encontrar un frente bien distribuido en cualquier instante de tiempo solo buscan soluciones soportadas. En este trabajo proponemos dos estrategias basadas en ILP que son capaces de encontrar el frente completo con suficiente tiempo y que, además, tienen la propiedad de aportar un conjunto de soluciones bien distribuido en el frente objetivo en cualquier momento de la búsqueda.

Propuesta de un modelo metodológico ágil de contexto aplicativo organizacional para proyectos de software

92 p.

Towards Distributed Model Transformations with LinTra

Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous works we introduced LinTra, a platform for executing model transformations in parallel. LinTra is based on the Linda model of a coordination language and is intended to be used as a middleware where high-level model transformation languages are compiled. In this paper we present the initial results of our analyses on the scalability of out-place model-to-model transformation executions in LinTra when the models and the processing elements are distributed over a set of machines.

Generating Effective Test Suites for Model Transformations Using Classifying Terms

Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying terms are used to define the equivalence classes that characterize the relevant subgroups for the test cases. From each equivalence class of object models, several representative models are chosen depending on the required sample size. We compare our results with test suites developed using random sampling, and conclude that by using an ordered and stratified approach the coverage and effectiveness of the test suite can be significantly improved.

Un repositorio RDF para la Integración de Flujos de Datos de Analítica Web y Comercio Electrónico

La Analítica Web supone hoy en día una tarea ineludible para las empresas de comercio electrónico, ya que les permite analizar el comportamiento de sus clientes. El proyecto Europeo SME-Ecompass tiene como objetivo desarrollar herramientas avanzadas de analítica web accesibles para las PYMES. Con esta motivación, proponemos un servicio de integración de datos basado en ontologías para recopilar, integrar y almacenar información de traza web procedente de distintas fuentes.Estas se consolidan en un repositorio RDF diseñado para proporcionar semántica común a los datos de análisis y dar servicio homogéneo a algoritmos de Minería de Datos. El servicio propuesto se ha validado mediante traza digital real (Google Analitics y Piwik) de 15 tiendas virtuales de diferentes sectores y países europeos (UK, España, Grecia y Alemania) durante varios meses de actividad.

Semantic relations: Modelling issues, proposals and possible applications

Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. This is a pervasive problem in both Software Engineering and Artificial Intelligence. Thus, we find semantic links that can have multiple interpretations, abstractions that are not enough to represent the relation richness of problem domains, and even poorly structured taxonomies. However, if provided with precise semantics, some of these problems can be avoided, and meaningful operations can be performed on them that can be an aid in the ontology construction process. In this paper we present some insightful issues about the representation of relations. Moreover, the initiatives aiming to provide relations with clear semantics are explained and the inclusion of their core ideas as part of a methodology for the development of ontology-based linguistic resources is proposed.

Bringing forward semantic relations: Issues and proposals

Semantic relations are an important element in the construction of ontologies and models of problem domains. Nevertheless, they remain fuzzy or under-specified. This is a pervasive problem in software engineering and artificial intelligence. Thus, we find semantic links that can have multiple interpretations in wide-coverage ontologies, semantic data models with abstractions that are not enough to capture the relation richness of problem domains, and improperly structured taxonomies. However, if relations are provided with precise semantics, some of these problems can be avoided, and meaningful operations can be performed on them. In this paper we present some insightful issues about the modeling, representation and usage of relations including the available taxonomy structuring methodologies as well as the initiatives aiming to provide relations with precise semantics. Moreover, we explain and propose the control of relations as a key issue for the coherent construction of ontologies.

Estudio de investigación de las competencias demandadas y del perfil profesional requerido a los titulados de la Escuela Universitaria de Ingeniería de Vitoria-Gasteiz

A partir del análisis del perfil del ingeniero en la sociedad europea, se ha elaborado una encuesta amplia mediante la que se solicitó a las empresas del entorno las competencias y materias que consideraban más importantes en la formación de los ingenieros de las titulaciones ofertadas en la Escuela. A partir de los resultados de dichas encuestas, se establece un perfil requerido a los titulados.

Una ingeniería didáctica para calcular el volumen del icosaedro

Los 5 poliedros regulares han sido modelo de la ciencia para los griegos y modelo de la astronomía para Kepler. Sin embargo, a pesar de su gran valor epistemológico su estudio es normalmente muy superficial en los cursos de Secundaria. Hace 20 años me formulé esta sencilla pregunta: ¿Cómo podemos calcular el volumen del icosaedro y del dodecaedro regular, conociendo solamente la medida de la arista? Esta pregunta dio lugar a una fascinante investigación, que comenzó en la búsqueda de diferentes medios para construir poliedros (se puede ver en la foto de la derecha un modelo a usar durante el taller) , un trabajo muy interesante con el álgebra de los irracionales cuadráticos, el uso de la trigonometría y el descubrimiento de varias y sorpresivas propiedades geométricas relacionadas algunas con el número áureo. Durante el curso los participantes aprenderán a construir, con regla y compás el pentágono regular(comenzando con su lado) , de la forma más simple y exacta, con su justificación paso a paso. Esto es imprescindible ya que en ambos el icosa y el dode hay numerosos pentágonos regulares. Este curso o taller es tan sólo un pequeño paseo en el increíble mundo de los 5 poliedros regulares, un mundo lleno de tesoros matemáticos, un mundo que espera a ser explorado y descubierto.

La evaluación del desempeño docente como medio para el diseño de un programa de Formación, capacitación y desarrollo de los profesores de la Facultad de Ingeniería Mecánica y Eléctrica

Tesis (Maestría en Ciencias de la Administración con Especialidad en Relaciones Industriales) UANL

Estudios de ingeniería de tránsito para la planeación regional del transporte carretero por Arturo Coronado García

Tesis (Maestría en Ciencias, con especialidad en Ingeniería de Tránsito) U. A. N. L.

Areas de ubicación de los egresados de la carrera de Ingeniería en Sistemas Computacionales del Instituto Tecnológico de Nuevo Laredo

Tesis (Maestría en Ciencias de la Administración con Especialidad en Sistemas) U.A.N.L. Facultad de Ingeniería Mecánica y Eléctrica, 1999.

Factores que afectan el desempeño acádemico de los estudiantes de la carrera de ingeniería en sistemas computacionales del Instituto Tecnológico de Nuevo Laredo

Tesis (Maestro en Ciencias de la Administración con Especialidad en Sistemas) - Universidad Autónoma de Nuevo León,

Perfil requerido del egresado de ingeniería en electrónica y comunicaciones

Tesis (Maestría en Ciencias de la Administración con Especialidad en Relaciones Industriales) - UANL, 2000