Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Fala Manguinhos!: a construção de uma agência de comunicação comunitária em favelas e conjuntos habitacionais cariocas

Esta dissertação analisa a prática da Comunicação Social no Brasil, uma das questões mais importantes para a estruturação e manutenção do poder na sociedade, evidenciada, mais uma vez, com a crise institucional iniciada em 2014, que colocou o direito à produção e divulgação de informações e opiniões no centro do debate nacional. Para tanto, tomou-se como referência as condições políticas, administrativas e operacionais presentes na experiência da Agência de Comunicação Comunitária do Complexo de Manguinhos, aglomerado de favelas e conjuntos habitacionais populares da cidade do Rio de Janeiro.

Espaço de todos ou de ninguém: análise morfológica de transformações espaciais dos Conjuntos Residenciais Parque Serrambi em Natal/ RN

This work analyses the effects of form over the emergence of new patterns of use and occupation in public spaces of housing estates designed in the 1980s and 1990s in Natal’s municipality (Brazil). We start from the premise that form acts on social process (HILLIER; HANSON, 1984), and verify how much the original spatial configuration of Parque Serrambi housing states contributed to the creation of new spatial patterns following the interventions of the people living there. The Serrambi states were built in Natal’s south based on an urbanization model following modernist’s principals and aimed to supply demands for popular dwellings. They were one of the last estates financed by the former National Dwelling Bank (BNH) and supervised by the Dwelling Cooperatives Orientation Institute (INOCOOP), materialized a spatial form different from the highrise dwelling experiences from the same period. The results were obtained through configurational analysis based on Space Syntax conceptual and methodological framework, in which space and society are viewed as interrelated. The analyses was based on represanting and quantifying spatial properties and identificatying social patterns related to the interventions. We identified that the original spatial configurations, associated to subtle changes in the states social patterns, analysed independently of non-morphological categories, gave way to the occupation patterns verrified in both Serrambi cases.

Aplicación de los conjuntos de selección en la estrategia de mercadeo

Debe ser motivo de análisis y evaluación frecuente en las empresas de bienes y servicios su posicionamiento y el grado de recordación por parte del consumidor objetivo. Es sobre estasbases que se construye cualquier estrategia tendiente a incursionar en nuevos mercados o a afianzar la participaciónen los ya existentes. Partiendo de un análisis situacional y unainvestigación directa en campo, el trabajo sobre el cual se ha elaborado el presente artículo propone una estrategia de mercadeo dirigida a segmentos específicos con necesidades diversas. Como objetivo final de las medidas propuestas, se espera incluir a la empresa en los conjuntos de selección de un mayor número de clientes.

Exclusão social e projetos habitacionais. Um estudo sobre conjuntos habitacionais, segregação e exclusão social em Natal/RN

In Natal s urban growth process it is given that the performance period of the National Housing Bank (BNH, 1964-1986) was marked by the intense expansion of the urban grid and configuration of outskirts, through the construction of social housing developments. Implanted in segregated areas of the existing formal city, the population installed in these complexes was also excluded from their rights, considering that the housing defines itself not only by the physical dwelling, but also by its access to urban infrastructure, facilities, services, and others. From this reality and the verification of the city s exclusion and sociospatial segregation processes, we aimed to quantitatively demonstrate levels of social exclusion in Natal, based on the methodology developed by Sposati (2000) and adapted by Genovez (2002), which relates IBGE s (Brazilian Institute of Geography and Statistics) database underlying variables such as income, schooling and dwelling s quality. The research unveiled some spatial patterns promoted by the social housings: in these areas islands were developed with higher indicators than surrounding areas, revealing internal hierarchies in the city s outskirts

Conjuntos numéricos y aritmética

Conjuntos numéricos y aritmética, plantea, de manera descriptiva, un recorrido por los diferentes conjuntos numéricos. La pretensión inicialmente, ha sido partir del planteamiento y definición del conjunto numérico más elemental como lo es el conjunto de los números naturales, hasta llegar a su ampliación, por necesidades de cálculo y solución de operaciones, al conjunto de los números complejos. Por esta vía se transita, entonces, pasando por el conjunto de los números enteros, racionales, irracionales y reales, sin abordar, en ningún momento, estos conjuntos con enfoques o análisis axiomáticos. La colección Lecciones de matemáticas, iniciativa del Departamento de Ciencias Básicas de la Universidad de Medellín y del grupo de investigación SUMMA, incluye en cada número la exposición detallada de un tema matemático, tratado con mayor profundidad que en un curso regular. Las temáticas incluyen: álgebra, trigonometría, cálculo, estadística y probabilidades, álgebra lineal, métodos lineales y numéricos, historia de las matemáticas, geometría, matemáticas puras y aplicadas, ecuaciones diferenciales y empleo de software para la enseñanza de las matemáticas. Todas las carátulas de la colección vienen ilustradas, a manera de identificación, con diseños de la geometría fractal cuya fuente u origen se encuentra referenciada en las páginas interiores de los textos.

Teoria dos conjuntos projectivos

Doutoramento em Economia

Exclusão social e projetos habitacionais. Um estudo sobre conjuntos habitacionais, segregação e exclusão social em Natal/RN

In Natal s urban growth process it is given that the performance period of the National Housing Bank (BNH, 1964-1986) was marked by the intense expansion of the urban grid and configuration of outskirts, through the construction of social housing developments. Implanted in segregated areas of the existing formal city, the population installed in these complexes was also excluded from their rights, considering that the housing defines itself not only by the physical dwelling, but also by its access to urban infrastructure, facilities, services, and others. From this reality and the verification of the city s exclusion and sociospatial segregation processes, we aimed to quantitatively demonstrate levels of social exclusion in Natal, based on the methodology developed by Sposati (2000) and adapted by Genovez (2002), which relates IBGE s (Brazilian Institute of Geography and Statistics) database underlying variables such as income, schooling and dwelling s quality. The research unveiled some spatial patterns promoted by the social housings: in these areas islands were developed with higher indicators than surrounding areas, revealing internal hierarchies in the city s outskirts

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.