Sistema de apoio à interatividade em revisões sistemáticas em engenharia de software

A colaboração na pesquisa é uma das tarefas centrais da área acadêmica. Atualmente, muitos pesquisadores estão utilizando meios modernos de troca de arquivos digitais através de ferramentas assíncronas e também com o uso de ferramentas mais sofisticadas, do tipo síncronas. Juntamente com o fato da crescente quantidade de artigos sendo gerados, mais complexos, diversificados e aumentando de forma desorganizada, o que trás ao pesquisador uma tarefa difícil para organizá-los de forma a se extrair o melhor conteúdo destes, isto ocorre porque uma subárea da Engenharia de Software (ES) ainda é bastante mal aproveitada, a Engenharia de Software Experimental (ESE). Utilizando-se de um dos tipos de experimentos que a ESE oferece, as revisões sistemáticas entram como uma solução bastante robusta, na qual o pesquisador pode identificar o conhecimento existente em uma área e planejar devidamente sua pesquisa, evitando a repetição de erros em pesquisas já efetivadas por outros pesquisadores no passado. Contudo, estas duas abordagens, a colaboração virtual de pesquisadores e a utilização de revisões sistemáticas, contem problemas: na primeira, sistemas colaborativos são geralmente difíceis de configurar e usar; na segunda, apesar da robustez da metodologia de revisões sistemáticas, ainda se torna necessário uma rigorosa revisão na literatura para se conseguir um resultado satisfatório. Assim, com o foco de unir estas duas abordagens, este trabalho propõe uma maneira de produzir revisões sistemáticas de forma organizada e com a possibilidade de interação entre usuários, com o desenvolvimento de um sistema interativo, no qual as revisões sistemáticas possam ser geradas por usuários em colaboração com outros e também ser avaliadas seguindo a orientação de um profissional da área, tornando o seu conteúdo mais consistente e de melhor qualidade. O sistema não possui níveis de acesso, ou seja, qualquer pessoa pode se cadastrar e usufruir de seus recursos, seja na área acadêmica ou mesmo na área profissional

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Uso do AHP na avaliação do desempenho do sistema de gestão da qualidade, meio ambiente e segurança e saúde ocupacional integrados

The paper analyses the application of the AHP method together with the attach A of ISO 9004:2000 in order to evaluate the performance of two industrial organizations, both possessing quality management systems with ISO 9001:2000 certifications, based on the specific requirements of quality, environment, occupational health and management systems. The evaluated organizations were a government-owned company from the science and technology sector that works in the nuclear area, and a private company that works in the automotive and railroad area. The open software Web-Hipre version 1.22 from Helsinki University of Technology, Finland, was used. The results demonstrated that the AHP method together with the attach A of ISO 9004:2000 is adequate to evaluate organizational performances. Both organizations presented similar performance levels.

Aplicação de técnica de geoprocessamento em áreas degradadas de mata ciliar e sua correlação com qualidade da água numa subbacia hidrográfica

Studying the physical environment of a watershed is the basic condition for a successful planning of the riparian forest preservation, and for water production and conservation. The aims of the present study were to analyze and quantify the spatial and temporal evolution (1984 and 2010) using Landsat-5 satellite images of Cintra Stream sub-watershed, Botucatu, São Paulo State, Brazil, processed by the software IDRISI Andes, as well as to analyze the water quality through the parameters pH, EC, DO and BOD5 at 4 different sites in the years 1999, 2008 and 2009. Considering the 1076.48ha area of the sub-watershed, the pasture class of 1984 was reduced by 25.55% in 2010, resulting in an increase in the remaining classes. The most important class was native forest and reforestation since it had an increase of 5.08%, which indicates recovery of the riparian forest. Degraded areas were identified close to the inferior limit of the sub-watershed (P3 and P4), as well as local contamination (P1 and P2) with worsening of the water quality in the remaining sites in the periods 2008 and 2009. Recovery and management of the ecological succession of degraded areas and water quality monitoring at 1 and 2 sites will be necessary to reestablish the natural condition of the area studied.

Laboratório remoto de qualidade da energia elétrica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Controle de qualidade aplicado na modelagem digital de terreno

Pós-graduação em Ciências Cartográficas - FCT

Usabilidade de software: estudo de recomendações básicas para verificação do nível de conhecimento dos alunos dos cursos de Design Gráfico e Sistemas de Informação da UNESP/Bauru

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Deposição e qualidade de sementes de sorgo utilizando um mecanismo dosador de fluxo contínuo

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Desenvolvimento de software aplicativo para controle de custeios por atividades identificáveis nos processos de fabricação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Convivendo com HIV/AIDS: fatores que influenciam na qualidade de vida e condição de saúde bucal

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Construção de um software para avaliação do risco de úlcera por pressão em Unidade Terapia Intensiva

Pós-graduação em Enfermagem (mestrado profissional) - FMB

Análise da qualidade ambiental na cidade de Osvaldo Cruz/SP

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Apoio à maturidade pessoal visando a melhoria dos projetos de software

Pós-graduação em Ciência da Computação - IBILCE

Controle de qualidade em microfiltração marginal

Pós-graduação em Ciências Odontológicas - FOAR