Márcio Eduardo Delamaro.

Orientação de desenvolvimento de projetos de software no InfoMar, base operacional do projeto Genesis de Maringá.

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 trabalho visa construir uma forte relação de pesquisa entre as equipes da Queens University Belfast 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.

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.

Aplicações que utilizam funcionalidades ou recursos de Realidade Virtual 
tornam-se cada vez mais populares. Em geral, o desenvolvimento dessas aplicações 
não inclui uma fase de testes sistematizada, que leve em conta as 
particularidades desse tipo de software, fazendo com que testes manuais e 
ad-hoc sejam realizados pelos desenvolvedores. A atividade de teste é 
uma atividade cara e suscetível a erros, o que impõe a utilização de técnicas 
que permitam diminuir os custos e aumentar a produtividade. Diversas técnicas de 
teste têm sido desenvolvidas e utilizadas, cada uma com suas próprias 
características, eficácia e custo. Neste projeto de é apresentada uma 
proposta de adaptação do teste de mutação ao contexto de sistemas 
de Realidade Virtual. Para isso, pretende-se definir 
uma taxonomia de defeitos especifica para o domínio de softwares desenvolvidos 
no contexto de Realidade Virtual. Tal taxonomia deve ser utilizada como base a 
fim de propor uma 
abordagem de testes baseada em defeitos utilizando o teste de mutação. Para 
validação dos resultados espera-se construir uma ferramenta capaz de instanciar 
a abordagem proposta a fim de verificar a efetividade da mesma por meio de 
experimentos científicos.

Este projeto de pesquisa se concentra na área de Engenharia de Software e, mais especificamente, de teste de software. Insere-se no contexto dos grandes desafios da computação no Brasil, à medida que visa a contribuir com o desenvolvimento de técnicas e ferramentas que permitam o desenvolvimento de sistemas mais confiáveis e seguros, no espírito descrito pelo desafio ``Desenvolvimento Tecnológico de Qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos''. Além de contribuir para o avanço do estado da arte e estado da prática, propondo técnicas e ferramentas para o teste de software, este projeto deve contribuir na formação de recursos humanos na área, por meio da formação de estudantes de graduação e pós-graduação, que participarão da sua execução. Sete tópicos principais são abordados: 1) utilização de máquinas virtuais no teste de software; 2) definição de oráculos de teste para programas com saídas gráficas; 3) geração de dados de teste para modelos Simulink; 4) definição de oráculos de teste para modelos Simulink; 5) utilização de teste estrutural em software embarcado; 6) definição de critérios de teste para aplicações de Realidade Virtual; e 7) aplicação de técnicas de experimentação em Engenharia de Software.

As atividades propostas neste projeto de pesquisa concentram-se no estudo, desenvolvimento e aplicação de critérios de adequação e métodos de seleção de casos de teste. O objetivo final é estabelecer ambientes que dêem suporte automatizado às atividades de validação e teste, em diversas etapas do ciclo de vida, numa abordagem sistemática e bem fundamentada.

A missão do INCT-MACC é realizar pesquisa e desenvolvimento em computação científica e suas aplicações na medicina, em especial a modelagem e simulação computacional dos sistemas fisiológicos que integram o corpo humano; promover o desenvolvimento do processamento de imagens médicas, da visualização científica e da realidade virtual no desenvolvimento de aplicativos médicos orientados para a diagnose auxiliada por computador, tratamento, planejamento cirúrgico, treinamento e credenciamento médico; empregando as mais modernas técnicas de comunicação e transmissão multimídia desenvolver e gerenciar ambientes computacionais de alto desempenho que atendam às necessidades da medicina assistida por computação científica do País; formar recursos humanos e promover transferência de tecnologia e inovação para a área da saúde assistida por computação científica. Dentro deste contexto, um objetivo particular é desenvolver um Framework, denominado ViMeT, que disponibiliza classes destinadas a gerar ambientes virtuais, com funcionalidades para simular exames de biópsia. Com a instanciação do Framework construído pretende-se tornar possível a construção de novas aplicações para treinamento médico com maior produtividade. Com essas aplicações, estudantes de Medicina podem treinar o procedimento quantas vezes forem necessárias antes de realizá-lo em pacientes reais. Em médio prazo, é possível diminuir o custo do treinamento médico e oferecer subsídios para incluir uma nova cultura na rotina da educação médica. O projeto faz parte Instituto Nacional de Ciência e Tecnologia de Medicina Assistida por Computação Cientifica INCT MACC, coordenado por Raul Feijó. Edital Nº 15/2008 do MCT, CNPq, FNDCT, CAPES, FAPEMIG, FAPERJ e FAPESP.

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.

O objetivo principal deste projeto é definir, implementar e avaliar técnicas de geração automática de dados de teste para modelos de sistemas dinâmicos como Simulink e Scicos. Nesta primeira etapa será explorada principalmente a técnica de teste funcional.

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 denidas. 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.

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.

O projeto QUALIPSO é uma aliança entre industrias, órgãos governamentais e academia que tem como objetivo ajudar indústrias e governos a alcançar competitividade e inovação por meio do uso de software livre. Para tanto, pretende definir e implementar tecnologias, processos e políticas para facilitar o desenvolvimento e o udo de software de código aberto com o mesmo nível de confiança tradicionalmente oferecido pelo software proprietário.

Uma questão bastante básica, porém nada trivial, na atividade de teste de software é como decidir se o omportamento de um programa P com um determinado dado de teste é correto ou não. O mecanismo que se utiliza para definir a saída ou o comportamento esperado de uma execução de P é conhecido como "oráculo''. Um ponto articularmente delicado na automatização de um oráculo aparece quando as saídas a serem comparadas se encontram num formato não trivial, como, por exemplo, a 
tela de uma interface gráfica ou uma outra imagem produzida pelo programa sendo considerado. Técnicas específicas devem ser desenvolvidas para tal, e constituem, exatamente, o tema central deste projeto, durante o qual pretende-se utilizar onceitos de recuperação de imagens baseada em conteúdo, processo que emprega técnicas de processamento de imagens para extrair características de imagens e utiliza-as em buscas por similaridade, para auxiliar na atividade de teste, permitindo a automatização de oráculos gráficos.

Projeto tem por objetivo definir estratégias que permitam a utilização de critérios de teste estrutural durante o desenvolvimento de software baseado em componentes. Para tanto deve ser desenvolvida ferramenta de teste que dê suporte à geração de metadados de teste durante o teste por parte do produtor do componente. Tais dados devem ser utilizados para auxilizar o teste da integração do componente no software do cliente.

Projeto tem como objetivo estudar e desenvolver técnicas e ferramentas de suporte ao teste de software para dispositivos móveis como celulares ou PDAs, que utilizem a linguagem Java e ambiente J2ME.

Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.

Projeto patrocinado pelo CNPq que tem como objetivo aplicar técnicas de teste no contexto de aplicações espaciais, desenvolvidas dentro do INPE. Coordenado pelo prof. JoséCarlos Maldonado.

Projeto patrocinado pelo CNPq, busca apoiar o teste programas baseados em agentes móveis utilizando teste estrutural. Coordenado peloo Prof. Márcio Delamaro

Este projeto teve como objetivo a definição e utilização de técnicas, critérios e ferramentas de teste de software. Foi patrocinado pela Fundação Araucária.

Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.

Neste projeto foram estudadas formas de mobilidade de código dentro do ambiente .NET da Microsoft. Foi impleentada uma plataforma para dar suporte ao código móvel dentro daquele ambniente.

Procurava tratar dos problemas inerentes ao teste de software OO, como herança, polimorfismo, binding dinâmico.
Foi conduzido durante o pós-doutorado, em colaboração com o Prof. Mauro Pezzè da Università degli Studi di Milano, Itália.

Procurava tratar dos problemas inerentes ao teste de programas concorrentes, utilizando a técnica de mutação.
Foi conduzido durante o pós-doutorado, em colaboração com o Prof. Mauro Pezzè da Università degli Studi di Milano, Itália.

Projeto de ensino para elaboração de material didático usado na disciplina de Teoria da Computação.

A participação neste projeto coordenado pela professora Itane foi o de tentar identificar e implementar técnicas de teste dentro do ambiente EXPSEE