Submitted by Amanda Silva (amanda.osilva2@ufpe.br) on 2015-04-14T14:31:29Z No. of bitstreams: 2 DISSERTAÇÃO Helena Castro de Alencar.pdf: 2079221 bytes, checksum: 2875286bea36dd3d26176f5e37154395 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-04-14T14:31:29Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Helena Castro de Alencar.pdf: 2079221 bytes, checksum: 2875286bea36dd3d26176f5e37154395 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / As suítes telejornalísticas são o objeto desta pesquisa – uma noção amplamente utilizada na prática profissional no Brasil, mas ainda pouco discutida academicamente. Para isso, foram utilizadas como fundamentação teórica as abordagens do construtivismo social, com base nos estudos e teorias do jornalismo, com destaque para a perspectiva do agendamento. Entendemos que a suíte telejornalística pode ser estudada como um tipo de agendamento que propomos de curto prazo. As discussões teóricas se articulam com o trabalho empírico de análise de conteúdo das edições do Jornal Nacional, da Rede Globo, veiculadas entre os dias 1º de janeiro e 30 de junho de 2012, totalizando 156 programas. Observamos que as chamadas suítes telejornalísticas possuem repercussões importantes no agendamento da sociedade em torno de determinadas pautas jornalísticas, influenciando, portanto, a visão de mundo preponderante, de acordo com a perspectiva de construção social da realidade e da agenda-setting theory.

Este trabalho objetiva fornecer subsídios para uma maior compreensão dos elementos estruturais da Suíte para Órgão do Oratório “Sete Palavras de Cristo na Cruz”, opus 257 (1991) do compositor brasileiro Amaral Vieira e sua relação com o Oratório, do mesmo nome, opus 255a, através da análise relacionada com o texto e contexto do Oratório. A metodologia consiste no levantamento de informações a cerca da obra, questionário destinado ao compositor sobre o Oratório e Suíte para Órgão, identificação de aspectos retóricos e análise musical da obra observando a relação texto/música. Este trabalho poderá contribuir para uma melhor compreensão da Suíte para Órgão de Amaral Vieira através do aprofundamento de seu conteúdo musical aqui apresentado. / This study investigates the context and relationship of the Suite for Organ from the Oratory “The Seven Last Words of Christ on the Cross”, opus 257 (1991) and the Oratory itself (opus 255a), both by the Brazilian composer Amaral Vieira, for a better understanding of its structural elements. The methodology includes the context of both works, a questionnaire directed to the composer, analysis of the Suite, and identification of rhetorical aspects as they pertain to the Oratory. This work may contribute to a better understanding of the Suite for Organ by Amaral Vieira through the musical content presented here.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-04T22:31:28Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA COUTINHO - TESE PPGCC 2015..pdf: 3805756 bytes, checksum: 2bee7d8777dfd753eb994680cd2bb6c5 (MD5) / Made available in DSpace on 2018-05-04T22:31:28Z (GMT). No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA COUTINHO - TESE PPGCC 2015..pdf: 3805756 bytes, checksum: 2bee7d8777dfd753eb994680cd2bb6c5 (MD5) Previous issue date: 2015-03-20 / Capes

Este trabalho objetiva fornecer subsídios para uma maior compreensão dos elementos estruturais da Suíte para Órgão do Oratório “Sete Palavras de Cristo na Cruz”, opus 257 (1991) do compositor brasileiro Amaral Vieira e sua relação com o Oratório, do mesmo nome, opus 255a, através da análise relacionada com o texto e contexto do Oratório. A metodologia consiste no levantamento de informações a cerca da obra, questionário destinado ao compositor sobre o Oratório e Suíte para Órgão, identificação de aspectos retóricos e análise musical da obra observando a relação texto/música. Este trabalho poderá contribuir para uma melhor compreensão da Suíte para Órgão de Amaral Vieira através do aprofundamento de seu conteúdo musical aqui apresentado. / This study investigates the context and relationship of the Suite for Organ from the Oratory “The Seven Last Words of Christ on the Cross”, opus 257 (1991) and the Oratory itself (opus 255a), both by the Brazilian composer Amaral Vieira, for a better understanding of its structural elements. The methodology includes the context of both works, a questionnaire directed to the composer, analysis of the Suite, and identification of rhetorical aspects as they pertain to the Oratory. This work may contribute to a better understanding of the Suite for Organ by Amaral Vieira through the musical content presented here.

Este trabalho objetiva fornecer subsídios para uma maior compreensão dos elementos estruturais da Suíte para Órgão do Oratório “Sete Palavras de Cristo na Cruz”, opus 257 (1991) do compositor brasileiro Amaral Vieira e sua relação com o Oratório, do mesmo nome, opus 255a, através da análise relacionada com o texto e contexto do Oratório. A metodologia consiste no levantamento de informações a cerca da obra, questionário destinado ao compositor sobre o Oratório e Suíte para Órgão, identificação de aspectos retóricos e análise musical da obra observando a relação texto/música. Este trabalho poderá contribuir para uma melhor compreensão da Suíte para Órgão de Amaral Vieira através do aprofundamento de seu conteúdo musical aqui apresentado. / This study investigates the context and relationship of the Suite for Organ from the Oratory “The Seven Last Words of Christ on the Cross”, opus 257 (1991) and the Oratory itself (opus 255a), both by the Brazilian composer Amaral Vieira, for a better understanding of its structural elements. The methodology includes the context of both works, a questionnaire directed to the composer, analysis of the Suite, and identification of rhetorical aspects as they pertain to the Oratory. This work may contribute to a better understanding of the Suite for Organ by Amaral Vieira through the musical content presented here.

Submitted by Fernando Menucci (menucci@gmail.com) on 2015-09-25T20:16:09Z No. of bitstreams: 1 merged.pdf: 5551154 bytes, checksum: ffba1681eef4e87cee11f102f098b7d6 (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2015-10-08T14:05:39Z (GMT) No. of bitstreams: 1 merged.pdf: 5551154 bytes, checksum: ffba1681eef4e87cee11f102f098b7d6 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2015-10-13T12:32:12Z (GMT) No. of bitstreams: 1 merged.pdf: 5551154 bytes, checksum: ffba1681eef4e87cee11f102f098b7d6 (MD5) / Made available in DSpace on 2015-10-13T12:32:24Z (GMT). No. of bitstreams: 1 merged.pdf: 5551154 bytes, checksum: ffba1681eef4e87cee11f102f098b7d6 (MD5) Previous issue date: 2015-08-25 / No jornalismo, são chamadas suítes as matérias que trazem a sequência de um fato já noticiado. Conforme a imprensa cresce na Internet, podemos ver frequentemente um mesmo fato sendo repetido em portais de notícias dia após dia. Este trabalho visa medir as quantidades de artigos a respeito de um mesmo assunto que tenha iniciado uma suíte, com esta medição acontecendo ao longo dos dias em que ele foi explorado. Os resultados permitiram que fossem encontrados padrões que identifiquem os dias em que os fatos mais relevantes foram noticiados, bem como o tempo em que o assunto foi desenvolvido. Para esta análise, foram escolhidos alguns dos mais importantes fatos que viraram suítes no Brasil ao longo dos últimos anos. As quantidades de artigos são provenientes do maior portal de notícias do país, o G1, e da base de dados do Media Cloud Brasil. / Follow-ups are that kind of article that brings a sequence of a fact. As long as Journalism becomes digital, we can often see a same fact being repeated day after day on news websites. This work will measure the amounts of articles about a fact that starts a follow-up along the days that it was explored, finding patterns and the extension of the follow-up, also identifying days when the most significant facts were registered. Some of the main events that were turned to follow-ups in Brazil in the last years were choosen to be analysed. The amounts of articles comes from the biggest news website of the country, G1, and from the database of Media Cloud Brasil.

Submitted by Lucienne Costa (lucienneferreira@ufcg.edu.br) on 2018-05-02T20:48:28Z No. of bitstreams: 1 ALAN KELON OLIVEIRA DE MORAES – TESE (PPGCC) 2017.pdf: 2206784 bytes, checksum: 9e05994ae273d28b9871d8d16769dac8 (MD5) / Made available in DSpace on 2018-05-02T20:48:28Z (GMT). No. of bitstreams: 1 ALAN KELON OLIVEIRA DE MORAES – TESE (PPGCC) 2017.pdf: 2206784 bytes, checksum: 9e05994ae273d28b9871d8d16769dac8 (MD5) Previous issue date: 2017-08-31 / O teste baseado em modelos é uma abordagem de teste de software que usa modelos abstratos de uma aplicação para gerar, executar e avaliar os testes. A geração de casos de testes exerce um papel importante no teste baseado em modelos. Como essa geração consiste na busca sistemática por casos de testes que possam ser extraídos dos modelos, o teste baseado em modelos geralmente produz suítes de testes que são caras demais para serem executadas completamente. Técnicas de redução de suítes de testes têm sido propostas para abordar este problema. O objetivo dessas técnicas é obter suítes de testes reduzidas que são mais baratas de serem executadas e tão efetivas na detecção de faltas quanto as suítes completas, dado que as suítes reduzidas mantém o mesmo nível de cobertura, definido por um critério de adequação de testes, da suíte completa. Esses critérios definem que partes do sistema serão testados, com que frequência e sob quais circunstâncias. Entretanto, pouca atenção tem sido dada ao impacto que a escolha do critério tem na redução de suítes de testes. Por outro lado, sistemas de tempo-real são sistemas reativos cujos comportamentos são restringidos pelo tempo. Consequentemente, faltas relacionadas ao tempo são específicas desses sistemas. Para lidar com isso, modelos para sistemas de tempo real devem trabalhar com tempo e, consequentemente, há critérios de adequação de testes específicos para eles. Contudo, a pesquisa sobre redução de suítes de testes não tem focado em sistemas de tempo-real, portanto o impacto de critérios de adequação de testes na redução de suítes é desconhecido. Nesta pesquisa de doutorado objetivamos investigar a influência de critérios de adequação de testes nos resultados da redução de suítes de testes no contexto de teste baseado em modelos de sistemas de tempo-real. Em particular, nós estamos interessados no modelo Timed Input-Output Symbolic Transition Systems (TIOSTS), porque ele é um modelo de sistema de transições no qual dados e tempo são definidos simbolicamente, já que sistemas de transição são a base para o teste de conformidade de sistemas de tempo real. Para alcançar o objetivo da pesquisa, primeiramente, nós definimos 19 critérios de adequação de testes para o modelo TIOSTS. Os critérios definidos incluem critérios baseados em transições, fluxo de dados e tempo. Depois nós formalizamos uma hierarquia com esses critérios, onde eles estão parcialmente ordenados pela relação de inclusão estrita. Segundamente, nós avaliamos empiricamente o custo-benefício de doze dos critérios definidos e cinco técnicas de redução de suítes de testes. Nós avaliamos o tamanho, o tempo de execução e a detecção de faltas das suítes de testes reduzidas de cada uma das 60 combinações de critério e técnica. No experimento, nós usamos modelos de especificação, em TIOSTS, de uma máquina de recarga de cartão do metrô, de um sistema de alarme anti-roubo e de um limitador automático de velocidade de carros. Além disso, usamos simulações das implementações, que geram rastros corretos para os modelos. Por fim, o teste de mutação foi usado para gerar mutantes dos modelos de especificação, que, por sua vez, foram traduzidos para simulações com a finalidade de simular modelos de implementações defeituosas. As evidências empíricas sugerem que os critérios de adequação de testes mais próximos do topo da hierarquia produziram suítes reduzidas com melhor custo-benefício com relação à detecção de faltas e tempo de execução. Com relação às técnicas de redução, a técnica aleatória obteve melhor custo-benefício dentre as técnicas avaliadas. Os resultados apontam que os critérios explicam mais a variação nos resultados do que as técnicas. / Model-based testing is a testing approach that relies on the existence of abstract models of an application to generate, execute and evaluate tests. Test case generation plays an important role in model-based testing. Since it consists of a systematic search for test cases that can be extracted from models, model-based testing usually generates large test suites which are too expensive to execute in full. Test suite reduction techniques have been proposed to address this problem. The goal of the techniques is to obtain reduced test suites that are both cheaper to execute and as effective at detecting faults as the original suite, given that the reduced test suites maintain the same coverage level of the complete test suite required by a test adequacy criterion. These criteria define which parts of the system are going to be tested, how often and under what circumstances. Nevertheless, little attention has been paid to the impact of the criterion choice in test suite reduction research. On the other hand, real-time systems are reactive systems whose behavior is constrained by time. Consequently, time-related faults are specific to these systems. In order to cope with this issue, models for real-time systems must deal with time and, consequently, there are specific test adequacy criteria for them. However, test suite reduction research has not focused on real-time systems, therefore the impact of test adequacy criteria for models of real-time systems on test suite reduction is unknown. In this doctoral research, we aim at investigating the influence of test adequacy criteria on the outcomes of test suite reduction techniques in the context of model-based testing of real-time systems. In particular, we are interested in the Timed Input-Output Symbolic Transition Systems (TIOSTS) model because it is an expressive transition system in which data and time are symbolically defined, and transition systems are the basis for conformance testing of real-time systems. In order to achieve the research objective, first, we defined 19 test adequacy criteria for TIOSTS models. The defined criteria include transition-based criteria, data-flow-oriented criteria and real-time systems criteria. Next, we formalized a hierarchy with these criteria which is partially ordered by the strict inclusion relation. Second, we evaluated the cost-effectiveness of twelve criteria and five test suite reduction techniques in empirical studies of test suite reduction. We evaluated the size, execution time and fault detection of reduced test suites obtained from each combination of criterion and technique. In the experiment, we used TIOSTS specification models of a refilling machine for charging the subway card, a burglar alarm system, and an automated car speed limiter; simulations of the implementations, which generate correct traces for the models; and mutation testing to generate mutants of the specification models, which were also translated to simulations in order to simulate faulty model implementations. Empirical evidence suggests that test adequacy criteria closer to the top of the family obtained reduced test suites with better costeffectiveness regarding fault detection and execution time. With respect to the test suite reduction techniques, the Random technique obtained better cost-effectiveness among the evaluated criteria. Results also suggests that the criteria explain more the variation in fault detection and execution time of reduced test suites than the techniques.