• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 42
  • 4
  • 2
  • Tagged with
  • 48
  • 22
  • 10
  • 9
  • 8
  • 8
  • 8
  • 7
  • 6
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Em nome da governabilidade: uma anÃlise do discurso polÃtico brasileiro (2002-2010) / In the name of governability: an analysis of the brazilian political discourse (2002-2010)

Monalisa Soares Lopes 08 July 2011 (has links)
CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / A pesquisa tem o objetivo de compreender os usos e significados da categoria governabilidade nos discursos de parlamentares do Partido dos Trabalhadores (PT), Partido da Social Democracia Brasileira (PSDB) e do Partido do Movimento DemocrÃtico Brasileiro (PMDB). O corpus do trabalho se constitui nos discursos circunscritos nos perÃodo de junho de 2002 a dezembro de 2010, produzidos em trÃs momentos distintos: Momentos prÃ-eleitorais (formaÃÃo de alianÃas eleitorais); Momentos pÃs-eleitorais (formaÃÃo de coalizÃes â alianÃas governativas) e Momentos de crise polÃtica (denÃncias de corrupÃÃo). Como procedimento metodolÃgico foi utilizado a AnÃlise de Discurso (AD). Os resultados da pesquisa levaram à compreensÃo de que a âgovernabilidadeâ se constitui numa categoria importante do vocabulÃrio polÃtico e tem sido mobilizada como âarmaâ na disputa simbÃlica da polÃtica brasileira contemporÃnea.
22

A Confedera??o Nacional da Agricultura e Pecu?ria do Brasil (CNA) e as quest?es agr?ria, ambiental e trabalhista: disputas sobre o direito a partir da Constitui??o brasileira de 1988

TAVARES, Ana Claudia Diogo 08 October 2012 (has links)
Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2017-06-09T19:27:28Z No. of bitstreams: 1 2012 - Ana Cl?udia Diogo Tavares.pdf: 1939205 bytes, checksum: 52db9d405eec92adc8385c019f89dfb8 (MD5) / Made available in DSpace on 2017-06-09T19:27:28Z (GMT). No. of bitstreams: 1 2012 - Ana Cl?udia Diogo Tavares.pdf: 1939205 bytes, checksum: 52db9d405eec92adc8385c019f89dfb8 (MD5) Previous issue date: 2012-10-08 / CNPq / CAPES / The thesis examines the disputes of Confederation of Agriculture and Livestock of Brazil (CNA) on legislation related to agrarian, environmental and labor areas since the Constitution of 1988. The disputes of employer organization on the legal universe involved a wide range of actions in state institutionality, as participation in legislative spaces (representation on councils and fostering of Rural Parlamentar Group) until the entry of lawsuits. We take as a starting point the epistemological critical to colonization of knowledge promoted by western science with universalist pretensions. We conclude that the CNA says that the neutrality myth of science and law, which benefits the employer power (legitimizes the exploitation of labor and private property of land and nature) and sustains the constitutionality of state laws under the ideals of the primacy of property rights and free enterprise on social rights, which constitutes the hegemonic use of the Law, as designing Boaventura de Sousa Santos. The discourse of CNA entails designing the use of laws and knowledge of various social groups who resist to capitalist agro-export model of ownership of the land, nature and exploitation of the worker as ideological. / A tese examina as disputas da Confedera??o da Agricultura e Pecu?ria do Brasil (CNA), sobre a legisla??o relacionada aos ?mbitos agr?rio-fundi?rio, ambiental e trabalhista, a partir da Constitui??o brasileira de 1988. As disputas da entidade patronal em torno do universo legal envolveram um amplo leque de a??es na institucionalidade do Estado, desde a participa??o em espa?os legislativos (representa??o em Conselhos e fomento ? Bancada Ruralista) at? o ingresso de a??es judiciais. Partimos de pressupostos epistemol?gicos cr?ticos ? coloniza??o do saber promovida pela ci?ncia ocidental com pretens?es universalistas. Conclu?mos que a CNA afirma o mito de neutralidade da ci?ncia e da lei, que beneficia o poder patronal (legitima a explora??o do trabalho e a propriedade privada da terra e da natureza) e sustenta a inconstitucionalidade de normas estatais, sob o ide?rio do primado do direito de propriedade e da livre iniciativa sobre os direitos sociais, o que se configura como uso hegem?nico do Direito, conforme concep??o de Boaventura Sousa Santos. O discurso da CNA comporta taxar de ideol?gicos o uso de leis e os saberes de diversos grupos sociais que resistem ao modelo capitalista agroexportador de apropria??o da terra, da natureza e explora??o do trabalhador.
23

(E) INTEGRADOS AO VENENO : Subordinação e resistência dos camponeses do Pontal do Paranapanema na produção de pepinos em conserva /

Oliveira, Luciano Benini de January 2019 (has links)
Orientador: Carlos Alberto Feliciano / Resumo: A presente dissertação de Mestrado versa sobre os desdobramentos da intensificação das jornadas de trabalho e o uso indiscriminado de agrotóxicos no assentado São Paulo, tendo recorte territorial o município de Presidente Epitácio, Extremo Oeste do Estado de São Paulo, região conhecida como Pontal do Paranapanema, nesse assentamento como na região possui famílias integradas á indústria de conservas. Notadamente observamos os efeitos do desenvolvimento do capitalismo no campo, a partir do pacote tecnológico imposto verticalmente por uma empresa de capital nacional que condiciona e subordina os camponeses. Os elementos contraditórios presentes no território, são observados a partir da eminência do conflito, que demostra as formas regenerativas encontradas pelos camponeses para resistir nos territórios. A realidade social contraditória e diversa dos assentamentos apresenta concomitantemente sujeitos inseridos na subordinação ao desenvolvimento do capitalismo no campo, presos a integração a indústria. E sujeitos que buscam no investimento tecnificado do plantio de pepinos as saídas insubordinadas, como a utilização de técnicas, tecnologias, equipamentos e estruturas para produzir alimentos, fatos que comprovam o movimento contraditório que vive as famílias de sujeição e subordinação, como alternativa da (re) criação camponesa. / Abstract: This dissertation deals with the intensification of working hours and the indiscriminate use of agrochemicals in the settlement of São Paulo, in the Municipality of Presidente Epitácio, in the extreme west of the State of São Paulo, a region known as Pontal do Paranapanema, in this settlement as in region has families integrated into the canning industry. Notably we observe the effects of the development of capitalism in the countryside, from the technological package imposed vertically by a company of national capital that conditions and subordinates the peasants.The contradictory elements present in the territory, are observed from the eminence of the conflict, that demonstrates the regenerative forms found by the peasants to resist in the territories. The contradictory and diverse social reality of the settlements concomitantly presents subjects inserted in the subordination to the development of the capitalism in the field, bound to the integration to industry. And subjects who seek in the technical investment of cucumber planting the insubordinate exits, such as the use of techniques, technologies, equipment and structures to produce food, facts that prove the contradictory movement that lives the families of subjection and subordination, as an alternative of) peasant farming. / Mestre
24

A questionável energia do desenvolvimento: a construção do parque gerador hidrelétrico brasileiro e a expropriação camponesa / The questionable development of energy: the construction of Brazilian hydroelectric generating facilities and the peasant expropriation

Naves, Jaqueline de Cássia 23 August 2010 (has links)
Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-02-04T12:58:19Z No. of bitstreams: 2 Dissertação - Jaqueline de Cássia Naves - 2010.pdf: 18926283 bytes, checksum: 7b59c63e7dd39dcf5a9c91ba8fe7f8f2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-02-11T11:24:14Z (GMT) No. of bitstreams: 2 Dissertação - Jaqueline de Cássia Naves - 2010.pdf: 18926283 bytes, checksum: 7b59c63e7dd39dcf5a9c91ba8fe7f8f2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-02-11T11:24:14Z (GMT). No. of bitstreams: 2 Dissertação - Jaqueline de Cássia Naves - 2010.pdf: 18926283 bytes, checksum: 7b59c63e7dd39dcf5a9c91ba8fe7f8f2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2010-08-23 / This study presents the dynamics of the disputed territories, using analysis as the conflict between the model of the Brazilian electric power generation, focused on hydroelectric power source and peasant dispossession caused by the construction of hydroelectric plants in Brazil. The text is organized by presenting the relationship between the development model adopted by the Brazilian government and its policies aimed at the electricity sector between the years 1945-1990, during which experiences the largest buildings of hydroelectric and strengthens the option for hydroelectricity. Thus, the state in Brazil has acted as administrator but as a producer of energy in this period. The measures imposed on the peripheral capitalist countries during the restructuring of the capitalist mode of production in the years 1980-1990 yielded a number of measures of fit for these economies, such as the desancionalização the economy that led to the privatization of public enterprises and opening the economy to international capital thereby aggravating the dependency of these economies to foreign capital. The electrical sector in Brazil is among the sectors that has opened for denationalization, as the privatization of several production units, state-owned generation and power trading. The lack of investment in installed capacity due to the economic crisis of the 1980s, coupled with the growing demand for electricity and the national electric system susceptibility to weather weather Brazil is experiencing a crisis of energy supply in 2001. The Blackout of 2001 triggered the opening of the law of power generation and environment for private sector participation intensifies the self-producers and independent producers who have invested heavily in production facilities hydroelectric facilities. The sector that has invested in increased production of hydroelectric power was the sector of electrointensive industries, interested in getting cheap hydropower and private industries such as Alcoa Aluminio SA and Votorantim Energia. Because of the blackout measures the government authorizes the construction of new dams without proper environmental and social rigor, resulting in several cases of irregularities in construction producing irreparable social and environmental impacts. UHE Serra Facão in Catalão (GO) was approved without a criterion of these plants by IBAMA, resulting in this way, the peasant expropriation and environmental damage, such as the death of part of icitiofauna. The fourth chapter presents the relationship of peasant with its territory based on the inseparable triad of ethics peasant: family, land and labor. The construction of the territory and territorialization of the peasant resistance movement against expropriation produced by UHE Serra Facão and the effects on the lives of some peasants who were deterritorialized / reterritorialized by UHE Serra Facão. / O presente trabalho busca apresentar a dinâmica dos territórios em disputa, usando como análise o conflito entre o modelo de geração de energia elétrico brasileiro, concentrado na fonte hidrelétrica e a expropriação camponesa causada pela construção de hidrelétricas no Brasil. O texto se organiza apresentando a relação entre o modelo de desenvolvimento adotado pelo Estado brasileiro e suas políticas direcionadas ao setor elétrico entre os anos de 1945- 1990, período onde ocorrem as maiores construções de usinas hidrelétricas e se fortalece a opção pela hidroeletricidade. Desta forma, o Estado no Brasil desempenhou a função de administrador, mas também de produtor de energia naquele período. As medidas impostas aos países de capitalismo periférico no período da reestruturação do modo capitalista de produção nos anos 1980-1990 produziu inúmeras medidas de ajuste à estas economias, tais como, a desnacionalização da economia que implicou a privatização das empresas públicas e a abertura da economia ao capital internacional, agravando, assim, a dependência destas economias ao capital estrangeiro. O setor elétrico no Brasil foi um dos setores que mais se abriu à desnacionalização, como a privatização de várias unidades produtoras, estatais de geração e comercialização de energia. A falta de investimentos na potência instalada em razão da crise econômica dos anos 1980, aliado ao crescimento da demanda por energia elétrica e suscetibilidade do sistema elétrico nacional às intempéries metereológicas o Brasil vive a crise do fornecimento de energia no ano de 2001. O Apagão de 2001 desencadeou a abertura da legislação de geração elétrica e ambiental para o setor privado, intensifica-se a participação dos autoprodutores e produtores independentes que investiram maciçamente em unidades de produção hidrelétrica privada. O setor que mais investiu no crescimento da produção de energia hidrelétrica foi o setor das indústrias eletrointensivas, interessados em conseguir energia hidrelétrica barata e privada, como as indústrias Alcoa Alumínio S.A. e Votorantim Energia. Em razão das medidas do apagão o governo autoriza a construção de novas hidrelétricas sem o devido rigor ambiental e social, resultando assim, em vários casos de irregularidades nas construções produzindo impactos socioambientais irreparáveis. A UHE Serra do Facão no município de Catalão (GO) foi uma destas usinas aprovadas pelo IBAMA, que apresentaram problemas no EIA/RIMA e no PBA, e que provocaram a expropriação camponesa e prejuízos ambientais, tal como, a mortandade de parcela da icitiofauna. O quarto capítulo apresenta-se a relação do camponês com seu território baseado na tríade indissociável da ética camponesa: família, terra e trabalho. A construção do território camponês e a territorialização do movimento de resistência contra a expropriação produzida por UHE Serra do Facão, bem como os efeitos na vida de alguns camponeses que foram desterritorializados/reterritorializados por UHE Serra do Facão.
25

A questão cultural enquanto formação humana: investigando os interesses em disputa nas políticas culturais da cidade de São Gonçalo / A questão cultural enquanto formação humana: investigando os interesses em disputa nas políticas culturais da cidade de São Gonçalo / The cultural matter for the human formation: investigating the interests in disputes in the cultural policies of the city in São Gonçalo / The cultural matter for the human formation: investigating the interests in disputes in the cultural policies of the city in São Gonçalo

Ladyane Gago Ribeiro 18 April 2011 (has links)
A presente dissertação para o Mestrado em Educação da UERJ/FFP intenciona apresentar a questão cultural enquanto formação humana, buscando, assim, compreender a intrínseca relação entre a conjuntura histórico-social universal e a formação cultural gonçalense, e sua implicação na formulação de Políticas Públicas de Cultura no município de São Gonçalo. Na construção da pesquisa foi necessário, primeiramente, investigar e conceituar os sentidos ideológicos das palavras cultura e política, que contribuísse para fundamentar o pressuposto dos interesses em disputa que atravessam a formulação das políticas públicas, tendo como referencial a perspectiva gramsciana. Delimitamos a pesquisa empírica no cenário da IV Conferência Municipal de Cultura em São Gonçalo, por se tratar de um dos mecanismos de controle social que congrega a participação do Estado (no sentido estrito) e da sociedade civil, situando essa relação na perspectiva gramsciana em contraposição a perspectiva neoliberal. Através das falas dos cinco entrevistados, dos documentos e dos bastidores do cenário conferencista, foi possível visualizar as possibilidades e limites inerentes a formação humana gonçalense. Sem ter a pretensão de esgotar uma temática tão complexa e abrangente, a produção dissertativa objetiva avançar no debate da questão cultural enquanto uma das ferramentas na disputa por um projeto societário contra-hegemônico. / This piece of work for the Masters Degree in Education of UERJ / FFP intends to present the importance of the cultural matter for the human formation, trying to understand the intrinsic relation between the social historical juncture and the cultural formation in São Gonçalo, and their implications for the development of Cultural Political Policies in São Gonçalo County. Firstly, it was necessary to investigate and conceptualize the ideological meaning of the words policy and culture, in order that they could contribute and support the interests in dispute that underlies the Public Policy creation without forgetting the gramscian perspective. The empirical research was defined having as a background the IV Cultural Conference of São Gonçalo because it is one of the mechanisms of social control, which brings the State participation (in the strict sense) and civil society together, placing that relationship in the gramscian perspective in opposition to the neoliberal perspective. Through the speech of five interviewed people, the documents and the conference scenario, it was possible to visualize the possibilities and limits that characterize the human formation in São Gonçalo. The present piece of work has not as an aim to extinguish this so complex and wide question, but to advance in the debate about the cultural matter since it represents a tool in the dispute for an anti- hegemonic social project.
26

A questão cultural enquanto formação humana: investigando os interesses em disputa nas políticas culturais da cidade de São Gonçalo / A questão cultural enquanto formação humana: investigando os interesses em disputa nas políticas culturais da cidade de São Gonçalo / The cultural matter for the human formation: investigating the interests in disputes in the cultural policies of the city in São Gonçalo / The cultural matter for the human formation: investigating the interests in disputes in the cultural policies of the city in São Gonçalo

Ladyane Gago Ribeiro 18 April 2011 (has links)
A presente dissertação para o Mestrado em Educação da UERJ/FFP intenciona apresentar a questão cultural enquanto formação humana, buscando, assim, compreender a intrínseca relação entre a conjuntura histórico-social universal e a formação cultural gonçalense, e sua implicação na formulação de Políticas Públicas de Cultura no município de São Gonçalo. Na construção da pesquisa foi necessário, primeiramente, investigar e conceituar os sentidos ideológicos das palavras cultura e política, que contribuísse para fundamentar o pressuposto dos interesses em disputa que atravessam a formulação das políticas públicas, tendo como referencial a perspectiva gramsciana. Delimitamos a pesquisa empírica no cenário da IV Conferência Municipal de Cultura em São Gonçalo, por se tratar de um dos mecanismos de controle social que congrega a participação do Estado (no sentido estrito) e da sociedade civil, situando essa relação na perspectiva gramsciana em contraposição a perspectiva neoliberal. Através das falas dos cinco entrevistados, dos documentos e dos bastidores do cenário conferencista, foi possível visualizar as possibilidades e limites inerentes a formação humana gonçalense. Sem ter a pretensão de esgotar uma temática tão complexa e abrangente, a produção dissertativa objetiva avançar no debate da questão cultural enquanto uma das ferramentas na disputa por um projeto societário contra-hegemônico. / This piece of work for the Masters Degree in Education of UERJ / FFP intends to present the importance of the cultural matter for the human formation, trying to understand the intrinsic relation between the social historical juncture and the cultural formation in São Gonçalo, and their implications for the development of Cultural Political Policies in São Gonçalo County. Firstly, it was necessary to investigate and conceptualize the ideological meaning of the words policy and culture, in order that they could contribute and support the interests in dispute that underlies the Public Policy creation without forgetting the gramscian perspective. The empirical research was defined having as a background the IV Cultural Conference of São Gonçalo because it is one of the mechanisms of social control, which brings the State participation (in the strict sense) and civil society together, placing that relationship in the gramscian perspective in opposition to the neoliberal perspective. Through the speech of five interviewed people, the documents and the conference scenario, it was possible to visualize the possibilities and limits that characterize the human formation in São Gonçalo. The present piece of work has not as an aim to extinguish this so complex and wide question, but to advance in the debate about the cultural matter since it represents a tool in the dispute for an anti- hegemonic social project.
27

Corpo e poder em acampamentos educativos de lazer para adolescentes

Viviani, Maria Cristina Simões 27 March 2018 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Educational camps are companies that offer leisure services for teenagers during school vacations. They have the particularity of promoting a service where teenagers are deeply involved in the activities, in a place focused on the social interaction of individuals from the same age group, through the mediation of the camp's facilities and counselor's supervision and without the presence of their parents. I have the goal to understand, based on the dialogue with the teenagers' perception that go to this place, how they experience and build their notions regarding the body and the implications that those notions have for them. I sought to understand the negotiations and power struggles between campers and their counselors by analyzing which reasons led to questioning and confrontation. Therefore demonstrating how they produce and compare the adult meanings and the camp's control over the body and what it means for the relations of power. / Os acampamentos educativos são empresas que oferecem serviços de lazer para adolescentes durante as férias escolares. Eles têm a particularidade de promover um serviço em que os adolescentes estão envolvidos intensamente em atividades, em um espaço destinado exclusivamente ao convívio entre indivíduos da mesma faixa etária, com a mediação da infraestrutura do acampamento e do acompanhamento dos monitores, sem a presença do seus pais. Tenho como objetivo compreender a partir do diálogo com as percepções dos adolescentes frequentadores deste espaço, como eles experimentam e constroem suas noções sobre corpo e as implicações que tais noções têm para eles. Procurei entender as negociações e disputas de poder entre os adolescentes e seus monitores analisando quais são os motivos que os levavam ao questionamento e embate. Assim, demonstrando como eles reproduzem e contrapõe os sentidos adultos e o controle do acampamento sobre o corpo e o que ele significa nas relações de poder. / São Cristóvão, SE
28

Histórias da cidade: a movimentação das elites pelo território / City stories: the moviment of the ruling elites over the territory

Angelo, Ana Rosa Machado de 13 December 2017 (has links)
A recente movimentação das camadas de renda alta pelo território vem se concretizando através de seu deslocamento para regiões afastadas, constituindo assim, uma alteração no padrão de ocupação urbana das elites, cujo arranjo tradicional foi a ocupação das áreas centrais das cidades. Frente o atual panorama de profundas transformações urbanas, o presente trabalho pretende discutir os efeitos da ocupação exercida pelas elites, que atua diretamente na maneira como o espaço urbano é produzido, recompondo o tecido da cidade e atingindo as relações entre seus habitantes. Intentou-se assim verificar as alterações na distribuição das classes sociais no espaço, os processos e conteúdos derivados, que resultam na transformação das formas espaciais urbanas, conforme verificado na cidade de Limeira, localizada no interior do Estado de São Paulo. / The recent upper classes\' movement around the city area is setting down their displace to secluded areas. This phenomenon establishes an alteration on the occupancy picture of the ruling elites, whose traditional arrangement was once set in the central region of the cities. Due to the current scenario of solid urban transformations, this essay intends to discuss the occupancy\'s effect done by the elites that reflects directly on how the urban space is produced, restoring the city tissue and affecting the relation between its citizens. The present essay also persues to find out the alteration on the social classes\' distribution in the space, as well as the process and contents effected resulting on the transformation of urban shapes, as verified in the city of Limeira, located in São Paulo State, Brazil.
29

Histórias da cidade: a movimentação das elites pelo território / City stories: the moviment of the ruling elites over the territory

Ana Rosa Machado de Angelo 13 December 2017 (has links)
A recente movimentação das camadas de renda alta pelo território vem se concretizando através de seu deslocamento para regiões afastadas, constituindo assim, uma alteração no padrão de ocupação urbana das elites, cujo arranjo tradicional foi a ocupação das áreas centrais das cidades. Frente o atual panorama de profundas transformações urbanas, o presente trabalho pretende discutir os efeitos da ocupação exercida pelas elites, que atua diretamente na maneira como o espaço urbano é produzido, recompondo o tecido da cidade e atingindo as relações entre seus habitantes. Intentou-se assim verificar as alterações na distribuição das classes sociais no espaço, os processos e conteúdos derivados, que resultam na transformação das formas espaciais urbanas, conforme verificado na cidade de Limeira, localizada no interior do Estado de São Paulo. / The recent upper classes\' movement around the city area is setting down their displace to secluded areas. This phenomenon establishes an alteration on the occupancy picture of the ruling elites, whose traditional arrangement was once set in the central region of the cities. Due to the current scenario of solid urban transformations, this essay intends to discuss the occupancy\'s effect done by the elites that reflects directly on how the urban space is produced, restoring the city tissue and affecting the relation between its citizens. The present essay also persues to find out the alteration on the social classes\' distribution in the space, as well as the process and contents effected resulting on the transformation of urban shapes, as verified in the city of Limeira, located in São Paulo State, Brazil.
30

Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela / Improving the structural testing of concurrent programs: a deterministic and parallel approach

Batista, Raphael Negrisoli 27 March 2015 (has links)
O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disputa (race variant). Nesta técnica as variantes de disputa são geradas a partir de arquivos de rastro de uma execução não-determinística e algoritmos de execução determinística são utilizados para forçar que diferentes sincronizações sejam cobertas. Este trabalho aborda de maneira abrangente este problema, cujo objetivo principal é reduzir o tempo de resposta da atividade de teste estrutural de programas concorrentes quando diferentes variantes de disputa são executadas. Há três principais contribuições neste trabalho: (1) geração de arquivos de rastro e execução determinística total/parcial, (2) geração automática de variantes e (3) paralelização da execução das variantes. Diferentemente de outros trabalhos disponíveis na literatura, os algoritmos propostos consideram programas concorrentes que interagem simultaneamente com passagem de mensagens e memória compartilhada. Foram consideradas seis primitivas com semânticas distintas: ponto-a-ponto bloqueante/não bloqueante, coletivas um-para-todos/todos-para-um/todos-para-todos e semáforos. Os algoritmos foram desenvolvidos no nível de aplicação em Java, são ortogonais à linguagem de programação utilizada e não requerem privilégios de sistema para serem executados. Estas três contribuições são descritas, detalhando seus algoritmos. Também são apresentados os resultados obtidos com os experimentos feitos durante as fases de validação e avaliação de cada contribuição. Os resultados demonstram que os objetivos propostos foram atingidos com sucesso para cada contribuição e, do ponto de vista do testador, o tempo de resposta da atividade de teste estrutural de programas concorrentes foi reduzido enquanto a cobertura de programas concorrentes com ambos os paradigmas aumentou com procedimentos automatizados e transparentes. Os experimentos mostram speedups próximos ao linear, quando comparadas as versões sequencial e paralela dos algoritmos. / The testing of concurrent programs is an expensive task, mainly because it needs to test a high number of synchronization sequences, in order to validate such programs. One of the most used techniques to test communication and synchronization of concurrent programs is the automatic generation of different synchronizations pairs (or generation of race variants). Race variants are generated from the trace files of a nondeterministic execution, and the deterministic executions force the coverage of different synchronizations. This work approaches this problem in a more general way. It reduces the response time of the structural testing of concurrent programs when different variants are required. There are three main contributions in this work: the generation of trace files and the total or partial deterministic execution, the automatic generation of race variants and the parallelization of execution of race variants. The proposed algorithms take into account concurrent programs that interact simultaneously with message passing and shared memory, including six primitives with distinct semantics: blocking and non-blocking point-to-point, all-to-all/one-to-all/all-toone collectives and shared memory. The algorithms have been implemented in Java in the application level, they are language independent and do not need system privileges to execute. Results obtained during the validation and evaluation phase are also presented and they show that the proposed objectives are reached with success. From the tester viewpoint, the response time of structural testing of concurrent programs was reduced, while the coverage of the concurrent programs with both paradigms increased with automatic and transparent procedures. The experiments showed speedups close to linear, when comparing the sequential and parallel versions.

Page generated in 0.1104 seconds