• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 254
  • 6
  • 6
  • 1
  • Tagged with
  • 269
  • 183
  • 44
  • 39
  • 36
  • 32
  • 31
  • 28
  • 27
  • 26
  • 24
  • 24
  • 24
  • 23
  • 21
  • 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.
31

Ferramentas e técnicas para a seleção e avaliação de fornecedores: um estudo na indústria brasileira de alimentos

Coelho Viana, Joana 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T17:43:09Z (GMT). No. of bitstreams: 2 arquivo982_1.pdf: 1569553 bytes, checksum: 8bdeac171b11a0253f69855d294400c7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nos últimos anos, observa-se uma crescente ênfase na construção de relacionamentos de longo prazo motivada pela busca constante das organizações por criação de valor e diferenciais competitivos. O movimento de terceirização de atividades não principais também tem influenciado esse crescimento na medida em que aumenta o impacto do desempenho dos fornecedores sobre os resultados da organização e realça a necessidade de trabalho colaborativo. Em tais circunstâncias, os fornecedores deixam de ser adversários, tornando-se parceiros de seus contratantes. Estes últimos, por sua vez, reagem com a adoção de processos cada vez mais rigorosos de seleção e avaliação. Essa área do conhecimento tem, portanto, atraído cada vez mais interessados, sendo o foco de inúmeros estudos. Os trabalhos buscam o aprimoramento das práticas a fim de aumentar a eficiência das escolhas de modo a assegurar a competitividade das organizações. Nesse contexto, o presente trabalho apresenta uma investigação das ferramentas e técnicas adotadas para a seleção e avaliação de fornecedores na indústria brasileira de alimentos. A coleta de dados foi realizada mediante a aplicação de questionários eletrônicos a uma amostra probabilística das empresas cadastradas na Associação Brasileira das Indústrias de Alimentação (ABIA). Utilizando-se uma abordagem descritiva e causal, os dados amostrais foram tratados e analisados para se obter um diagnóstico sobre as práticas dessa indústria, assim como avaliar os padrões de comportamento específicos. Os resultados encontrados fornecem uma visão de como as indústrias brasileiras do setor de alimentos estão atualmente selecionando e avaliando seus fornecedores, assim como os critérios considerados cruciais no processo. Esses resultados permitem às organizações reavaliarem seus próprios métodos, fornecendo informações relevantes para a criação de novas estratégias
32

Princípios da legalidade e transparência administrativa nos processos demarcatórios de terrenos de marinha : uma contextualização históricosocial ante o atual estágio da democracia brasileira

Marques, Célio 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T18:30:43Z (GMT). No. of bitstreams: 2 arquivo3797_1.pdf: 1320534 bytes, checksum: b51feb4ff7bc257637316835f935e0a3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Tribunal Regional Federal da 5ª Região / A origem dos terrenos de marinha remonta à primeira metade do século XVII. Entretanto, foram instituídos legalmente no Brasil-Colônia pela Coroa portuguesa no início do século XIX. Instituto desconhecido no resto do mundo, teve sua justificativa embasada na defesa do território, na necessidade de se constituir área livre para o comércio, construção de portos, embarque e desembarque de mercadoria e como fonte de receita. Esse estudo faz um levantamento das implicações histórico-jurídicas e sociais da ocupação formal do território do Brasil-Colônia com enfoque nas razões que levaram à criação, implantação e disciplinamento legal dos terrenos de marinha, inclusive sua inserção, pela primeira vez na história, no texto da Constituição da República de 1988. Analisam-se os procedimentos administrativos utilizados pela Secretaria do Patrimônio da União SPU para demarcar e recadastrar os terrenos de marinha, ao passo que busca contextualizar tais medidas no atual regime democrático brasileiro. Em contrapartida, aborda os mecanismos de pressão social utilizados para frear novas demarcações, questionar os critérios adotados para reajustar as taxas de ocupação, as cobranças de foro e de laudêmio; a atuação da imprensa escrita local nesse contexto e a criação de entidades com o fim de combater a permanência dos terrenos de marinha no direito brasileiro. Da mesma forma, objetiva identificar o papel dos Poderes Legislativo e Judiciário frente a essa conjuntura. A partir dessas análises, conclui-se que: a) as razões que justificaram a criação, implantação e regularização dos terrenos de marinha, em nosso direito administrativo e constitucional, não mais existem; b) que os procedimentos administrativos utilizados pela SPU, para demarcar e recadastrar os terrenos de marinha, infringem frontalmente os princípios da legalidade, publicidade e transparência administrativos, em descompasso com o atual regime democrático brasileiro. Tais conclusões propiciaram recomendar: a) que sejam revogados o inciso VII do art. 20 da Constituição da República Federativa do Brasil de 1988 e o §3º do art. 49 do Ato das Disposições Constitucionais Transitórias ADCT, o que equivale à extinção dos terrenos de marinha e seus acrescidos; b) que seja aprovada a Proposta de Emenda Constitucional-PEC nº 53/2007, em trâmite no Senado Federal
33

Orientação a objeto: definição, implementação e análise de recursos de teste e validação / Object-oriented: definition, implementation and analysis of validation and testing resources

Vincenzi, Auri Marcelo Rizzo 05 May 2004 (has links)
O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. / The development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutation-based criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -- with the definition of testing criteria; empirical -- with the conduction of empirical studies; and to testing automation -- with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work.
34

Orientação a objeto: definição, implementação e análise de recursos de teste e validação / Object-oriented: definition, implementation and analysis of validation and testing resources

Auri Marcelo Rizzo Vincenzi 05 May 2004 (has links)
O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. / The development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutation-based criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -- with the definition of testing criteria; empirical -- with the conduction of empirical studies; and to testing automation -- with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work.
35

O processo de escolha do livro didático de ciências por professores de 1ª a 4ª séries / The process of choice of science´s textbooks by primary teachers

Tolentino Neto, Luiz Caldeira Brant de 17 October 2003 (has links)
O Governo Federal, com o PNLD (Programa Nacional do Livro Didático) propõe avaliar e distribuir livros didáticos para todas as escolas públicas de Ensino Fundamental brasileiras. Os critérios para esta avaliação, bem como sua logística, são refinados a cada edição do Programa. No entanto, o impacto e as reações causadas pelo PNLD a quem ele realmente se destina, são pouco estudados. O PNLD chega até as escolas sob a forma do Guia de Livros Didáticos, material que pretende ser fundamental à decisão dos títulos a serem requisitados ao MEC. O estudo do processo de escolha dos livros didáticos por professores de 1a a 4a séries é o objetivo deste trabalho. Buscamos conhecer os critérios utilizados pelos docentes na opção pela obra a ser adotada, as interferências internas e externas ao andamento do processo, as opiniões e sugestões ao PNLD. O trabalho visa contribuir com o PNLD na medida em que expõe o processo sob o olhar do professor. Procura subsidiar novas pesquisas, e produções editoriais. E visa, sobretudo, ao expressar as dificuldades, necessidades e desejos dos professores, colaborar com as mudanças necessárias para a melhoria da qualidade do ensino brasileiro.O trabalho desta pesquisa realizou-se de maneira paralela a uma pesquisa oficial do Ministério da Educação, cujo autor dessa dissertação auxiliou na coordenação, e procurou - com visitas a escolas e entrevistas com professores - estudar o processo de escolha dos livros in loco. Obtivemos como resultados, expressivos relatos de professores sobre este processo, mostrando a diversidade de critérios e condições para as escolhas. Constatou-se o pouco uso do Guia, o desconhecimento de importantes etapas do Programa. Conhecemos as deficiências estruturais do PNLD, as pressões exercidas pelas editoras e pelo poder público. Pretendemos, com o relato de sugestões e análise dos dados coletados, fornecer subsídios para o aprofundamento de estudos relacionados ao Programa Nacional do Livro Didático, contribuindo para sua eficiência. / The Brazilian Federal Government , with the PNLD ( National Textbook Program ) aims to evaluate and distribute textbooks to all public elementary schools. The criteria for this evaluation , as well as its logistics are refined at each edition of the Program. However , the impact and reactions caused by PNLD at whom he really intended , are poorly studied. PNLD arrives at schools by the Guide Textbook , material that purports to be fundamental to the decision of the securities to be bought by Ministry of Education. The study of the choice of textbooks by primary teachers is the aim of this Master´s work. We seek to know the criteria used by teachers in the choice of textbooks adopted , internal and external interference to the progress of the PNLD , the opinions and suggestions to PNLD. The work aims to contribute to the PNLD exposing the process under the gaze of the teacher. Aims to contribute to new researchs and editorial productions . And aims mainly express the difficulties , needs and wishes of teachers , collaborate with the necessary changes to improve the quality of brazilian schools. This research work was carried out in parallel to an official survey by the Ministry of Education , whose author of this master thesis helped coordinate , and searched - with school visit´s and interviews with teachers - study the process of choosing books spot. The results obtained shows the diversity of criteria and conditions for the choices . It found little use of the Guide , the lack of important steps in the Program . We know the structural deficiencies of PNLD pressures exerted by publishers and public authorities . We intend, with suggestions and analysis of collected data, provide support for deepening related to National Textbook Program studies, contributing to its efficiency .
36

Modelos Mistura de Regressão na Segmentação de Mercado: uma abordagem metodológica para a selecção do número adequado de segmentos. Estudo do comportamento do utente de transporte público urbano na área metropolitana do Porto

Brochado, Ana Margarida Mendes Camelo Oliveira 10 October 2007 (has links)
Ciências Empresariais (sem parte escolar) / Esta dissertação enquadra-se na problemática da segmentação de mercado e da selecção do número de grupos quando são utilizados modelos mistura de regressão para variáveis normais. Apesar do frequente uso destes modelos, o problema da selecção do número de segmentos continua em aberto, quer na literatura de Marketing, quer Estatística. Determinar o número de segmentos é essencial, na medida em que várias decisões estratégicas de Marketing em mercados heterogéneos dependem dela, existindo custos para as empresas de uma incorrecta definição do número de segmentos de mercado. Esta dissertação possui dois objectivos de investigação: (i) identificação, descrição e organização dos critérios, dispersos na literatura, que podem ser usados na selecção do número de segmentos; (ii) avaliação da eficácia dos critérios revistos e da influência de um conjunto de condições experimentais na selecção do número de segmentos. Os critérios foram classificados em dois grandes grupos, critérios de informação (estimadores da distância Kullback-Leibler, bayesianos e consistentes) e critérios de classificação (índices probabilísticos e índices difusos). A avaliação do desempenho dos 26 critérios seleccionados foi efectuada através de um conjunto de 17 designs experimentais. Na sua concepção deu-se particular relevância ao problema de nichos de mercado e à questão da robustez dos resultados à distribuição de probabilidade assumida (normal versus uniforme). As simulações foram realizadas no programa Gauss 6.0. Os melhores desempenhos foram dos critérios AIC3, AIC4, HQ, ICLBIC e ICOMPLBIC. Na presença de amostras de grande dimensão e um grande número de grupos são igualmente recomendáveis os critérios BIC e CAIC. / This dissertation is developed in the context of market segmentation and market segments retention when mixture regression models for normal data are used. Despite the popularity of these models, the decision of how many segments to keep is an open issue, both in Marketing and Statistics literature. To determine the correct number of market segments is essential, because many strategic Marketing decisions in heterogeneous markets depend on it and an incorrect selection of the number of market segments results in monetary costs for any company. This dissertation has two main objectives: (i) identification, description and classification of the criteria that could be used to select the number of market segments (ii) evaluation of how the reviewed criteria perform and the influence of a set of experimental conditions on the selection of the number of market segments. The reviewed criteria were classified into two groups, namely information criteria (Kullback-Leibler, bayesian and consistent) and classification criteria (probabilistic and fuzzy indices). The performance evaluation of the 26 selected criteria was accomplished through a set of 17 experimental designs. In these experimental designs we considered the problem of market niches and the robustness of the results to the probability assumed (normal versus uniform). The simulations were implemented with Gauss 6.0 package. The best results were obtained for the criteria AIC3, AIC4, HQ, ICLBIC and ICOMPLBIC. BIC and CAIC also perform well with large samples and a large number of market segments.
37

O processo de escolha do livro didático de ciências por professores de 1ª a 4ª séries / The process of choice of science´s textbooks by primary teachers

Luiz Caldeira Brant de Tolentino Neto 17 October 2003 (has links)
O Governo Federal, com o PNLD (Programa Nacional do Livro Didático) propõe avaliar e distribuir livros didáticos para todas as escolas públicas de Ensino Fundamental brasileiras. Os critérios para esta avaliação, bem como sua logística, são refinados a cada edição do Programa. No entanto, o impacto e as reações causadas pelo PNLD a quem ele realmente se destina, são pouco estudados. O PNLD chega até as escolas sob a forma do Guia de Livros Didáticos, material que pretende ser fundamental à decisão dos títulos a serem requisitados ao MEC. O estudo do processo de escolha dos livros didáticos por professores de 1a a 4a séries é o objetivo deste trabalho. Buscamos conhecer os critérios utilizados pelos docentes na opção pela obra a ser adotada, as interferências internas e externas ao andamento do processo, as opiniões e sugestões ao PNLD. O trabalho visa contribuir com o PNLD na medida em que expõe o processo sob o olhar do professor. Procura subsidiar novas pesquisas, e produções editoriais. E visa, sobretudo, ao expressar as dificuldades, necessidades e desejos dos professores, colaborar com as mudanças necessárias para a melhoria da qualidade do ensino brasileiro.O trabalho desta pesquisa realizou-se de maneira paralela a uma pesquisa oficial do Ministério da Educação, cujo autor dessa dissertação auxiliou na coordenação, e procurou - com visitas a escolas e entrevistas com professores - estudar o processo de escolha dos livros in loco. Obtivemos como resultados, expressivos relatos de professores sobre este processo, mostrando a diversidade de critérios e condições para as escolhas. Constatou-se o pouco uso do Guia, o desconhecimento de importantes etapas do Programa. Conhecemos as deficiências estruturais do PNLD, as pressões exercidas pelas editoras e pelo poder público. Pretendemos, com o relato de sugestões e análise dos dados coletados, fornecer subsídios para o aprofundamento de estudos relacionados ao Programa Nacional do Livro Didático, contribuindo para sua eficiência. / The Brazilian Federal Government , with the PNLD ( National Textbook Program ) aims to evaluate and distribute textbooks to all public elementary schools. The criteria for this evaluation , as well as its logistics are refined at each edition of the Program. However , the impact and reactions caused by PNLD at whom he really intended , are poorly studied. PNLD arrives at schools by the Guide Textbook , material that purports to be fundamental to the decision of the securities to be bought by Ministry of Education. The study of the choice of textbooks by primary teachers is the aim of this Master´s work. We seek to know the criteria used by teachers in the choice of textbooks adopted , internal and external interference to the progress of the PNLD , the opinions and suggestions to PNLD. The work aims to contribute to the PNLD exposing the process under the gaze of the teacher. Aims to contribute to new researchs and editorial productions . And aims mainly express the difficulties , needs and wishes of teachers , collaborate with the necessary changes to improve the quality of brazilian schools. This research work was carried out in parallel to an official survey by the Ministry of Education , whose author of this master thesis helped coordinate , and searched - with school visit´s and interviews with teachers - study the process of choosing books spot. The results obtained shows the diversity of criteria and conditions for the choices . It found little use of the Guide , the lack of important steps in the Program . We know the structural deficiencies of PNLD pressures exerted by publishers and public authorities . We intend, with suggestions and analysis of collected data, provide support for deepening related to National Textbook Program studies, contributing to its efficiency .
38

Structural testing criteria for concurrent programs considering loop execution / Critérios de teste estrutural para programas concorrentes considerando a execução de loops

Diaz, Silvia Margarita Diaz 24 May 2019 (has links)
Parallel programs are imperative for improving performance and problem solving, having an increasing demand on implementing efficient parallel programming techniques. This entails new challenges on software testing to ensure their quality and reliability. Structural testing is a technique that allows the identification of concurrency defects by analyzing the internal structure of the program. However, the non-determinism of concurrent programs has implications in the testing activity, requiring the use of structured methods to reveal defects. Testing criteria support the selection of test cases in a systematical form by statically analysing elements of concurrent programs. We found that there are currently gaps in the definition of testing criteria contemplating scenarios with elements that are dynamically evaluated, such as the execution of communication primitives inside loops. The objective of this project is to define structural testing criteria to guide the selection of test cases, improving the reliability of concurrent programs by revealing non-determinism related errors present in repetition structures. We developed a Concurrent Defects Taxonomy, identifying and classifying concurrency types of defects found in related literature. The analysis of such defects, paths inside loops, number of loop iterations, and nested loops allow us to model the proposed structural testing criteria. We define new sets and associations related to communication and synchronization flows for message-passing programs, establishing a model for testing criteria. We implemented the proposed test model in ValiMPI, a testing tool prototype, considering the new concepts defined in our test model, generating required elements and evaluating coverage after constructing loop paths. For the application evaluation of criteria we perform an empirical study with statistical validation, indicating the results for cost, effectiveness and strength. Our experimental evaluation demonstrated that the proposed testing criteria generates required elements that support the identification of concurrency defects occurring in different loop iterations, when having communicational events with non-deterministic behavior. / A programação paralela é imperativa para melhorar o desempenho e a resolução eficiente de problemas, tendo uma demanda crescente na implementação de técnicas de programação paralela. Isso implica novos desafios no teste de software para garantir a qualidade e confiabilidade. O teste estrutural é uma técnica que permite a identificação de defeitos de concorrência, analisando a estrutura interna do programa. No entanto, os programas concorrentes são não-determinísticos, com desafios na atividade de teste, exigindo o uso de métodos estruturados para revelar defeitos. Os critérios de teste suportam a seleção de casos de teste de forma sistemática, analisando estaticamente elementos de programas concorrentes. Foi descoberto que atualmente existem lacunas na definição de critérios de teste contemplando cenários com elementos dinâmicos, como a execução de primitivas de comunicação dentro de loops. O objetivo deste projeto é definir critérios estruturais para orientar a seleção de casos de teste, revelando erros relacionados ao não-determinismo e melhorando a confiabilidade de programas concorrentes. Foi desenvolvida uma Taxonomia de Defeitos Concorrentes, identificando e classificando os tipos de defeitos de concorrência encontrados na literatura relacionada. A análise de tais defeitos, a seleção de caminhos de loop, o número de iterações de loop e loops aninhados permitem modelar os critérios de testes estruturais propostos. Foram definidos novos conjuntos e associações relacionadas aos fluxos de comunicação e sincronização de programas de passagem de mensagens, estabelecendo um modelo para os critérios de teste. O modelo de teste proposto foi implementado no protótipo de ferramenta de teste chamada ValiMPI, considerando as associações definidas para os critérios propostos, gerando elementos necessários e cobertura de avaliação após a identificação dos nós de loop. Para a avaliação da aplicação dos critérios, foi realizado um estudo empírico com validação estatística, indicando os resultados para custo, efetividade e strength. A avaliação experimental demonstrou que os critérios de teste propostos geram elementos necessários que suportam a identificação de defeitos presentes em diferentes iterações dos loops, quando existem eventos de comunicação com comportamento não-determinístico.
39

Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks / Evaluating the testing of concurrent programs: an approach using benchmarks

Dourado, George Gabriel Mendes 18 November 2015 (has links)
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.
40

Critérios de reputação em coletivos digitais: estudo de caso na disciplina criando comunidades virtuais de aprendizagem e de prática / Power relationships in virtual communities: stablishing reputation between colective production and members decisions.

Freire, Claudia Pontes 20 May 2009 (has links)
Relações de poder na sociedade em rede, emergência, nomadismo e coletivos digitais. Estudo inserido na Área de Concentração Interfaces Sociais da Comunicação, na Linha de Pesquisa Educomunicação do Programa de Pós-Graduação em Ciências da Comunicação (PPGCOM) da Universidade de São Paulo. A pesquisa trata dos critérios de reputação em trabalho coletivo mediado denominado texto coletivo desenvolvido por alunos do Programa de Pós- Graduação em Ciências da Comunicação (PPGCOM) da Escola de Comunicação e Artes da Universidade de São Paulo, constituindo-se em um estudo de caso na disciplina Criando Comunidades Virtuais de Aprendizagem e Prática, em vigor desde o ano de 2001. Estudo longitudinal, exploratório, o método é etnográfico utilizando técnicas de coleta de dados quantitativas (questionário fechado) e qualitativas observação participante e coleta de depoimentos. Os resultados apontam para os seguintes critérios de reputação: a) o envolvimento dos participantes na atividade de produção coletivo; b) a influência do conhecimento de cultura digital e ferramentas da web (literacia digital); c) perfil do aluno e característica pessoais que despertam a confiança e o compartilhamento de conhecimento por parte dos outros colegas. / Powerelationships in network society: emergence, nomadism and digital colectives. This research belongs to Graduate Program of Communication Sciences in School of Arts at University of São Paulo/Brazil. The study deals about the emergence of reputation\'s criteria on a collaborative mediated work - a collective text - written by graduate students of Graduated Program of Communication Sciences in School of Arts and Communication from University of Sao Paulo/ Brazil. The students were taking part at a discipline named Building Virtual Learning Communities and Practice being offered on the graduated program since 2001. Exploratory and longitudinal, this study adopted an etnographic perspective through quantitative methods (surveys) and qualitative methods testimonys and participant observation. The results are pointting to the emergence of the following reputation\'s criteria: a) student\'s motivation and envolvement in the collaborative work b) the influence of digital literacy c) the influence of contigencial\'s factors like profile, charisma, and trust by the other students during the collaborative work.

Page generated in 0.056 seconds