A DEUS, pela vida. E pelas alegrias e dificuldades que dela fazem parte, proporcionando-nos aprendizado e amadurecimento. Sem Ele, eu nada seria... Ao meu orientador, Prof. Dr. José Carlos Maldonado, pela confiança e sobretudo pela amizade conquistada ao longo desses quase oito anos de convívio. A minha mãe, por simplesmente TUDO! Aos meus familiares, em especial Angelina e Armando, Nidia, Marcel, Loiane e Gabriel, pelo amor e incentivo. Ao Pe. José Carlos Frederice, pela amizade e pelo apoio e incentivo constantes. Ao Luiz Eduardo, pelo amor, incentivo e paciência durante a fase final deste trabalho. Ao professores do Georgia Tech-Prof. Dr. Richard LeBlanc e Prof. Dr. Mark Guzdial-, e aos professores da University of Florida-Profa. Dra. Sue Legg e Prof. Dr. Terry Morrow-, por me aceitarem em seus grupos de pesquisa durante o estágio nos EUA. À Profa. Dra. Maria da Graça Pimentel e ao Prof. Dr. Ivan Ricarte, pelos "contatos iniciais" que possibilitaram o estágio. À Eliane, Márcio, Daniel e D. Cida, ao Renato, à Ana e Cláudio, à Janaína e Carlos, pela acolhida e por se tornarem minha "família brasileira" nos EUA. Aos professores do grupo de Engenharia de Software:

Mutation testing (MT) has been found to be effective at revealing faults. However, its high cost of application, due to the high number of mutants created and the effort to determine the equivalent ones, has motivated the proposition of alternative approaches for its application. One of them, named ‘selective mutation’, aims to reduce the number of generated mutants through a reduction in the number of mutant operators. A previous relevant study resulted in the proposition of a sufficient mutant operators set for FORTRAN, indicating that it is possible to have a large cost reduction in MT application, whilst preserving a high MT score. This work investigates procedures for the determination of a sufficient mutant operators set for C programs with the perspective of contributing to the establishment of low‐cost, effective mutation‐based testing strategies. Copyright © 2001 John Wiley & Sons, Ltd.

The benefits of using assessment tools for programming assignments have been widely discussed in computing education. However, as both researchers and instructors are unaware of the characteristics of existing tools, they are either not used or are reimplemented. This paper presents the results of a study conducted to collect and evaluate evidence about tools that assist in the assessment of programming assignments. To achieve our goal, we performed a systematic literature review since it provides an objective procedure for identifying the quantity of existing research related to a research question. The results identified subjects in the development of new assessment tools that researchers could better investigate and characteristics of assessment tools that could help instructors make selections for their programming courses.

Estudos empfricos têm mostrado que a Análise de Mutantes -um dos critérios baseados em erros -é bastante eficaz em revelar a presença de erros. Entretanto, seu alto custo de aplicação, decorrente principalmente do grande número de mutantes gerados, tem motivado a proposição de diversos critérios alternativos para a sua aplicação. Um deles visa a redução do número de mutantes gerados através da diminuição dos operadores de mutação utilizados. Um estudo relevante nesse sentido resultou na determinação de um conjunto essencial de operadores de mutação para a linguagem Fortran, mostrando-se que é possfvel reduzir o custo de aplicação do critério, preservando um alto escore de mutação em relação à Análise de Mutantes. Este trabalho tem como objetivo investigar alternativas pragmáticas para a aplicação do critério Análise de Mutantes e, nesse contexto, é proposto um procedimento para a determinação de um conjunto essencial de operadores de mutação para a linguagem C.Palavras-chave: teste de software, análise de mutantes, conjunto essencial de operadores de mutação, ferramentas de teste.

ResumoIntrodução: A Portaria n. 154, de 24 de janeiro de 2008, criou os Núcleos de Apoio à Saúde da Família (NASF), e com ela surgiu a necessidade de organizar as práticas profissionais da Fisioterapia, em todas as ações de sua responsabilidade, por meio na Estratégia de Saúde da Família. Objetivo: Este relato buscou levantar, por meio de observações gerenciais, aspectos facilitadores e dificultadores da atuação da Fisioterapia no NASF em Governador Valadares. Discussão: O fisioterapeuta compõe no município quatro equipes de NASF, com outros profissionais. Seu processo de trabalho foi organizado em acolhimento, atendimento individual, atendimento domiciliar, grupos operativos e atividades educativas em equipe. Resultados: O fisioterapeuta foi um dos profissionais mais requisitados na Estratégia de Saúde da Família, entretanto, por ele possuir carga horária diferenciada da equipe, o processo de trabalho foi dificultado. Além disso, a formação assistencialista dificulta o acolhimento e a organização das ações, os trabalhos em grupos operativos são trocados por atendimento individual, a formação clínica impede o desenvolvimento e a flexibilidade desses grupos, Fisioter Mov. 2010 abr/jun;23(2):323-30 Barbosa EG, Ferreira DLS, Furbino SAR, Ribeiro EEN. 324 fazendo com que necessitem de mais tecnologia para trabalhar, e em todas as equipes há prática isolada, não permitindo a atenção integral à comunidade. Considerações finais: Diversas ações são realizadas estimulando trabalho em equipe, mas o maior desafio é a formação do profissional para as práticas em saúde coletiva. Atenção a esse fator deve ser dada, pois pactuações com resolutividade são metas a serem alcançadas. A visão da fisioterapia deve ser mudada para se adequar às propostas do Sistema Único de Saúde. Palavras

Abstract. Educational modules -concise units of study capable of integrating theoretical/practical contents and supporting tools -can be seen as relevant mechanisms to facilitate the student's apprenticeship. The establishment of processes and modeling approaches should ease the cooperative work to create, reuse and evolve educational modules, taking also into account the impact on the learning process. There are initiatives to address the problem of modeling educational contents, but none of them provides a complete set of features addressing the conceptual, instructional and didactic perspectives. Moreover, these initiatives do not consider a systematic process for developing educational modules. In this work we summarize the main aspects of a standardized process for developing educational modules we have proposed, focusing on the modeling activity for structuring the learning contents. An integrated modeling approach is presented and its application is illustrated by the development of an educational module for the software testing domain. The material produced has been applied and preliminarily evaluated in terms of the student's attitude toward content, usability and navigational aspects.

No abstract

Resumo