Made available in DSpace on 2015-04-14T14:49:29Z (GMT). No. of bitstreams: 1 427824.pdf: 1081749 bytes, checksum: c8c69e3ba36c9f3bab710bcbfe4774f4 (MD5) Previous issue date: 2010-03-12 / Com o crescimento da depend?ncia de in?meras atividades humanas por sistemas computacionais, cresce tamb?m a expectativa dos usu?rios, que querem n?o apenas a automa??o de processos, mas tamb?m crescentes qualidade e agilidade na entrega de informa??es e servi?os. A forma mais difundida de garantia de cumprimento dos requisitos de um sistema ? o teste de software. Apesar de trazerem indispens?veis benef?cios ao processo de constru??o de software, os testes de software ainda s?o atividades extremamente manuais, repetitivas e, por vezes, artesanais. O uso de modelos formais para descrever o comportamento e a estrutura de um sistema s?o t?cnicas baseadas na matem?tica, comprovadas e aceitas, que em muito acrescentam na tarefa de caracterizar de forma precisa e n?o amb?gua um sistema. A disciplina de testes baseados em modelos compreende uma t?cnica onde os testes a serem realizados s?o definidos automaticamente a partir do modelo da aplica??o. Uma das formas de realizar as ideias presentes na t?cnica de testes baseados em modelos, tirando proveito do reuso de componentes similares de software a fim de diminuir o esfor?o sem perder qualidade ? a engenharia de linha de produto de software. O presente trabalho busca aliar t?cnicas de gera??o de testes baseados em modelos formais a t?cnicas de engenharia de linha de produto de software, a fim de automatizar etapas manuais da gera??o e execu??o de casos de teste. Dessa forma, ? proposta uma arquitetura baseada nos conceitos citados, e concretizada atrav?s da implementa??o de uma ferramenta baseada no conceito de plug-ins, a fim de validar a ideia proposta.

Made available in DSpace on 2015-04-14T14:49:31Z (GMT). No. of bitstreams: 1 431851.pdf: 926379 bytes, checksum: 41dde88f7d4f933186ff71b29831c0c2 (MD5) Previous issue date: 2008-02-28 / A an?lise comportamental de um processo permite a detec??o de defici?ncias, assim como avaliar o impacto no desempenho do mesmo causado por mudan?as no ambiente. O uso de modelos anal?ticos para descrever o processo em observa??o fornece estes dados atrav?s da resolu??o de sistemas de equa??es. No caso de modelagens feitas com a utiliza??o de formalismos como Rede de Aut?matos Estoc?sticos, a resolu??o destes sistemas depende da multiplica??o de vetores por estruturas definidas atrav?s da ?lgebra tensorial. Por ter um alto custo computacional, diversos algoritmos foram propostos para resolver esta multiplica??o. Recentemente a solu??o iterativa Split foi proposta, e o objetivo deste trabalho ? apresentar alternativas paralelas e otimiza??es para a mesma, buscando um melhor desempenho da solu??o

Made available in DSpace on 2015-04-14T14:49:52Z (GMT). No. of bitstreams: 1 440403.pdf: 3359278 bytes, checksum: cbbeb61af35844dc984f05b444694a52 (MD5) Previous issue date: 2012-03-08 / Software testing process has a high cost when compared to the other stages of software development. Automation of software testing through reuse of software artifacts (e.g. models) is a good alternative for mitigating these costs and making the process much more efficient and effective. In this sense, the Model-Based Testing (MBT) approach has increased in Software Engineering. MBT is a technique of automatic generation of testing artifacts based on software models, which also includes the specification of the aspects to be tested. This work aims to study techniques and methodologies for MBT and to evaluate the features of the different models applied in MBT. The main contribution of this study is to analyze the features of the models that are used in performance testing of web applications. In another perspective, it presents an approach for generating test cases based on FSM (Finite State Machines). Furthermore, it describes the process of generating the test cases using the HSI method (Harmonized State Identification). Besides, the implementation of a plug-in in the PLeTs tool based on UML SPT profile, which interprets the set of features designed for performance testing, is presented in a real case study. Our work, defines which features must be present in a model when modeling user interactions with a SUT (System Under Test). This will allow the increasing in automation and in reusing testing artifacts throughout the systems development life cycle. Furthermore, our solution is generated automatically by a Software Product Line (SPL). / O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automa??o do teste de software por meio do reuso de artefatos de software, e.g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de gera??o e execu??o dos casos de teste, tornando mais eficiente e eficaz este processo. Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) est? crescendo na Engenharia de Software. MBT ? uma t?cnica que consiste na gera??o autom?tica dos artefatos de teste com base em informa??es extra?das dos modelos de software, que inclui tamb?m a especifica??o dos aspectos que ser?o testados. O presente trabalho tem por objetivo estudar t?cnicas e metodologias para MBT e avaliar as caracter?sticas dos diferentes modelos aplicados em MBT. A principal contribui??o deste estudo ? a an?lise das caracter?sticas dos modelos que s?o utilizados no teste de desempenho em aplica??es web. Em outra perspectiva, a pesquisa norteia a investiga??o de modelos e m?todos para gera??o de sequ?ncias de teste. Assim, apresenta a abordagem de gera??o de casos de teste baseado em MEFs (M?quinas de Estados Finitos), conceituando MEF e ainda, descreve o processo de gera??o das sequ?ncias de teste atrav?s do m?todo HSI (Harmonized State Identification). Por outro lado, a implementa??o de um plug-in para a ferramenta PLeTs, que implementa uma linha de produtos de software, baseado no modelo UML SPT, que interpreta o conjunto de caracter?sticas para teste de desempenho desenvolvido, ? apresentado em um estudo de caso real. Com esta an?lise, definem-se quais caracter?sticas devem estar presentes no modelo para a modelagem das intera??es do usu?rio com o SUT (System Under Test), buscando o maior reuso deste modelo ao longo do ciclo de vida de desenvolvimento do software.

Made available in DSpace on 2015-04-14T14:50:00Z (GMT). No. of bitstreams: 1 448243.pdf: 2290128 bytes, checksum: 5d6aa8c3c9b323bf5e5fc7c54792fa85 (MD5) Previous issue date: 2010-01-18 / Nowadays, a considerable part of usability evaluations carried out during the software development lifecycle is conducted at later stages. Some of these assessments depend on the creation of fully functional prototypes, so they can be applied, and they re commonly performed after the development and deployment of software. This factor contributes significantly to the increase in cost of production. In this sense, from the research of prototyping, usability engineering and the conduction of a systematic review, this work presents an approach that allows the usability evaluation anticipation, through the use of mixed-fidelity prototypes created via the use of a computational tool. This tool assists in the creation and simulation of prototype interfaces, and enables collecting the following metrics of usability, for further analysis: task success, giving up on tasks, time on task, effort, screen balance, screen symmetry, screen balance, sequencing, order and complexity and system usability scale. In addition to the metrics that are collected by the tool automatically, other metrics are proposed to be collected from the observation of users using the prototypes created: partial success of the task, number of errors, help and documentation, time help, anger or frustration. The analysis of the obtained metrics point to areas of the system with potential usability problems. Moreover, the execution of new tests using the interfaces refined with the approach aid allow us to quantify the improvements resulting of the layout changes. In addition to the approach, the work presents its use in an experiment conducted with users. This experiment showed that, although not ali the metrics that can be collected from prototypes contribute to the refinement of interfaces, it was still possible to reduce the number of usability problems by just analyzing the results of the metrics. / Hoje em dia, uma consider?vel parte das avalia??es de usabilidade realizadas nos ciclos de desenvolvimento de software ? conduzida em etapas mais avan?adas nestes ciclos. Algumas destas avalia??es dependem ainda que prot?tipos totalmente funcionais sejam constru?dos, para que possam ser aplicadas, sendo comumente realizadas ap?s o desenvolvimento e implanta??o do software. Este fator contribui significativamente para o aumento no custo de produ??o. Neste sentido, a partir de pesquisas sobre prototipa??o e engenharia de usabilidade e da condu??o de uma revis?o sistem?tica sobre m?tricas para avalia??o de usabilidade, o presente trabalho apresenta uma abordagem que permite que a avalia??o de usabilidade seja antecipada, efetuando-a por meio da utiliza??o de prot?tipos de fidelidade mista - elaborados mediante o uso de uma ferramenta computacional. Esta ferramenta auxilia na cria??o e simula??o de prot?tipos de interfaces, al?m de permitir coletar as seguintes m?tricas de usabilidade, para posterior an?lise: sucesso de tarefas, desist?ncia de tarefas, tempo na tarefa, esfor?o, equil?brio de tela, simetria de tela, balan?o de tela, seq?enciamento, ordem e complexidade e escala de usabilidade do sistema. Al?m das m?tricas que s?o coletadas pela ferramenta, de forma autom?tica, s?o propostas as seguintes m?tricas, a serem coletadas a partir da observa??o dos usu?rios utilizando os prot?tipos criados: sucesso parcial de tarefa, n?mero de erros, auxilio e documenta??o, tempo de ajuda e raiva ou frustra??o. A an?lise das m?tricas obtidas permite apontar ?reas do sistema com poss?veis problemas de usabilidade. Al?m disto, a execu??o de novos testes utilizando as interfaces refinadas com o aux?lio da abordagem permite quantificar as melhorias realizadas pelas mudan?as de layout efetuadas. Al?m da abordagem, o trabalho apresenta seu uso em um experimento realizado com usu?rios. Este experimento permitiu verificar que, apesar de nem todas as m?tricas pass?veis de serem coletadas de prot?tipos contribu?rem para o refino das interfaces, ainda assim foi poss?vel reduzir o n?mero de problemas de usabilidade.

Made available in DSpace on 2015-04-14T14:50:17Z (GMT). No. of bitstreams: 1 465121.pdf: 3570825 bytes, checksum: 6b189527af0bba987cbc5465ab965a18 (MD5) Previous issue date: 2012-03-28 / The Global Software Development (GSD), has been used by various companies around the world. To help these companies overcome the difficulties imposed by this type of work, the WAVE capability model was proposed. However, until the conclusion of this research, it was not possible to use the WAVE effectively in the industry, since there was none assessment method for it. This research proposes an assessment method for the WAVE capability model, and it is called 2DAM-WAVE. It allows organizations that wish to implement the best practices of WAVE, find out in which capability level they are situated. To propose this method a qualitative analysis of the existent assessment methods was made, after this, the assessment method was applied in a Brazilian unit of a global organization and on an Indian unit from another organization, by conducting of two case studies. As a result of this research an assessment method for the WAVE, entitled 2DAM-WAVE, and a support tool that helps and facilitates this assessment were developed / O Desenvolvimento Distribu?do de Software (DDS), em n?vel global, vem sendo utilizado por diversas empresas ao redor do mundo. Para auxiliar essas empresas a superar as dificuldades impostas por esse tipo de trabalho, o modelo de capacidade WAVE foi proposto. No entanto, at? a conclus?o dessa pesquisa, n?o era poss?vel utilizar o WAVE efetivamente na ind?stria, visto que ele n?o possu?a um m?todo de avalia??o. Essa pesquisa prop?e um m?todo de avalia??o para o WAVE, chamado de 2DAM-WAVE, possibilitando que as organiza??es, que desejam implementar as boas pr?ticas do WAVE, descubram em que n?vel de capacidade se encontram. Para propor esse m?todo foi realizada uma an?lise qualitativa de m?todos de avalia??o existentes, ap?s isto, o resultado foi aplicado em uma unidade brasileira de uma organiza??o global e em uma unidade indiana de outra organiza??o global, atrav?s de dois estudos de caso. Com o resultado dessa pesquisa um m?todo de avalia??o para o WAVE, intitulado 2DAM-WAVE, e uma ferramenta de apoio para conduzir e facilitar esse processo foram desenvolvidos

Made available in DSpace on 2015-04-14T14:50:19Z (GMT). No. of bitstreams: 1 467155.pdf: 2830700 bytes, checksum: 717b3cd1bf5545454eab21f0a4080aac (MD5) Previous issue date: 2014-03-31 / Technology advances have allowed software systems to become more common in our society solving different types of problems we face everyday. This widespread use of software systems brought about some bigger and more complex solutions, which resulted in more systems that can fail. Furthermore, two important aspects in the software development process are being considered in every project: time to delivery and product quality. Since products have to be delivered faster, some faults may reside in the product and that could cause unforeseeable costs. In this scenario it is fundamental that the testing activity become one of the most important parts of the software development process to guarantee the quality of the final product. However, the testing activity is usually very expensive and time consuming, since most of the time it is executed manually. To improve that, Model Based Testing (MBT) has been used lately to generate testing artifacts automatically. These artifacts are usually extracted from the system model. This has helped to reduce the cost of testing, since the time to generate and execute tests can be reduced. Therefore, the main contribution of this work is to investigate how MBT can be applied for performance testing, i.e. how to include timing constraints in UML (Unified Modeling Language) diagrams and based on those constraints to execute the tests and verify whether the constraints are met or not. Another contribution of this work, is the setting of Service Level Agreements, i.e. set parameters to verify whether a system delivery answers based on pre-determined values. We applied our strategy to two sample applications, i.e. TPC-W and Skills, and measured their execution time using the LoadRunner Tool. Furthermore, we applied our whole strategy also to a complete case study, i.e. ChangePoint, and discuss some of our results. / Com o avan?o da tecnologia, os sistemas se tornaram cada vez maiores e mais complexos, e, consequentemente, mais suscet?veis a defeitos. Aliado a isso, est?o presentes dois fatores cruciais no processo de desenvolvimento de software: os prazos de entrega dos projetos e a qualidade do produto, uma vez que a exist?ncia de pequenas falhas pode levar a preju?zos incalcul?veis. Nesse aspecto, se torna indispens?vel incluir a atividade de teste como parte do projeto de software, a fim de garantir certo de n?vel de confiabilidade. Por?m, a realiza??o da atividade de teste ? geralmente bastante onerosa durante o desenvolvimento de um sistema de software. Isso ocorre porque boa parte dessas atividades s?o executadas manualmente. Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) ? uma t?cnica que consiste na gera??o autom?tica dos artefatos de teste com base em informa??es extra?das dos modelos de software. Isso tem sido uma alternativa para mitigar estes custos e tornar o processo de teste mais eficiente, reduzindo o tempo de gera??o e execu??o dos casos de teste. Neste contexto, a principal contribui??o deste estudo ? investigar a abordagem de MBT para teste de desempenho, relacionando estimativas de tempo aos modelos UML (Unified Modeling Language)e com base nessas estimativas medir o tempo de execu??o das sequ?ncias de teste. Outro fator ? a defini??o dos Acordos de N?vel de Servi?o - SLAs, que tem como objetivo definir indicadores a serem atingidos que possam de fato serem medidos e assegurar que um servi?o seja disponibilizado de forma correta e adequada. Diante disso, a partir de um cen?rio de teste ? poss?vel medir e monitorar o tempo de execu??o das sequ?ncias de teste avaliando se est?o em conformidade com o SLA definido. Ap?s a realiza??o dos testes ? poss?vel coletar e analisar os resultados obtidos, al?m de comparar com os requisitos de tempo inicialmente estimados nos modelos. N?s aplicamos a nossa abordagem em duas em duas aplica??es: TPC-W e Skills, e medimos seus tempos de execu??o usando a ferramenta LoadRunner. Al?m disso, aplicamos nossa abordagem tamb?m para um estudo de caso completo, usando a aplica??o ChangePoint, e discutimos alguns dos resultados.

Made available in DSpace on 2015-04-14T14:50:23Z (GMT). No. of bitstreams: 1 392134.pdf: 2697824 bytes, checksum: b47a0044cf99f8b121575ecdcc645a3a (MD5) Previous issue date: 2006-08-30 / Este trabalho discute o desempenho de algoritmos de migra??o de mem?ria em computadores do tipo NUMA. ? apresentada uma breve descri??o do algoritmo de gerenciamento de mem?ria do Linux e, tamb?m, dos algoritmos de migra??o de mem?ria propostos (migra??o total e migra??o sob demanda). Em seguida, ? descrito o modelo de avalia??o de desempenho. Neste trabalho, foi usado modelo de simula??o com o desenvolvimento de um simulador que modela os algoritmos de ger?ncia de mem?ria do Linux e os algoritmos de migra??o de mem?ria propostos. No final, s?o apresentados os resultados obtidos com o uso de migra??o de mem?ria, que mostraram que h? melhor desempenho quando comparado com o atual algoritmo de gerenciamento de mem?ria do Linux.

Made available in DSpace on 2015-04-14T14:50:23Z (GMT). No. of bitstreams: 1 383804.pdf: 953836 bytes, checksum: 5d80004bb1d1ce5e662e69f7194febd2 (MD5) Previous issue date: 2006-09-14 / A modelagem anal?tica pode ser utilizada para prever desempenho, detectar defici?ncias e avaliar estrat?gias para melhorar sistemas. No contexto da modelagem computacional, diversos formalismos para a modelagem anal?tica est?o se popularizando devido ao fato de proverem alto-n?vel de abstra??o e modularidade. No entanto, para inferir estimativas de desempenho destes modelos, ? necess?rio resolver um sistema de equa??es. Em modelos anal?ticos estruturados, tais sistemas n?o se apresentam na forma tradicional, Ax = b, pois a matriz de coeficientes (A) ? trocada por uma express?o alg?brica (Q), denominada Descritor Markoviano (ou s? descritor). Logo, a multiplica??o convencional, Ax ? substitu?da pela multiplica??o vetor-descritor (MVD), Qx. Dois algoritmos foram propostos recentemente para implementar a MVD: shuffle e slice. Ambos apresentam um alto custo computacional, que eleva drasticamente o tempo necess?rio para resolver modelos complexos. O objetivo do presente trabalho est? relacionado com a utiliza??o de t?cnicas de alto desempenho para propor vers?es mais r?pidas, tanto para o algoritmo shuffle quanto para o slice.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-05-12T13:45:28Z No. of bitstreams: 1 468407 Texto Completo.pdf: 1992826 bytes, checksum: c349f310b28276f656fe2f6fd590c26a (MD5) / Made available in DSpace on 2015-05-12T13:45:28Z (GMT). No. of bitstreams: 1 468407 Texto Completo.pdf: 1992826 bytes, checksum: c349f310b28276f656fe2f6fd590c26a (MD5) Previous issue date: 2015-03-26 / Customer orientation is the set of organizational beliefs which determine the prioritization of the client in front of other matters (DESHPAND?, FARLEY, WEBSTER; 1993) and the literature highlights the positive influence of this strategic orientation on several types of organizational performance. However, some papers have demonstrated results rather non significant and even negative suggesting the need for a deeper analysis, and the scientific community still has not brought a qualitative analysis on the motives which establish the relationship between customer orientation and superior performance. This study is based on the need to explore this relationship, consolidating the already known motives and investigating probable new explanations. With the objective of identifying and comprehending the motives for the relationship between customer orientation and performance, the research was conducted in three phases: literature review with the analysis of 44 articles about this relationship, execution of twenty in-depth interviews with academic and market experts and, ultimately, the confrontation of the motives pointed by the interviewees with the ones presented by the literature.It was possible to identify explanations that haven?t been explored by the scientific community yet, such as the appreciation of the marketing role inside organizations, the ability to develop a global view of the consumer, the focus on effectiveness and the capacity to educate the consumer. At the end, the reader shall have a comprehension of the suggested direction for the customer oriented companies to reach superior performance, through frameworks of motives for the relationship between customer orientation and performance. / A orienta??o para o consumidor ? o conjunto de cren?as organizacionais que determinam a prioriza??o do cliente frente a outros assuntos (DESHPAND?, FARLEY, WEBSTER; 1993) e a literatura salienta a influ?ncia positiva dessa orienta??o estrat?gica nos diversos tipos de performance organizacional. No entanto, alguns trabalhos demonstram resultados por vezes n?o significativos e at? negativos, sugerindo a necessidade de an?lise mais aprofundada e a comunidade acad?mica ainda n?o trouxe uma an?lise qualitativa sobre os motivos que estabelecem a rela??o entre orienta??o para o consumidor e performance superior. O presente estudo baseou-se na necessidade de explorar essa rela??o, consolidando motivos j? conhecidos e investigando prov?veis novas explica??es. Com o objetivo de identificar e compreender os motivos para a rela??o entre Orienta??o ao Consumidor e performance, a pesquisa foi conduzida em tr?s fases: revis?o da literatura com an?lise de 44 artigos acerca da rela??o, realiza??o de vinte entrevistas em profundidade com especialistas da academia e do mercado e, por fim, o confronto dos motivos apontados pelos entrevistados com os apresentados pelos artigos.Foi poss?vel identificar explica??es ainda n?o exploradas na comunidade acad?mica como a valoriza??o da fun??o de marketing dentro das organiza??es, a habilidade de desenvolver uma vis?o global do consumidor, o foco na efetividade e a capacidade de educar o consumidor. Ao final, o leitor ter? compreens?o do direcionamento sugerido para que as organiza??es voltadas ao consumidor atinjam performance superior, atrav?s de frameworks dos motivos para a rela??o entre orienta??o para o consumidor e performance.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-07-20T12:20:28Z No. of bitstreams: 1 472420 - Texto Completo.pdf: 1059867 bytes, checksum: 5c5d349fc3da60caa06db5e1da59db5f (MD5) / Made available in DSpace on 2015-07-20T12:20:28Z (GMT). No. of bitstreams: 1 472420 - Texto Completo.pdf: 1059867 bytes, checksum: 5c5d349fc3da60caa06db5e1da59db5f (MD5) Previous issue date: 2015-03-31 / This investigation is composed of a qualitative research which is based on multiple case study. The formal structure of this essay is opened by the introduction, that contextualizes and promotes the questioning for the study, on the second chapter the theoretical assumptions are presented with their relations on the role of the institution of school, pedagogy of projects associated with the teaching of science and transdisciplinarity and evaluation in the school context. On the third part the study methodology is described. On the fourth chapter, result analysis is performed showing the evaluations concepts of the participating teachers, the means and how these teachers perceive the pedagogy of projects. On the fifth part, final considerations are shown and we attempt to comprehend how teachers from two public elementary schools whom work with projects evaluate their students. These institutions are located at two cities within the metropolitan area of state capital Porto Alegre, at Rio Grande do Sul, Brazil. This case study of the evaluation process is considered relevant due to our understanding of the challenge the public schools have to measure the knowledge in a way to offer an improvement on the learning and change in the social context of their students. We aim at the comprehension of how the Pedagogy of Projects influences the evaluative process. In order to provide that, we elaborated a survey to semi-structurated interviews. Each participating teacher answered that questionnaire and was later interviewed. Observations were also made during the visitation in both schools. The material was submitted to Discursive Textual Analysis, proposed by Moraes e Galiazzi (2007). This analysis indicated that both schools have diverging methodologies, while the teachers from one of the schools evaluate in a traditional standard, teachers from the other institution are in a transition process, where they have abolished the tests from their evaluation instruments. Their prerogative is of a Dialogical School, but not without some trouble, for the results show that, despite having innovative proposals, the concepts of a traditional evaluation are still present. / A presente investiga??o se constitui em uma pesquisa qualitativa que se centra em estudos de casos m?ltiplos. A estrutura formal deste trabalho ? iniciada pela introdu??o, que faz a contextualiza??o e problematiza??o da pesquisa, no segundo cap?tulo apresentamos os pressupostos te?ricos em rela??o ao papel da escola, Pedagogia de Projetos, ensino de Ci?ncias e a transdisciplinaridade e a avalia??o no contexto escolar. Na terceira parte, descrevemos a metodologia da pesquisa. No quarto cap?tulo, realizamos a an?lise dos resultados mostrando as concep??es de avalia??es dos professores participantes, os instrumentos e como os docentes percebem a Pedagogia de Projetos. Na quinta parte, deixamos as considera??es finais em que se procura compreender como avaliam os professores de Ci?ncias de duas escolas p?blicas de ensino fundamental que trabalham com projetos. Estas institui??es se localizam em dois munic?pios da regi?o metropolitana de Porto Alegre, RS. Consideramos relevante o estudo do processo de avalia??o, pois entendemos ser um desafio para a escola p?blica mensurar os conhecimentos de forma a propiciar uma melhoria na aprendizagem e altera??o na realidade social dos estudantes. Objetivamos a compreens?o de como a Pedagogia de Projetos influencia no processo avaliativo. Para isso, elaboramos um roteiro de quest?es para as entrevistas semiestruturadas. Cada professor participante preencheu um pequeno question?rio, ap?s foi entrevistado. Realizamos tamb?m, observa??es durante as visitas efetuadas ?s escolas. Submetemos o material da pesquisa ? An?lise Textual Discursiva, proposta por Moraes e Galiazzi (2007). A an?lise indicou que as duas escolas apresentam metodologias que divergem, enquanto os professores de uma das escolas avaliam de forma tradicional, os da outra se apresentam em processo de transi??o, em que aboliram as provas dos instrumentos avaliativos. O discurso parece ser de um projeto de escola dial?gica, mas n?o est? sendo tranquila a transi??o, pois os resultados indicam que, apesar de propostas inovadoras, as concep??es de uma avalia??o tradicional ainda persistem.