Marcos Lordello Chaim.

Um dos atuais desafios das ferramentas de apoio à localização de defeitos baseadas em espectros 
(SBFL -- "Spectrum-based Fault Localizaion") é executar em uma diversidade de ambientes de desenvolvimento, em particular, em ambiente de integração contínua. A integração dessas ferramentas na esteira de integração contínua pode acelerar sua adoção pela indústria. Para tanto, essas ferramentas precisam estar preparadas para execução em esteiras de integração contínua e, não menos importante, possuir desempenho que permita que os desenvolvedores utilizem-nas sem comprometer seu processo de desenvolvimento de software. Este projeto tem por objetivo abordar alguns aspectos do uso das ferramentas de SBFL em um esteira de integração contínua, a saber, identificação das mais adequadas e avaliação do comportamento dos usuários dessas ferramentas neste contexto

O teste estrutural é amplamente utilizado para detectar defeitos em software e para avaliar a qualidade dos conjuntos de 
testes.
Sem apoio automatizado, porém, seu uso em programas desenvolvidos em ambientes industriais é praticamente inviável.
O teste estrutural é realizado por meio de critérios de teste baseados na cobertura do código do programa.
O código do programa é geralmente abstraído na forma de um grafo. A cobertura de código baseada em fluxo de 
controle define requisitos de teste em termos de elementos do grafo (por exemplo, nós e arestas).
O critério "todos os pares de arestas" é relativamente recente quando comparado aos critérios "todos os nós" e 
"todas as arestas".
Estudos indicam que o critério "todos os pares de arestas} são promissores na detecção de defeitos.
O projeto visa desenvolver uma nova abordagem e uma ferramenta para rastrear pares de arestas com base em 
operações bit a bit que também podem ser utilizadas para o rastreamento de nós e arestas.
Avaliações experimentais verificarão o custo para rastrear requisitos de teste de fluxo de controle usando 
operações bit a bit.

Há muitas especificações usadas para descrever uma API Web. Uma das mais populares é a OpenAPI. Essa especificação permite descrever todos os recursos que podem ser acessados e manipulados por meio de uma API Web REST. Uma especificação OpenAPI pode ser usada para diferentes tipos de análises e verificações do serviço que implementa a API descrita. Um desafio comum enfrentado por pesquisadores, no entanto, é a inexistência de infraestrutura compartilhada de validação ou de um benchmark padrão. Este projeto tem por objetivo fornecer aos pesquisadores e profissionais da indústria uma solução completa para tornar mais eficiente a avaliação de novas técnicas e ferramentas de análise de código e testes de aplicações que utilizam o padrão OpenAPI

A proposta desta pesquisa é construir um modelo de aprendizado profundo como uma técnica de localização de defeitos que será treinado com espectros de fluxo de controle e de dados. O objetivo é produzir ranqueamentos mais efetivos nos quais o número de componentes do código-fonte a serem investigadas pelo desenvolvedor até localizar o defeito seja menor.

O teste de fluxo de dados visa realizar uma avaliação estrutural completa dos programas. Ele requer casos de teste que percorrem um caminho no qual a definição de uma variável e seu uso subsequente, isto é, uma associação de definição-uso (adu), são exercitados ou cobertos. No entanto, o teste de fluxo de dados dificilmente é adotado na indústria porque é considerado muito caro. Neste projeto, planeja-se investigar o relacionamento de subsunção definido na literatura como uma maneira de reduzir os custos do teste de fluxo de dados. Uma adu D1 "subsume" uma adu D2 se todos os caminhos completos que cobrem D1 também cobrem D2. Essa informação pode reduzir o esforço para aplicar o teste de fluxo de dados. O testador poderá focar nas adus que "subsumem" todas as outras, chamadas de "adus sem restrições", e "esquecer" as demais. O objetivo deste projeto de pesquisa é investigar vários aspectos subjacentes a essa premissa, a saber, descoberta, quantidade, escalabilidade e eficácia (ou seja, capacidade de detecção de defeitos) das adus sem restrições. Além disso, planeja-se investigar o papel do relacionamento de subsunção de adus na localização de defeitos.

Projeto desenvolvido junto ao SINTEF Digital, Trondheim, Noruega, cujo objetivo foi investigar a detecção de vulnerabilidades em aplicações móveis e ganhar conhecimento em segurança de software, mais especificamente, em análise estática de código para segurança.

Apresentação de informação de depuração não mudou muito desde a introdução do primeiro depurador simbólico. Basicamente, as mesma informações ("breakpoints'', valores de variáveiss, pilha de execução) são apresentadas por meio de uma interface gráfica. Técnicas de visualização para ajudar na busca dos defeitos é o objetivo dessa pesquisa. Em particular, estamos pesquisando técnicas para visualizar informações de depuração obtidas a partir dos requisitos de teste estruturais cobertos pelos casos de teste que passam e, especialmente, por aqueles que falham. Uma metáfora foi desenvolvida para representar programas e esse tipo de informação de depuração, uma ferramenta protótipo usando a metáfora novo foi implementado. Temos a intenção de desenvolver o protótipo como um "plugin" para um Ambiente de Desenvolvimento Interative (IDE). Outro objetivo da pesquisa é desenvolver recursos para visualização de informações de depuração no contexto de integração contínua.

A realização de experimentos é importante tarefa na validação de técnicas de Engenharia de Software, especialmente para as técnicas de teste e depuração de sistemas. Este projeto tem como objetivo identificar "benchmarks" que possam ser utilizados para avaliar técnicas de teste e de depuração de defeitos. Os "benchmarks" ficarão disponíveis por meio de licenças de software livre e poderão ser utilizados para avaliação e desenvolvimento de ferramentas livres de teste e depuração.

Rastrear os requisitos de teste estruturais em tempo de execução, em geral, torna os programas lentos e aumenta o consumo de memória. Em alguns casos, a execução do programa pode ficar inviável como, por exemplo, quando requisitos de critérios baseados em fluxo de dados (pares definição-uso) são rastreados em programas de longa execução. Isso ocorre porque rastrear requisitos de teste requer a inserção de código adicional --- isto é, a instrumentação do programa --- para coletar a cobertura dos requisitos de teste. Esse projeto tem por objetivo desenvolver técnicas de instrumentação para coletar eficientemente os requisitos cobertos durante a execução de um programa. Essa informação é útil tanto para o teste como para a depuração de programas.

A cobertura de testes estruturais --- a lista de componentes de código, como nós, ramos, ou pares definição-uso cobertos por um teste --- pode ser utilizada para auxiliar a depuração de programas, especialmente para a localização de defeitos. Dados de cobertura de código são utilizados por heurísticas para calcular o nível de suspeição de nós, ramos e pares definição-uso. Aqueles componentes mais associados a casos de teste que falham, e menos associados a casos de teste que passam, são mais suspeitos. Depois de atribuir um valor suspeição para esses componentes, uma lista em ordem decrescente de desconfiança é gerada. Os componentes de código mais suspeitos são mapeados em trechos de código que devem ser verificados em primeiro lugar na busca de defeitos. Nosso objetivo é melhorar o uso de dados de cobertura na depuração por meio da combinação de diferentes tipos de cobertura para localização de defeitos. Estamos investigando o uso de cobertura do teste de integração (cobertura de pares e triplas de métodos), combinada com a cobertura de testes de unidade (nós, ramos e pares definição de uso) para indicar trechos mais precisos de código a serem verificados pelos programadores.

Código duplicado, ou clones, são incorporados em sistemas como uma maneira simples de reutilizar código. Entretanto, a manutenção de um sistema torna-se cara se ele possui muitos clones, especialmente clones semânticos em que a sintaxe do programa muda mas a semântica é mantida. Existem ferramentas para detecção de clones semânticos que analisam o código fonte. No entanto, não existem ferramentas que detectam clones lendo programas compilados em bytecodes. O objetivo dessa pesquisa é desenvolver técnicas escaláveis para a detecção de clones semânticos levando em consideração chamadas de procedimento presentes em programas bytecode. Essa abordagem possui vantagens como análise multiplataforma e detecção de clones em sistemas para os quais o código não está presente.

Em virtude de uma variedade de fatores que incluem as mudanças climáticas, as enchentes tem sido frequentes e problemáticas no Brasil. Por exemplo, as cidades de Marabá e Manaus, ambas na região norte do país, registraram este ano uma das piores enchentes dos últimos anos. Além disso, a cidade de São Paulo frequentemente sofre de enchentes durante o período das chuvas, no verão. Para minimizar este problema recorrente, o presente projeto de pesquisa propõe investigar o uso de uma rede de sensores para detectar possíveis ocorrências de enchentes, alarmando prioritamente a população que encontra-se em risco.

A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. O pesquisador está envolvido no subprojeto "Um 'Framework' para o Desenvolvimento de Sistemas Embarcados Críticos" que é realizado na Escola de Artes, Ciências e Humanidades da Universidade de São Paulo.

Este projeto engloba várias inciativas em educação que ocorrem no contexto do curso de graduação em Sistemas de Informação da EACH-USP. As principais delas envolvem o estudo e avaliação de novas técnicas e métodos de ensino de disciplinas de graduação, em particular disciplinas que tratam de desenvolvimento de sistemas e avaliação comparativa da grade curricular dos cursos de graduação em Sistemas de Informação no Brasil e no mundo.

O projeto QualiPSo ("Quality Plataform for Open Source") propõe-se a definir e implementar tecnologias, procedimentos, leis e políticas com o objetivo de potencializar as práticas de desenvolvimento de software livre, tornando-as confiáveis, reconhecidas e estabelecidas na indústria. Para viabilizar o projeto e a sustentação do software livre como uma solução confiável para a indústria, foi criado um consórcio formado por indústrias, academia e governo. O projeto conta com a participação de colaboradores de diferentes origens: França, Itália, Brasil, Espanha, China e Alemanha.

Teste de software é uma das atividades que demandam mais tempo dos programadores. Apesar da existência de técnicas de teste eficazes, como o teste baseado em análise de fluxo de dados, na maioria das vezes o teste é realizado de maneira \textit{ad hoc}. Um dos problemas é o custo envolvido na instrumentação de programas para determinar a cobertura dos testes em ambientes reais. Nesses ambientes, os programas executam milhões de comandos e determinar a cobertura pode ser inviável. Novas estratégias de instrumentação de código objeto têm sido propostas para tratar este problema. No entanto, comparar essas estratégias é uma atividade difícil, pois implica a manipulação de código objeto para a implementação das estratégias. Nesse projeto é proposto o desenvolvimento de um
simulador de estratégias de instrumentação de programas. A idéia é simular os procedimentos dessas estratégias sem implementá-las em código objeto. Dessa maneira, pretende-se comparar as diferentes estratégias, e variantes delas, para determinar a mais eficiente para apoiar o teste e a depuração baseados em análise de fluxo de dados.