Os estudos sobre escolha e preferência do comportamento individual a partir de esquemas concorrentes tornaram mais clara a função relativa do reforço no comportamento. No nível cultural, por sua vez, não há estudos experimentais sobre a função relativa de consequências culturais a partir de metacontingências concorrentes, o que certamente limita a compreensão do que leva um grupo a escolher/preferir engajar-se em uma prática em detrimento de outra. O presente trabalho teve o objetivo de aferir experimentalmente a frequência relativa de duas contingências comportamentais entrelaçadas (CCEs) como função da exigência de dois esquemas de razão concorrentes para produção de consequências culturais. Os esquemas de razão para cada contingência entrelaçada foram diferentes a depender da condição (conc FR1 FR1, FR1 FR2, FR1, FR3, FR2 FR2 e FR2 FR3). As duas contingências entrelaçadas relevantes para a produção de consequências culturais foram descritas na instrução, de modo a reduzir variações. Participaram do estudo 12 estudantes universitários divididos em quatro tríades. A tarefa experimental consistiu na escolha de linhas de uma matriz composta por dez linhas e dez colunas, sendo as linhas compostas por cinco cores diferentes alternadas, de modo que cada cor estivesse presente em uma linha par e outra ímpar. Consequências individuais (ganho de fichas trocáveis por dinheiro) foram contingentes a escolhas de linhas ímpares. Consequências culturais (itens escolares a serem doados a uma instituição) foram contingentes a sequências específicas de cores, que correspondiam às escolhas de linhas por cada um dos três participantes. Teve-se como resultados que as Tríades I e II tenderam à estereotipia da CCE associada ao esquema de menor razão ao final das condições, o que não ocorreu para as Tríades III e IV. Para as Tríades I e II, variações tenderam a ocorrer após mudanças de condições em que havia aumento da intermitência de consequências culturais associadas à CCE mais frequente. Também para as Tríades I e II, verbalizações sobre o procedimento foram mais frequentes nos períodos em que variações entre as CCEs relevantes foram mais frequentes. Para as Tríades III e IV, durante a maior parte do estudo não houve diferenciação da frequência entre as duas CCEs às quais consequências culturais eram contingentes, embora tenha havido diferenciação das duas CCEs em relação a outras / Studies about choice and preference using concurrent schedules contributed to better understand the relative function of the reinforcer on behavior. However, at the cultural level there are no experimental studies regarding the relative function of cultural consequences using concurrent metacontingencies, which certainly restricts the understanding about which variables lead a group to choose or prefer to engage in a practice over another. The objective of this experimental study was to assess the relative frequency of two interlocking behavior contingencies (IBCs) as a function of two fixed ratio schedules to produce cultural consequences. The ratio schedules to each interlocking contingency were different depending on the condition (conc FR1 FR1, FR1 FR2, FR1 FR3, FR2 FR2 and FR2 FR3). Both relevant interlocks for the production of cultural consequences were described in the instructions in order to reduce variability. 12 college students participated, divided into four triads. The experimental task consisted of row choices in a matrix comprising ten rows and ten columns, the rows being composed of five different colors, so that each color was present in an even and in an odd row. Individual consequences (earn of coins interchangeable for money) were contingent to the choice of odd rows. Cultural consequences (school supplies to be donated) were contingent to specific sequences of colors that corresponded to the combined row choices of the three participants. The results showed that Triads I and II leaned towards IBC stereotypy associated to the low ratio schedule at the end of the conditions, which did not occur for Triads III and IV. Triads I and II showed that variations tended to occur after experimental condition changes in which there were increased of the ratio schedule to cultural consequences associated to the more frequent IBC. Also, for Triads I and II, verbalizations about the procedure were more frequent when variations between the two IBCs were higher. For Triads III and IV, for most of the study there was no difference in frequency of the two relevant IBCs, although there was difference between the two relevant IBCs in relation to others

O teste de programas concorrentes é uma atividade que envolve diferentes perspectivas. Uma das mais conhecidas refere-se ao desenvolvimento de novos conhecimentos sobre critérios, modelos e ferramentas de teste que auxiliem o testador nessa atividade. Outra perspectiva, igualmente importante, porém, ainda incipiente, é a avaliação da atividade de teste de programas concorrentes com relação à sua eficiência e eficácia para revelar defeitos de difícil detecção. O projeto TestPar em desenvolvimento no ICMC/USP tem abordado essas duas perspectivas ao longo dos últimos anos, onde novas tecnologias de teste vêm sendo desenvolvidas e avaliadas sistematicamente. Este trabalho inseriu-se no contexto do projeto TestPar e teve por objetivo principal contribuir para melhorar a avaliação da atividade de teste de programas concorrentes, através do desenvolvimento de benchmarks específicos para este contexto. Essa avaliação representa um desafio para a área de teste, sendo essencial a existência de benchmarks simples o bastante para serem validados manualmente, se necessário, e complexos o bastante para exercitar aspectos não triviais de comunicação e sincronização, encontrados de fato nos programas concorrentes. Assim, neste trabalho de mestrado foram desenvolvidos benchmarks livres de defeitos conhecidos e algumas versões de benchmarks com defeitos intencionalmente inseridos, baseados em taxonomias de defeitos. Esses benchmarks seguiram uma série de características bem definidas, contando ainda com uma documentação padronizada e completa. Os benchmarks foram validados através da condução de estudos experimentais, do uso em diferentes projetos de pesquisa e também com a verificação da sua aplicabilidade para fins educacionais. Os resultados obtidos demonstram que os benchmarks atingiram os objetivos para os quais foram propostos, gerando uma demanda controlada e qualificada sobre modelo, critérios e a ferramenta de teste desenvolvidos no projeto TestPar. Os experimentos realizados permitiram destacar pontos positivos e limitações desses artefatos. Outra aplicação dos benchmarks foi como recurso educacional para o ensino em disciplinas como programação concorrente. / The testing of concurrent programs is an activity that involves distinct perspectives. One of the most known refers to the development of new knowledge about criteria, models and testing tools to support this activity. Other perspective, as important as the first one and still incipient, is the evaluation of the testing activity of concurrent programs with respect to its efficiency and effectiveness in revealing errors hard to detect. The TestPar project under development at ICMC/USP has addressed both these two perspectives over the past years, where new testing technologies are being proposed and evaluated systematically. This project belongs to the context of the TestPar project, aiming to improve the evaluation of the testing activity of concurrent programs through the development of benchmarks specific for this context. This evaluation represents a challenge to the testing area, which must consider benchmarks simple enough to be validated manually, if necessary, but also complex enough to exercise not trivial aspects of communication/synchronization, found in programs used indeed. Thus, in this work it were developed bug-free benchmarks and some versions of faulty benchmarks with bugs inserted, based on error taxonomies. These benchmarks followed a series of well-defined features, including also a standardized and complete documentation. Benchmarks were validated by means of diferent scenarios: experimental studies, their use by different on-going research projects and also with the verification of their applicability for educational aims. The results obtained show that our benchmarks have achieved their objectives, generating a controlled and qualified demand on model, criteria and the tool developed under TestPar project. The experiments reveal strengths and limitations of these artifacts. Benchmarks have been also used as educational resources for the teaching of concurrent programs.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-02-21T17:59:44Z No. of bitstreams: 1 texto completo.pdf: 1672077 bytes, checksum: d539af1b49f12312b72fe8413ab40574 (MD5) / Made available in DSpace on 2017-02-21T17:59:44Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1672077 bytes, checksum: d539af1b49f12312b72fe8413ab40574 (MD5) Previous issue date: 2003-03-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Com o objetivo desenvolver um sistema de secagem para arroz parboilizado, em função da importância social e econômica e da necessidade de mais informações técnicas e científicas sobre o processamento deste produto, foi projetado, construído e avaliado um sistema de secagem em lotes, intermitente, de fluxos concorrentes, com resfriamento em fluxos contracorrentes. Para realizar os testes utilizou-se arroz da cultivar Jequitibá. Para realização da parboilização do produto, o arroz seco em casca foi colocado em tanques com água à temperatura de 65°C , durante 210 minutos para realizar o processo de encharcamento dos grãos. Após foi autoclavado à temperatura de 110 °C e pressão de 0,6 kgf/cm 2 , durante 10 minutos. Foram conduzidos três tratamentos de secagem, com três testes cada. Os testes foram realizados com temperaturas de secagem de 80, 100 e 120 °C. A umidade inicial do produto foi diferente para cada teste realizado. Para avaliação da qualidade do produto foi extraída uma quantidade de arroz parboilizado, de cada teste, para realizar secagem em terreiro, cujo objetivo foi obter a testemunha, visando comparar com o produto secado no sistema desenvolvido. Para avaliação da eficiência energética do sistema, mediu-se o consumo de combustível e o consumo de energia elétrica. Com base nos resultados foi possível observar que a utilização de 120 °C no ar de secagem mostrou-se eficiente energeticamente e não danificou o produto; o teste de secagem realizado a 100 °C necessitou 58,3 e 22,2 % menos combustível que os conduzidos a 80 e 120 °C, respectivamente; e que a qualidade final do produto foi semelhante para todos os tratamentos. / The objective of this study was to develop a drying system for the parboiled rice as a function of the social and economical importance and the need for more technical and scientific information about processing this product. So, an intermittent batch-drying system provided with either concurrent flows and countercurrent cooling flows was projected, built and evaluated. The Jequitibá cv. was used to accomplishing the tests. To parboilize the product, the husk-dried rice were placed into tanks containing water at a temperature of 65°C, and was left there for 210 minutes to perform the grain soaking process. Then, the product was autoclaved at temperature of 110 °C and pressure of 0.6 kgf/cm 2 for 10 minutes. Three drying treatments were carried out with three tests each one. The tests were performed, by using three drying temperatures: 80, 100 and 120 °C. The initial moisture of the product was different for each test. To evaluate the quality of the product, an amount of the parboiled rice was taken from each test to be dried on the yard, aiming to obtain the control in order to compare the product dried in the developed system. To evaluate the system energy efficiency, the consumption of both fuel and electric power were measured. According to the results, the drying air temperature of 120 o C showed to be energetically efficient, besides not injuring the product; the drying tests accomplished at 100 o C required 58.3 and 22.2% less fuel than those carried out at 80 and 120 o C, respectively; the quality of the product was similar for all treatments. / Dissertação importada do Alexandria

Submitted by Lucca Pizzo Mathias (lucca.pizzo@unesp.br) on 2018-09-24T17:41:01Z No. of bitstreams: 1 Dissertação_Lucca_Pizzo_Mathias_2018.pdf: 1623204 bytes, checksum: 85ff5e8c02e24ac3e37ca24ae44d1a38 (MD5) / Approved for entry into archive by Neli Silvia Pereira null (nelisps@fcav.unesp.br) on 2018-09-25T12:44:17Z (GMT) No. of bitstreams: 1 mathias_lp_me_jabo.pdf: 1623204 bytes, checksum: 85ff5e8c02e24ac3e37ca24ae44d1a38 (MD5) / Made available in DSpace on 2018-09-25T12:44:17Z (GMT). No. of bitstreams: 1 mathias_lp_me_jabo.pdf: 1623204 bytes, checksum: 85ff5e8c02e24ac3e37ca24ae44d1a38 (MD5) Previous issue date: 2018-08-29 / Objetivo: Este trabalho tem como objetivo geral mensurar e analisar como variáveis econômicas relevantes influenciaram nas exportações brasileiras de açúcar no período de 1997 a 2015. Metodologia / Procedimentos de Pesquisa: Foi utilizado para análise cinco modelos. No primeiro, mensurou-se o impacto das variáveis independentes: preço do açúcar no mercado mundial, taxa de câmbio, preço do etanol e estoque mundial sobre a exportação brasileira de açúcar no mercado mundial. No segundo e terceiro, mensurou-se o impacto das exportações da Tailândia e Austrália (maiores exportadores mundiais ao lado do Brasil), no quarto e quinto mensurou-se o impacto dos dois principais países importadores de açúcar mundiais (China e Indonésia) sobre as exportações brasileiras. Resultados e Discussões: No primeiro modelo, as variáveis: produção, preço do açúcar, câmbio, preço do etanol, estoque e a exportação de açúcar se mostraram significativas com os seguintes coeficientes: 1,52; 0,12; 0,24; -0,32; -0,13 e -0,16. Quanto ao impacto nas exportações brasileiras pelos dois principais países exportadores concorrentes do Brasil: Tailândia e Austrália, diagnosticou-se impacto das exportações da Tailândia nas exportações brasileiras na forma contemporânea e primeira defasagem, coeficiente de -0,04 e -0,08, e das exportações australianas nas exportações brasileiras na primeira defasagem, 0,30. Quanto ao impacto dos principais importadores mundiais de açúcar nas exportações brasileiras: China e Indonésia diagnosticaram-se impacto da variável estoque de respectivamente: -0,05 e -0,04, e do PIB de respectivamente 0,72 e 0,19, nas exportações brasileiras. Implicações Gerenciais: Uma das contribuições gerenciais do trabalho é a melhora na decisão dos gestores de usina na tomada de decisão, auxiliando o planejamento de longo, médio e curto prazo. Com isso, o resultado dos modelos estudados contribui para isso, possibilitando a construção de cenários possíveis e acompanhamento das variáveis ao longo do tempo. Destaca-se a concorrência da Tailândia em que impulsiona as exportações brasileiras de maneira negativa e o mercado chinês, com impacto positivo nas exportações brasileiras, considerado um dos maiores mundiais. Conclusões e Limitações da Pesquisa: As variáveis produção de açúcar, preço do etanol e taxa de câmbio demonstraram-se significativas em todos os modelos estudados. Constatou-se ainda impactos do estoque, das exportações de países concorrentes como Tailândia e Austrália e dos principais importadores China e Tailândia necessitando-se um acompanhamento constante da variação destas variáveis para entender a dinâmica das exportações brasileiras. As limitações do trabalho foram do banco de dados onde não se obteve resultados mais atualizados e não se inseriu mais variáveis no modelo, como preço doméstico, por falta de dados. Originalidade: Os estudos na área comtemplam modelos mais genéricos e menos específicos com menos variáveis ao relacionarmos com o tema açúcar. O estudo também trouxe uma análise da concorrência e dos maiores mercados importadores dessa commodity. Como sugestões para pesquisas futuras, tem-se um estudo das variáveis que impactam a produção de açúcar brasileiro e como ela se comporta ao longo do tempo, estudo sobre custos da usinas do setor sucroalcooleiro, a adição da variável preço doméstico de açúcar ao modelo, um estudo sobre o preço do etanol ser mais relevante que o preço do açúcar de acordo com o resultado dos coeficientes e a consideração nos modelos sobre mercado futuro que tem influência na quantidade exportada de açúcar. / Objective: This study has as a general objective to measure and analyze how relevant economic variables influenced the Brazilian sugar exports from 1997 to 2015. Methodology/Research Procedures: Five models were used for this analysis. In the first model, the impact of the independent variables sugar price in the international market, exchange rate, ethanol price, and global stock was measured on the Brazilian sugar exports in the international market. In addition, the impact of exports from Thailand and Australia (world’s largest exporters alongside Brazil), which consisted of the second and third models, and the impact of the two main sugar-importing countries (China and Indonesia), which consisted of the fourth and fifth models, were both measured on the Brazilian exports. Results and Discussion: In the first model, the variables production, sugar price, exchange rate, ethanol price, stock, and sugar export were significant and presented the coefficients 1.52, 0.12, 0.24, −0.32, −0.13, and −0.16, respectively. We observed an impact of the Thai exports on the current and first lag Brazilian exports, with coefficients of −0.04 and −0.08, respectively, as well as an impact of the Australian exports on the first lag Brazilian exports, with a coefficient of 0.30. Regarding the impact of the main sugar importers on Brazilian exports, China and Indonesia presented an impact of the variables stock (−0.05 and −0.04, respectively) and GDP (0.72 and 0.19, respectively) on the Brazilian exports. Management Implications: One of the managerial contributions of this study is the improvement in the decision-making of managers of mill plants, assisting in the planning of long, medium, and short term. The result of the studied models contributes to the construction of possible scenarios and monitoring of the variables over time. It is worth noting the Thailand competition, which drives Brazilian exports negatively, and the Chinese market, with a positive impact on the Brazilian exports, considered one of the largest in the world. Conclusions and Research Limitations: The variables sugar production, ethanol price, and exchange rate were significant in all studied models. We also observed impacts of stock, exports from competing countries such as Thailand and Australia, and the main importers (China and Thailand), requiring a constant monitoring of the variation of these variables to understand the dynamics of Brazilian exports. The research limitations were related to the database, with a lack of most up-to-date data and variables used in the model, such as domestic price. Originality: Studies in the area contemplate more generic and less specific models, with fewer variables when dealing with sugar. The study also brought an analysis regarding the competition and the largest import markets of this commodity. As suggestions, we can mention a study of variables that impact on the Brazilian sugar production, addition of the variable domestic sugar price to the model, a study on the ethanol price to be more relevant than the sugar price according to the results of coefficients, and a consideration in the models of future market, which influence the amount of exported sugar.

O teste de programas concorrentes é essencial para assegurar a qualidade das atuais aplicações distribuídas/paralelas em desenvolvimento. Apesar de ser essencial, essa atividade de teste é dificilmente empregada adequadamente, devido a fatores como: alto custo de execução, grande lacuna entre desenvolvedores e resultados de pesquisas em testes para programas concorrentes e acesso às ferramentas de teste de programas concorrentes que automatizem/viabilizem o emprego do teste. Este projeto visa definir os parâmetros da atividade de teste estrutural de programas concorrentes que nortearão a composição de diferentes serviços na Web. Tais serviços dão suporte à atividade de teste estrutural de programas concorrentes, estabelecendo fronteiras claras em ferramentas de teste para os módulos relativos ao modelo de teste, aos critérios de teste, à linguagem de programação e aos paradigmas de sincronização. Desse modo, novas ferramentas de teste poderão ser construídas de maneira mais flexível, com menos custo de desenvolvimento e com mais eficácia. Tal abordagem traz como benefícios diretos: (1) facilitar a interação entre os setores da indústria, ensino e pesquisa que estejam interessados no desenvolvimento de programas concorrentes com qualidade; (2) diminuir os custos de instalação e manutenção de ferramentas de teste estrutural pelos desenvolvedores; (3) facilitar a incorporação da atividade de teste de programas concorrentes no ciclo de desenvolvimento das aplicações distribuídas e paralelas; (4) aumentar a abrangência do projeto TestPar, permitindo que novos usuários (desenvolvedores, professores e outros grupos de pesquisa) possam utilizar facilmente os conhecimentos gerados no projeto; e (5) realimentar o projeto TestPar com novas demandas qualificadas, estas advindas de novos programas concorrentes submetidos para teste. / Testing of concurrent programs is essential to ensure the quality of todays distributed/parallel applications in development. Although it is essential that testing activity is hardly properly employed, due to factors such as high cost of implementation, big gap between developers and research results in tests for competing programs and access to competing software testing tools to automate / enable the test job. This project aims to define the parameters of structural testing activity of concurrent programs that will guide the composition of different Web services. These services support the structural testing activity of concurrent programs, establishing clear boundaries in test tools for the modules related to the test model, the test criteria, the programming and synchronization paradigms language. Thus, new test tools can be built in a more flexible way, with less development cost and more effectively. Such an approach has as direct benefits: (1) facilitate interaction between industry sectors, education and research who are interested in the development of concurrent programs with quality; (2) reduce the costs of installation and maintenance of structural testing tools for developers; (3) facilitate the incorporation of testing activity of concurrent programs in the development cycle of distributed and parallel applications; (4) increase the scope of TestPar design, allowing new users (developers, teachers and other research groups) can easily use the knowledge generated in the project; and (5) feed back into the project TestPar with new demands qualified, those arising from new concurrent programs submitted for testing.

A definição de abordagens de teste de software no contexto de sistemas embarcados críticos é de fundamental importância para a melhoria de qualidade desses sistemas. Este projeto de mestrado concentra-se essencialmente na área de robôs móveis que são sistemas críticos. O mapeamento das técnicas de teste dos programas tradicionais para sistemas robóticos móveis não é trivial, pois é necessário considerar as características inerentes a esses sistemas, as quais incluem comunicação, sincronização, não determinismo e paralelismo. Esses sistemas são formados por diferentes componentes, como sensores, atuadores e softwares de controle, os quais se comunicam, em geral, por meio de troca de mensagens. Nesse sentido, este projeto visa aproveitar a experiência adquirida pelo grupo de pesquisa do ICMC/USP com a proposição de critérios e ferramentas de teste para programas concorrentes, para o contexto de teste de integração de sistemas robóticos móveis. Assim, neste estudo é apresentado um comparativo sobre as similaridades e diferenças presentes em programas concorrentes e sistemas robóticos móveis com objetivo de auxiliar na adaptação dos critérios de teste. Dois estudos de caso foram conduzidos nos quais os critérios propostos para programas concorrentes foram aplicados a sistemas robóticos desenvolvidos em ROS. Como resultados, observou-se os critérios de teste são capazes de testar adequadamente aspectos de comunicação e sincronização de sistemas robóticos, contribuindo com a qualidade desses sistemas. / The definition of software testing approaches for the context of critical embedded systems is of fundamental importance for the quality improvement of these systems. This masters project focuses primarily in mobile robot area that are critical systems. The mapping of traditional testing techniques for robotic mobile systems is not trivial, because it is necessary to consider the characteristics of these systems, which include communication, synchronization, non-determinism and parallelism. These systems present different components such as sensors, actuators and control software, which communicate, usually by exchanging messages. In this sense, this project aims to use on the experience gained by the research group of the ICMC/USP with the of the concurrent program testing criteria for the integration testing of the mobile robotic systems. In this study we present a comparison of the similarities and differences present in concurrent programs and mobile robotic systems in order to assist in adapting the testing criteria. Two case studies were conducted in which the proposed concurrent program testing criteri were applied to robotic systems developed in ROS. As a result, there was the testing criteria are able to properly testing aspects of communication and synchronization of robotic systems, contributing to the quality of these systems.

Made available in DSpace on 2014-06-12T15:05:48Z (GMT). No. of bitstreams: 2 arquivo1170_1.pdf: 2233818 bytes, checksum: c784738121ca982a370b49d9e4a3a530 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Os gerentes, como líderes formais, precisam desenvolver suas competências pessoais para serem efetivos na realização dos objetivos pessoais, da equipe e organizacionais. Nesta direção, esta dissertação propõe, implementa e avalia um sistema de informações baseado na web para avaliação de competências gerenciais e identificação de lacunas de competência, o AVALANCHE, que atende aos requisitos de confiança, agilidade, confidencialidade das informações e facilidade para se adaptar a qualquer modelo de competência de estrutura hierárquica adotado pelas organizações. O desenvolvimento do AVALANCHE foi realizado usando o método da prototipação evolucionária que permite sucessivas melhorias no sistema e uma rápida e efetiva aplicação. A pesquisa buscou descobrir quais as implicações da utilização de tal sistema de informações em um processo de desenvolvimento gerencial em uma organização. O cenário para aplicação desta pesquisa foi o Instituto Materno Infantil Professor Fernando Figueira (IMIP), uma organização não governamental composta de diversas unidades ligadas à saúde integral da família. O IMIP vem atualmente utilizando o arcabouço de valores concorrentes, AVC, como modelo de competências em seu programa de desenvolvimento gerencial, devido à sua simplicidade, solidez, visão sistêmica e reconhecida utilização nos ambientes organizacionais. A pesquisa se deu por meio de um estudo de caso com utilização do sistema desenvolvido. Os resultados alcançados ilustram a facilidade de uso, rapidez na realização das avaliações e na obtenção dos resultados, bem como a confidencialidade e a aplicabilidade do sistema em programas de desenvolvimento gerencial

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-22T19:52:23Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5) / Made available in DSpace on 2018-08-22T19:52:23Z (GMT). No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5) Previous issue date: 2007-04-20 / Capes / Neste trabalho propomos uma técnica que visa detectar violações de propriedades comportamentais automaticamente durante a execução de sistema de software concorrentes. A técnica foi inspirada na metodologia de desenvolvimento Design by Contract (DbC). DbC permite que os desenvolvedores adicionem aos programas asserções para que sejam verificadas em tempo de execução. O uso de asserções para expressar propriedades de programas concorrentes (multithreaded)eparalelos, entretanto,não ésuficiente. Nesses sistemas,muitas das propriedades comportamentais de interesse, como vivacidade e segurança, não podem ser expressas apenas com asserções. Essas propriedades requerem o uso de operadores temporais. Neste trabalho, utilizamos Lógica Linear Temporal (Linear Time Logic - LTL) para expressar o comportamento desejado. Para dar suporte a checagem do comportamento dos programas em tempo de execução, propomos uma técnica baseada em Programação Orientada a Aspectos, que permite que o programa seja continuamente monitorado (o comportamento é checado através do uso de autômatos que permite a deteção de comportamentos inesperados). Associada a cada propriedade comportamental existe um conjunto de pontos de interesse do código-fonte que devem obedece-la. Esses pontos são então monitorados durante a execução do sistema através do uso de aspectos. Entre outros benefícios, a técnica permite que o sistema de software alvo seja instrumentado de maneira não intrusiva, sem alterar o código-fonte — particulamente, nenhum código do software alvo deve ser modificado para execução da monitoração. Para validar este trabalho, desenvolvemos como prova de conceitos um protótipo que implementa a técnica e permite a monitoração de programas Java multi-threaded, chamado DesignMonitor. Essa ferramenta é apresentada e discutida através de um estudo de caso para demonstrar a aplicação da técnica / In this work we propose and develop a technique that allows to detect the violation of behavior properties of concurrent systems. The technique was inspired by the Design by Contract (DbC) programming methodology, which proposes the use of assertions and their evaluation at runtime to check programs behavior. The use of simple assertions to express properties of concurrent and parallel programs, however, is not sufficient. Many of the relevant properties of those systems,s uch as liveness and security, can not be expressed with simple assertions. Thesepropertiesrequiretheuseof temporal operators. In our work, we used Linear Time Logic (LTL) to specify the expected behavior. To support the runtime checking of the program against the expected behavior, we propose a technique, based on Aspect-Oriented Programming, that allows the program to be continuously monitored (behavior is checked against automata that allows the detection of unexpected behaviors). Each property is mapped to a set of points of interest in the target program. Those points are then monitored during the system execution through aspects. Among other benefits, the technique allows the instrumentation of the target software to be performed automatically and in a non-intrusive way — in particular, no code must be changed toturn monitoring on or off. To validate the work, we developed a proof of concept prototype tool that implements the technique and allows the monitoring of multi-threaded Java programs, called DesignMonitor. The tool was used in case study that has allowed the evaluation and the discussion of practical issues related with the technique.

A Engenharia de Software tem desenvolvido t[écnicas e métodos para apoiar o desenvolvimento de software confiável, flexível, com baixo custo de desenvolvimento e fácil manutenção. Técnicas e critérios de teste contribuem nessa direção, fornecendo mecanismos para produzir software com alta qualidade. Este trabalho apresenta um estudo experimental para avaliar o custo, eficácia e a dificuldade de satisfação (strength) dos critérios estruturais propostos para programas concorrentes. Esta avaliação foi conduzida usando oito programas implementados em MPI e utilizando a ferramenta de teste ValiMPI. Com base em taxonomias, defeitos foram injetados nos programas de modo a avaliar a eficácia dos critérios de teste em revelar os defeitos inseridos. Os resultados obtidos demonstraram o aspecto complementar dos critérios e informações sobre o custo e eficácia, que contribuíram para o estabelecimento de uma estratégia de teste incremental para aplicar os critérios de teste em uma boa relação custo-eficácia. Para concluir, os resultados indicam que os critérios de teste estrutural propostos para programas concorrentes em MPI são promissores e podem auxiliar a detectar defeitos nessas aplicações, melhorando a qualidade das mesmas / The software engineering has developed techniques and methods to help the software development reliable, exible and with lower development costs and easy maintenance. Testing techniques and criteria contribute in this sense, providing mechanisms to produce high quality software. This work presents an experimental study to evaluate the cost, effectiveness and strength of the structural testing criteria for concurrent programs. This evaluation has been conducted using eight programs implemented in MPI and the ValiMPI testing tool. Based on a fault taxonomy for concurrent programs, defects have been injected in these programs in order to evaluate the effectiveness of the testing criteria. The results indicate the complementary aspect of the criteria and the information about cost and effectiveness have contributed to the establishment of an incremental testing strategy to apply the testing criteria in good relation cost-effectiveness. To conclude, the results indicate that the structural testing criteria, proposed for MPI concurrent programs, are promising and they can help to find defects in these applications, improving their quality

Made available in DSpace on 2016-04-29T13:17:50Z (GMT). No. of bitstreams: 1 Fernanda Gutierrez Magalhaes.pdf: 2135582 bytes, checksum: 6fd0da1932327873fcbbeb9859d68a2f (MD5) Previous issue date: 2013-07-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Análogos experimentais de metacontingências são por definição experimentos de cooperação, uma vez que envolvem coordenação entre as respostas dos participantes para a produção de consequências comuns compartilhadas. A separação entre consequências reforçadoras do comportamento individual e consequências culturais produzidas pelas contingências comportamentais entrelaçadas (CCEs) e seu produto agregado (PA) constitui a peculiaridade desses análogos. O conceito de cooperação permite supor situações em que, para a produção de uma consequência compartilhada por ambos participantes, um deles emita respostas sem reforçadores, enquanto a resposta do outro é reforçada. O objetivo do presente trabalho foi o de investigar se haveria seleção e transmissão de CCEs e seus PAs em um análogo experimental de metacontingência, Sua complexidade foi incrementada pela incompatibilidade entre consequências individuais e culturais, pela introdução de dois PAs para produção de consequência cultural, pela divisão desigual da consequência cultural entre os participantes e pela diferenciação da natureza das consequências individual e cultural. Foram realizados quatro experimentos. Cada experimento teve 13 participantes e 12 gerações. Nos dois primeiros experimentos, o PA requerido para a liberação da consequência cultural (bônus) foi que um participante obtivesse reforçadores individuais (pontos) e o outro não. No primeiro experimento, as consequências culturais foram divididas igualmente entre os participantes e no segundo experimento, a divisão foi desigual. Nos outros dois experimentos, dois produtos agregados foram requeridos para que a consequência cultural fosse liberada. Além do PA1 um participante produzir pontos e o outro não , foi requerido o PA2 ΣPesq≤ ΣPdir . A diferença entre os dois experimentos estava na divisão do bônus: no primeiro foi igualitária e no segundo desigual. Nos quatro experimentos foi feita a substituição de participantes. As consequências individuais foram trocadas por pequenas quantias de dinheiro e as consequências culturais, por material escolar para doação. Os resultados mostraram que é possível haver seleção de CCEs e seu PAs nessas condições, mas que sua manutenção é muito difícil. A incompatibilidade entre as consequências individual e cultural dificultou a seleção de CCES e seus PAs. A diferença na natureza das consequências pode ter contribuído para a dificuldade na seleção. Foi observado um padrão de intermitência na produção da consequência cultural, muito provavelmente para compensar a perda de pontos. A inserção de dois produtos agregados tornou mais provável a produção da consequência cultural. A divisão desigual das consequências culturais não gerou diferenças significativas na produção do bônus / Análogos experimentais de metacontingências são por definição experimentos de cooperação, uma vez que envolvem coordenação entre as respostas dos participantes para a produção de consequências comuns compartilhadas. A separação entre consequências reforçadoras do comportamento individual e consequências culturais produzidas pelas contingências comportamentais entrelaçadas (CCEs) e seu produto agregado (PA) constitui a peculiaridade desses análogos. O conceito de cooperação permite supor situações em que, para a produção de uma consequência compartilhada por ambos participantes, um deles emita respostas sem reforçadores, enquanto a resposta do outro é reforçada. O objetivo do presente trabalho foi o de investigar se haveria seleção e transmissão de CCEs e seus PAs em um análogo experimental de metacontingência, Sua complexidade foi incrementada pela incompatibilidade entre consequências individuais e culturais, pela introdução de dois PAs para produção de consequência cultural, pela divisão desigual da consequência cultural entre os participantes e pela diferenciação da natureza das consequências individual e cultural. Foram realizados quatro experimentos. Cada experimento teve 13 participantes e 12 gerações. Nos dois primeiros experimentos, o PA requerido para a liberação da consequência cultural (bônus) foi que um participante obtivesse reforçadores individuais (pontos) e o outro não. No primeiro experimento, as consequências culturais foram divididas igualmente entre os participantes e no segundo experimento, a divisão foi desigual. Nos outros dois experimentos, dois produtos agregados foram requeridos para que a consequência cultural fosse liberada. Além do PA1 um participante produzir pontos e o outro não , foi requerido o PA2 ΣPesq≤ ΣPdir . A diferença entre os dois experimentos estava na divisão do bônus: no primeiro foi igualitária e no segundo desigual. Nos quatro experimentos foi feita a substituição de participantes. As consequências individuais foram trocadas por pequenas quantias de dinheiro e as consequências culturais, por material escolar para doação. Os resultados mostraram que é possível haver seleção de CCEs e seu PAs nessas condições, mas que sua manutenção é muito difícil. A incompatibilidade entre as consequências individual e cultural dificultou a seleção de CCES e seus PAs. A diferença na natureza das consequências pode ter contribuído para a dificuldade na seleção. Foi observado um padrão de intermitência na produção da consequência cultural, muito provavelmente para compensar a perda de pontos. A inserção de dois produtos agregados tornou mais provável a produção da consequência cultural. A divisão desigual das consequências culturais não gerou diferenças significativas na produção do bônus