Simone do Rocio Senger de Souza.

O campus USP Luiz de Queiroz, em Piracicaba, se destaca pela preservação de suas áreas verdes que fazem com que o espaço fique muito acolhedor. É comum encontrar pessoas que passeiam pelas áreas do campus desfrutando de suas paisagens e buscando esses espaços para convivência e atividades esportivas. O parque ESALQ é uma área tombada pelo governo do Estado de São Paulo devido ao seu valor histórico, apresentando diferentes trilhas de árvores para guiar os visitantes. A riqueza da paisagem e suas árvores notáveis e históricas muitas vezes passam desapercebidas e poderiam ser mais bem exploradas, visando a promoção da educação ambiental para os visitantes, famílias ou escolas primárias e secundárias que visitam a área. Este projeto se encaixa nesta perspectiva propondo o desenvolvimento de um suporte computacional para promoção da educação ambiental aos visitantes do campus e com isso melhorando a atratividade dos visitantes. Este projeto está sendo desenvolvido em parceria com pesquisadores do ICMC e da ESALQ. O objetivo é incorporar novas tecnologias digitais de educação ambiental, proporcionando aos usuários do Parque da ESALQ a possibilidade de acesso fácil às informações de diversidade vegetal e seus possíveis usos. O objetivo é que o material seja adequado para diferentes públicos, incluindo acessibilidade, público infantil, famílias e escolas, de modo a promover uma maneira atrativa de conhecer mais sobre as árvores e paisagens do Campus. Está AEX foi aprovada pela PRCEU em maio de 2024 e está relacionada com a AEX de responsabilidade da Profa Luciana Duque Silva (ESALQ), oferecida aos estudantes da ESALQ.

O campus USP São Carlos, incluindo área 1 e área 2, se destaca pela preservação de suas áreas verdes que fazem com que o espaço fique mais acolhedor. É comum encontrar pessoas que passeiam pelas áreas do campus desfrutando de suas paisagens e buscando esses espaços para convivência e atividades esportivas. A riqueza da paisagem e suas árvores notáveis e históricas muitas vezes passam desapercebidas ou poderiam ser mais bem exploradas, visando a promoção da educação ambiental para os visitantes, famílias ou escolas primárias e secundárias. O campus Luiz de Queiroz, em Piracicaba, é outro exemplo nesta direção, apresentando inclusive áreas públicas tombadas e trilhas documentadas para guiar os visitantes. Este projeto se encaixa nesta perspectiva propondo o desenvolvimento de um suporte computacional para promoção da educação ambiental aos visitantes do campus e com isso melhorando a atratividade dos visitantes.

Os altos níveis de estresse entre a comunidade acadêmica, notadamente estudantes de pós-graduação, têm sido evidenciados em diversas pesquisas. Embora estudos apontem que os doutorandos são seis vezes mais propensos a desenvolverem ansiedade e depressão em comparação com a população geral, poucas atividades ou programas têm sido realizados nas universidades brasileiras visando auxiliar os estudantes a prevenir enfermidades dessa natureza. Nesse sentido, a meditação é considerada como uma técnica que contribui fortemente para a redução do estresse e melhoria da qualidade de vida e tem sido usada pelas melhores universidades do mundo. Estudos mostram que as técnicas de meditação são capazes de modificar as estruturas e as funções do cérebro e têm os efeitos positivos na cognição, na regulação emocional, na atenção, na eficiência cerebral e no relaxamento. Complementarmente, o Yoga, prática indiana, é, segundo o Ministério da Saúde do Brasil, promove o equilíbrio de emoções e da mente. O curso tem duração total de 6 horas. Este curso faz parte do projeto "Bem-estar na vida Acadêmica", da Escola de Engenharia de São Carlos (EESC/USP) e foi desenvolvido pela comunidade do Tergar (https://portugues.tergar.org/ ) sob orientação de Mingyur Rinpoche, referência internacional na área visando introduzir novos praticantes de meditação à Comunidade Tergar e aos métodos de meditação. Cada uma das 4 seções do curso inclui um vídeo com ensinamentos de Mingyur Rinpoche, bem como sessões curtas de meditação guiada e grupos de discussão. É oferecido sem custos para os participantes.

Os altos níveis de estresse entre a comunidade acadêmica, notadamente estudantes de pós-graduação, têm sido evidenciados em diversas pesquisas. Embora estudos apontem que os doutorandos são seis vezes mais propensos a desenvolverem ansiedade e depressão em comparação com a população geral, poucas atividades ou programas têm sido realizados nas universidades brasileiras visando auxiliar os estudantes a prevenir enfermidades dessa natureza. Nesse sentido, a meditação é considerada como uma técnica que contribui fortemente para a redução do estresse e melhoria da qualidade de vida e tem sido usada pelas melhores universidades do mundo. Estudos mostram que as técnicas de meditação são capazes de modificar as estruturas e as funções do cérebro e têm os efeitos positivos na cognição, na regulação emocional, na atenção, na eficiência cerebral e no relaxamento. Complementarmente, o Yoga, prática indiana, é, segundo o Ministério da Saúde do Brasil, promove o equilíbrio de emoções e da mente. O curso tem duração total de 6 horas. Este curso faz parte do projeto "Bem-estar na vida Acadêmica", da Escola de Engenharia de São Carlos (EESC/USP) e foi desenvolvido pela comunidade do Tergar (https://portugues.tergar.org/ ) sob orientação de Mingyur Rinpoche, referência internacional na área visando introduzir novos praticantes de meditação à Comunidade Tergar e aos métodos de meditação. Cada uma das 4 seções do curso inclui um vídeo com ensinamentos de Mingyur Rinpoche, bem como sessões curtas de meditação guiada e grupos de discussão. É oferecido sem custos para os participantes.

O aumento nos casos de suicídio entre a população jovem, incluindo os estudantes universitários, apontam para a necessidade de entendimento e compreensão do assunto por parte daqueles que estão inseridos no cotidiano das instituições de ensino. Sabendo como identificar uma situação de risco, acolher e encaminhar adequadamente, os multiplicadores tornam-se agentes fundamentais para a prevenção da ocorrência de suicídios.
Formação de multiplicadores para identificar situações e comportamentos de risco, atuando no acolhimento e encaminhamento de indivíduos para os serviços especializados.

Este projeto pretende ampliar as ações de divulgação realizadas para os estudantes do ensino médio de escolas públicas. A meta é atrair os jovens para as oportunidades de carreira que existem em três áreas do conhecimento: computação, matemática e estatística, contribuindo para divulgar os cursos de graduação do ICMC. Essa divulgação será realizada pelos próprios estudantes dos cursos de graduação do ICMC, que receberão treinamento e serão capacitados para preparar materiais de divulgação direcionado aos estudantes das escolas públicas da região. Sabe-se que o envolvimento de estudantes de graduação em atividades de divulgação é muito benéfico, pois eles têm a possibilidade de atrair melhor o público de estudantes do ensino médio ao compartilharem suas experiências, oferecendo um novo olhar para a Universidade.

Propiciar a aproximação dos falantes do português de uma língua viso-gestual usada pelas comunidades surdas (Libras) e uma melhor comunicação entre surdos e ouvintes em todos os âmbitos da sociedade, e especialmente nos espaços educacionais, favorecendo ações de inclusão social oferecendo possibilidades para a quebra de barreiras linguísticas.
O Curso se justifica pela oportunidade dos licenciandos aprenderem e praticarem as habilidades de comunicação com alunos com necessidades especiais, atualmente incluídos nas escolas regulares da Educação Básica

Este curso visa realizar uma introdução à Tecnologia das Memórias Transacionais. Tem como audiência alvo todos aqueles que tenham alguma experiência prévia em computação concorrente / paralela e pretendam conhecer e aprender outros mecanismos de sincronização alternativos aos tradicionais semáforos (locks) e variáveis de condição (condition variables).

No final deste módulo, a audiência irá compreender o que são Memórias Transacionais e como podem ser utilizadas na especificação de programas concorrentes nas linguagens de programação mais comuns. A audiência irá também compreender a problemática da implementação de memórias transacionais, tanto por software como por hardware. Este conhecimento permitirá aos membros da audiência experimentar autonomamente com Memórias Transacionais e decidir quanto à sua utilização ou não nos seus programas concorrentes.

Este projeto de pesquisa visa contribuir com a área de qualidade de software por meioda proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimentode produtos de software modernos. A tecnologia de desenvolvimento de software evolui deforma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação enovas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produtode software, é necessário desenvolver e adaptar técnicas de projeto, validação everificação que acompanhem essa evolução. Em particular, sistemas de Aprendizado deMáquina, IoT, Cyber Physical, e Quânticos são temas que serão abordados no presenteprojeto. Além do desenvolvimento de técnicas de de projeto e VVT nesses contextos,estudos experimentais serão realizados visando avaliar as novas propostas de modo aconstruir um corpo de conhecimento sobre avaliação dessas técnicas.

Este projeto visa colaborar com as ações do CEFER, por meio do desenvolvimento de um sistema automatizadopara a divulgação do CEFER e das suas atividades, permitindo que o seu uso sejapotencializado. O objetivo é modernizar os meios de divulgações atuais e de gestãodos seus espaços específicos, aplicando as melhores práticas para o desenvolvimentode um sistema de apoio.

Um Ensaio de Proficiência consiste na avaliação do desempenho de um conjunto de participantes com base em critérios pré-estabelecidos. Ele geralmente é aplicado em contextos onde organismos que realizam a avaliação da conformidade de determinado produto necessitam ter a competência dos participantes demonstrada por meio de uma inter comparação. Embora os Ensaios de Proficiência tenham métodos e procedimentos muito bem definidos em diferentes áreas do conhecimento, o mesmo não ocorre quando os organismos responsáveis têm que avaliar produtos de software. Tal dificuldade se dá principalmente em função da inerente subjetividade associada à avaliação da conformidade de um produto de software, bem como da dificuldade em se determinar métricas eficientes para se verificar quão eficiente é um determinado procedimento de avaliação. Em resposta a isso, o presente projeto propõe o desenvolvimento de uma metodologia própria para especificação de Ensaios de Proficiência em Avaliação de Software, que inclua procedimentos e métricas eficientes para determinar o grau de competência com que um organismos ou laboratório pode avaliar e atestar a conformidade de produtos software. Esta iniciativa é de grande interesse da academia, indústria e governos, considerando-se que cada vez mais provedores de soluções baseadas em software recorrem a avaliações de terceira parte para atestar a conformidade de seus produtos, e consequentemente precisam confiar que os organismos que prestam esses serviços são devidamente competentes.

Este projeto está sendo desenvolvido em parceria com pesquisadores da ESALQ/USP - Escola Superior de Agricultura Luiz de Queiroz. O projeto está inserido no Plano de Agricultura de Baixo Carbono do Ministério da Agricultura, Pecuária e Floresta, compreendendo as ações em que o componente florestal integra o sistema de produção. O projeto visa desenvolver um software/aplicativo que contemple informações relacionadas a clima, solo, altitude, etc., e apresente ao produtor rural informações sobre aptidão de diferentes espécies florestais/clones para cultivo na região do Cerrado Brasileiro. O software/aplicativo deverá apresentar ao público alvo, de forma amigável e usando recursos de informação geográfica (mapas e localização geográfica), as recomendações de espécies florestais adaptadas ao cultivo em sistema de monocultivo e de Integração Lavoura Pecuária e Floresta na região de abrangência do bioma Cerrado no Brasil, de acordo com as características de solo e clima da propriedade rural indicada.

Aplicativo que visa conectar estudantes univesitários com interesses em comum, que não precisam ser só interesses acadêmicos, com o objetivo de conversarem e fazerem novas amizades. O Approxima atualmente funciona no Telegram, como um bot. Com base nos interesses em comum o Approxima sugere pessoas que tem algum interesse em comum. Caso ambos queiram estabelecer uma conexão, o Approxima disponibiliza para ambos os contatos.
Projeto desenvolvido no escopo do GAPSI - Grupo de Apoio Psicopedagógico do ICMC em conjunto com o grupo USPCodeLab Sanca.

Esta proposta visa construir uma forte relação de pesquisa entre as equipes da QUB e da USP na área de Teste de Software. Para isso, estão planejadas atividades de intercâmbio (missões de pesquisa), nas quais organizaremos uma ou mais palestras e cursos de curta duração pelo pesquisador convidado, workshops interativos intensivos de um dia e também reuniões individuais entre o pesquisador convidado e os pesquisadores locais.

O GAPsi ? Grupo de Apoio Psicopedagógico do ICMC foi criado com o objetivo de desenvolver e estimular atividades preventivas de caráter psicopedagógico que promovem a saúde e bem-estar psicológico dos estudantes, melhorando as suas condições de ensino-aprendizado. Este projeto pretende dar continuidade as atividades realizadas no projeto PUB anterior que visam apoiar o grupo por meio de duas frentes: 1) desenvolvimento de um sistema de apoio às atividades do GAPsi, incluindo registro de acolhimentos realizados e informações estatísticas sobre os dados do sistema; e 2) desenvolvimento de mecanismos para divulgação do grupo e de todas as suas ações. Espera-se que o ambiente de apoio bem como a melhor divulgação do grupo, auxiliem na ampliação do público participante das ações do GAPsi, gerando dados para as tomadas de decisões, como também promovendo melhorias a saúde mental dos nossos estudantes.

O GAPsi ? Grupo de Apoio Psicopedagógico foi criado com o objetivo de promover o desenvolvimento de atividades preventivas de caráter psicopedagógico que promovem a saúde e bem-estar psicológico dos estudantes, melhorando as suas condições de ensino-aprendizado. Neste projeto pretende-se definir e implementar um ambiente de apoio às atividades do GAPsi, incluindo melhorar sua divulgação, registro de atendimentos realizados e informações estatísticas sobre os dados do sistema. Espera-se que o ambiente de apoio auxilie a ampliar o público participante das ações do GAPsi, gerando dados para as tomadas de decisões do grupo.

Projeto de Pesquisa Regular FAPESP (2018/26636-2 ). Ao longo dos últimos anos, o processo educacional vem passando por uma significativa transformação, incorporando tecnologias que proporcionam amplo acesso a uma diversidade de aplicações educacionais, além de promoverem maior interação, colaboração e comunicação entre aprendizes e professores. Apesar dos benefícios associados, o estabelecimento e adoção de tecnologias educacionais é uma atividade complexa do ponto de vista técnico. Entre os problemas encontrados, destaca-se a grande exigência por requisitos de qualidade, principalmente em aplicações educacionais que possuem inúmeros usuários com necessidades distintas, constantes mudanças de requisitos, separação de interesses, compartilhamento de recursos, uso de diferentes dispositivos de acesso, entre outros aspectos. Em uma perspectiva distinta mas relacionada, a Engenharia de Software caracteriza-se pelo estabelecimento de processos, métodos, técnicas e ferramentas para a produção de aplicações com qualidade. Nesse sentido, este projeto tem como principal objetivo fomentar a Pesquisa, Desenvolvimento e Inovação em duas áreas de interesse: Engenharia de Software e Tecnologias Educacionais. A integração das áreas ocorre à medida que os processos, métodos, técnicas e ferramentas de Engenharia de Software, associados a Tecnologias Educacionais, são investigados e utilizados no projeto e desenvolvimento de aplicações educacionais. Em contrapartida, o próprio domínio de Engenharia de Software deve ser explorado na validação das aplicações educacionais desenvolvidas, particularmente no que se refere ao ensino das subáreas de Teste de Software e Gerenciamento de Projetos. Ressalta-se que o projeto possui caráter multi e interdisciplinar e, a partir de sua execução, espera-se contribuir de maneira efetiva para o estabelecimento e adoção de práticas e mecanismos inovadores de ensino e aprendizagem.

Projeto FAPESP - Auxílio Regular à Pesquisa (2019/06937-0). Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.

O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha

Este projeto de pesquisa aborda o problema do custo da atividade de teste em programas concorrentes, propondo a paralelização desta atividade. O principal objetivo da paralelização é a redução do tempo de resposta do teste, reduzindo-se com isso o custo sem reduzir a qualidade em termos de cobertura do código fonte. As investigações consideram o processo de teste como um todo, incluindo modelos, critérios e a ferramenta de teste ValiPar. A equipe de desenvolvimento conta com a contribuição de pesquisadores da Universidade de Southampton/UK e da Universidade Nova de Lisboa. Alunos da graduação e da pós-graduação também estão envolvidos neste projeto. As principais contribuições deste projeto são: (1) melhorar a eficácia da atividade de teste de programas concorrentes, reduzindo seu custo sem perder qualidade e (2) disponibilizar uma plataforma paralela voltada a este tipo de teste, a qual contribuirá diretamente com a indústria, as pesquisas e o ensino em Engenharia de Software, Computação Paralela e Sistemas Distribuídos.

Teste de software no contexto de aplicações distribuídas é uma atividade desafiadora. As características presentes nessas aplicações, como comunicação, sincronização e não determinismo precisam ser consideradas na proposição de novos critérios e ferramentas de teste. Apesar do uso crescente dessas aplicações, observa-se uma carência de mecanismos e ferramentas de apoio para atividades de garantia de qualidade. O projeto interdisciplinar TestPar encontra-se em desenvolvimento no ICMC/USP envolvendo pesquisadores de Engenharia de Software e de Sistemas Distribuídos. Esse projeto investiga modelos e critérios de teste capazes de tratar as características presentes em aplicações distribuídas, fornecendo uma medida de cobertura que pode ser utilizada para avaliar a qualidade da atividade de teste. Este projeto visa investigar aspectos de geração e seleção de dados de teste, explorando a definição de novos critérios e geração automática de dados de teste. 
Pretende-se realizar este pós-doutorado no grupo de pesquisa interdisciplinar IAM (Intelligence, Agents, Multimedia Group) da Universidade de Southampton. O IAM destaca-se por agregar em suas pesquisas os grandes desafios da ciência da computação: grid, sistemas peer-to-peer, redes de sensores, semantic web e computação pervasiva. Esses domínios podem ser classificados como sistemas distribuídos de grande escala, onde pessoas e softwares representam diferentes interesses que interagem para atingir os objetivos. 
Espera-se com este projeto o estabelecimento de parcerias para pesquisas na área de Engenharia de Software entre pesquisadores do ICMC/USP e da Universidade de Southampton.

A diversidade de domínios de aplicação de software e a proposição de novos paradigmas de desenvolvimento de software requerem que sejam exploradas atividades de teste nesses contextos. Diferentemente dos programas tradicionais, a computação distribuída envolve processos concorrentes que interagem para realizar as tarefas. Essa interação pode ocorrer de forma sincronizada ou não, sendo que esses processos podem ou não concorrer pelos mesmos recursos computacionais. Esse tipo de computação vem sendo cada vez mais empregada e necessária, haja visto as tecnologias atuais, com processadores com m´múltiplos n´núcleos e com o uso crescente de clusters de computadores. Nesse contexto, o teste de aplicações concorrentes torna-se mais complexo, pois além das dificuldades já inerentes à atividade de teste, novos desafios são impostos. Este projeto de pesquisa investiga a proposição de técnicas, critérios e ferramentas de teste para o contexto de programas concorrentes, explorando a realização de estudos experimentais e avaliações nesse contexto.

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. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.

Este projeto de pesquisa está inserido no contexto do projeto TestPar, cujo objetivo principal é o desenvolvimento de técnicas, critérios e ferramentas de teste para apoiar a validação de programas concorrentes. Nesse contexto, o projeto visa investigar alternativas para reduzir o custo de aplicação do teste em programas concorrentes, dado que esse custo é bastante elevado devido aos pares de sincronização possíveis entre os processos concorrentes. Dentre as propostas pretende-se explorar alternativas para coletar informações para a atividade de teste, considerando propostas que buscam gerar essas informações em tempo de execução e não estaticamente. Pretende-se investigar também como identificar automaticamente sincronizações não executáveis. Estudos experimentais serão conduzidos para avaliar se essa redução de custo tem algum impacto na eficácia em revelar erros dos critérios de teste definidos para programas concorrentes. Espera-se com os resultados deste projeto que a ferramenta de teste ValiPar, em desenvolvimento pelo grupo de pesquisa, seja melhorada e que a mesma possa ser utilizada com maior amplitude. Esse objetivo permitirá que a ferramenta seja disponibilizada para uso pela comunidade de programação concorrente e para ensino de teste de programas concorrentes. Outro benefício da concessão da bolsa aqui pleiteada é a formação de recurso humano capacitado em uma área extremamente carente de pessoal, como é o caso das aplicações concorrentes e distribuídas.

A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e à distância.

Este projeto visa a agregar um grupo de pesquisa com o objetivo de explorar técnicas e critérios para as atividades de VV&T instanciados para diferentes paradigmas de desenvolvimento mais recentes (Orientação a Objetos, Aspectos, Processos Ágeis, etc.) e para diferentes domínios de aplicação (Sistemas de Informação, Aplicações concorrentes, Sistemas de Tempo Real etc.). Estudos experimentais serão desenvolvidos com o intuito de avaliar as estratégias definidas. Tais experimentos devem ser considerados tanto no ambiente acadêmico como industrial, e estratégias e material para transferência da tecnologia estudada devem ser elaborados visando a contribuir com a qualidade na produção de software.

Este projeto visa definir e implementar tecnologias, procedimentos e políticas para guiar as práticas atualmente utilizadas para o desenvolvimento de software livre. O projeto reune companhias de desenvolvimento de sofware, desenvolvedores de aplicações e instituições de pesquisa com o intuito de agregar a confiabilidade necessária na adoção de software livre na prática. O projeto pretende estabelecer Centros de Competências em software livre na Europa, Brasil e China.

O projeto de pesquisa ValiPVM envolve duas áreas da ciência da computação: Teste de Software e Computação Paralela. Apesar de importante para garantir a qualidade e confiabilidade de um produto de software, a atividade de teste ainda é precária de ferramentas que a automatizem. Quando são considerados programas paralelos este fato não é diferente, sendo agravado pelas características específicas desses programas e que dificultam a atividade de teste. Assim, faz-se necessária a definição de critérios e ferramentas de teste para a validação de programas paralelos, de modo a testar os aspectos intrínsecos dessa classe de programas.O objetivo principal deste projeto é o estudo e o desenvolvimento de novas técnicas e critérios na área de teste de aplicações paralelas em ambientes de passagem de mensagens, buscando obter no final uma ferramenta que automatize o processo de teste e que possa ser aplicada em problemas reais que necessitem desta tecnologia. A ferramenta irá propiciar as seguintes atividades: inserção de casos de teste, seleção e execução de critérios de testes, avaliação da cobertura dos testes e análise dos resultados.

O objetivo global do projeto PLAVIS é o estudo e o desenvolvimento de métodos, técnicas e ferramentas nas áreas de Testes de Protocolos: geração, seleção, execução e análise automatizada de testes bem como modelagem e análise de desempenho. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas.
Ao final, ter-se-á uma plataforma aberta, servindo para ensino e pesquisa e também para o uso pelos desenvolvedores de sistemas no Instituto Nacional de Pesquisas Espaciais (INPE). Em longo prazo, planeja-se que	outras empresas e instituições acadêmicas utilizem a plataforma. A meta deste projeto é disponibilizar o conjunto dos protótipos dessas ferramentas em uma mesma plataforma de Verificação, Validação e Testes (VV&T) no INPE para ser utilizada por futuros projetos de software de aplicações espaciais desenvolvidos pelo instituto ou mesmo terceirizados pela indústria aeroespacial. .

Este projeto de pesquisa visa a dar continuidade as pesquisas conduzidas durante o doutorado através da definição de ferramentas de apoio para a aplicação dos critérios de teste propostos. Os critérios de teste foram definidos para auxiliar na atividade de validação do aspecto comportamental de especificações formais de sistemas reativos descritos em Estelle e em Statecharts. Foram propostos os critérios Teste de Mutação e critérios de Fluxo de Controle para serem aplicados neste contexto, com base em trabalhos anteriores nessa linha de pesquisa. A partir da definição de ferramentas para apoiar a aplicação dos critérios para o teste de especificações formais será possível realizar experimentos avaliando o custo e eficácia desses critérios. Será possível também validar e avaliar a estratégia de aplicação desses critérios. Espera-se também que a definição de ferramentas possibilite refinar os critérios de teste de modo que os mesmos possa ser aplicados de acordo com as restrições de custo associadas ao desenvolvimento do software.

O Teste de Mutação tem sido bastante investigado dado a sua eficácia em revelar erros. Esse critério foi originalmente proposto para o teste de programas seqüenciais, já existindo extensões para a sua aplicação no teste de especificações e no teste de programas concorrentes (utilizando a Linguagem ADA). Quando os programas considerados são concorrentes, estes apresentam características que dificultam a atividade de validação pois, além de também serem instanciados para a linguagem de programação utilizada, apresentam paralelismo/concorrência, comunicação e sincronização. O objetivo deste projeto é estudar a aplicabilidade do Teste de Mutação no contexto de aplicações distribuídas que utilizam o Ambiente de Passagem de Mensagens PVM (Parallel Virtual Machine). Com a realização deste projeto de pesquisa pretende-se fornecer subsídios para a atividade de validação de aplicações concorrentes que utilizam o ambiente de passagem de mensagens PVM. Através da definição do Teste de Mutação nesse contexto, pretende-se evidenciar os tipos de erros mais comuns que podem ser cometidos durante o desenvolvimento dessas aplicações.