Olá pessoal,
Gostaria de agradecer novamente a participação de todos em mais um seminário do grupo. Em particular, aos palestrantes (Faimison e Thiago) pela disponibilidade e apresentações com conteúdo científico relevante.
Aos interessados, seguem as apresentações: << Faimison >> e << Thiago >>.
O próximo seminário ocorrerá no dia 06/11 e será coordenado pela Sofia com participação do Nemésio e de um outro voluntário que se manifestar.
Obrigada a todos e até o próximo seminário.
domingo, 27 de outubro de 2013
terça-feira, 22 de outubro de 2013
Chamada para seminários do LabES - dia 23/10/2013
Olá Pessoal,
Seguem as informações do próximo seminário do LabES.
Data: 23/10/2013
Local: Sala 4-001 no ICMC/USP
Horário: 17h
Seminário 01:
Nome: Faimison Porto
Título: Generation of checking sequences using identification sets.
Resumo: Finite state machine-based testing aims at generating checking sequences that guarantee the conformance between the implementation and the specification of a system. For that purpose, several methods have been proposed to generate checking sequences which ensure full coverage of possible faults in the implementation. Many existing methods are based on a special sequence, called distinguishing sequence, which does not exist for every minimal machine. Some methods are based on characterization sets since they exist for every machine. However, these methods generate checking sequences exponentially long. In this paper, we propose a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the existing methods. The results show that on average our method generates checking sequences 31,7% to 99,9% shorter than the ones produced by existing methods.
Seminário 02:
Nome: Thiago Gottardi
Título: Model-Based Reuse for Crosscutting Frameworks: Assessing Reuse and Maintenance Effort
Resumo: New possibilities emerged after the advent of aspect-oriented programming and many frameworks were designed taking into account the new abstractions. Among these reuse techniques, Crosscutting Frameworks (CF) are aspect-oriented frameworks developed to encapsulate a single crosscutting concerns. However, the proposed CFs employ white-box strategies in their reuse process, what requires a substantial technical skills during the process, such as knowing the programming language, architectural details and internal nomenclature. To overcome this issue, we have proposed a model-driven approach to accelerate the reuse while hiding these complexities. Experiments were conducted to evaluate the approach. The results show an improvement of 97% in the productivity, however little difference was perceived concerning the effort for maintaining applications.
Seguem as informações do próximo seminário do LabES.
Data: 23/10/2013
Local: Sala 4-001 no ICMC/USP
Horário: 17h
Seminário 01:
Nome: Faimison Porto
Título: Generation of checking sequences using identification sets.
Resumo: Finite state machine-based testing aims at generating checking sequences that guarantee the conformance between the implementation and the specification of a system. For that purpose, several methods have been proposed to generate checking sequences which ensure full coverage of possible faults in the implementation. Many existing methods are based on a special sequence, called distinguishing sequence, which does not exist for every minimal machine. Some methods are based on characterization sets since they exist for every machine. However, these methods generate checking sequences exponentially long. In this paper, we propose a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the existing methods. The results show that on average our method generates checking sequences 31,7% to 99,9% shorter than the ones produced by existing methods.
Seminário 02:
Nome: Thiago Gottardi
Título: Model-Based Reuse for Crosscutting Frameworks: Assessing Reuse and Maintenance Effort
Resumo: New possibilities emerged after the advent of aspect-oriented programming and many frameworks were designed taking into account the new abstractions. Among these reuse techniques, Crosscutting Frameworks (CF) are aspect-oriented frameworks developed to encapsulate a single crosscutting concerns. However, the proposed CFs employ white-box strategies in their reuse process, what requires a substantial technical skills during the process, such as knowing the programming language, architectural details and internal nomenclature. To overcome this issue, we have proposed a model-driven approach to accelerate the reuse while hiding these complexities. Experiments were conducted to evaluate the approach. The results show an improvement of 97% in the productivity, however little difference was perceived concerning the effort for maintaining applications.
Contamos com a presença de todos!
Abrs,
Alinne
Abrs,
Alinne
quinta-feira, 10 de outubro de 2013
Material do seminário dia 09/10/2013
Olá pessoal,
Novamente gostaria de agradecer a participação de todos pela participação em mais um seminário do grupo. Em particular, aos palestrantes (Aline e Carlos) pelas apresentações de alta qualidade e conteúdo científico relevante.
Aos interessados, seguem os materiais das palestras:<< Alinne >> e << Carlos >>.
O próximo seminário está agendado para o dia 23/10 sendo coordenado pela Alinne com participação do Faimison e de um outro voluntário que se manifestar até lá.
Obrigada a todos e até o próximo seminário.
segunda-feira, 7 de outubro de 2013
Chamada para seminários do LabES - dia 09/10/2013
Olá pessoal,
Seguem as informações sobre os próximos seminários do LabES:
Data: 09/10/2013 (quarta-feira)
Local: Sala 3-010 no ICMC/USP
Horário: 17h
Seminário 1:
Nome completo: Francisco Carlos Monteiro Souza
Título da apresentação: Geração de Dados de Teste para Teste de Mutação utilizando Técnicas de Busca e Meta-heurísticas
Resumo: O objetivo dessa proposta é contribuir para a automatização da geração de dados de teste e a identificação de mutantes equivalentes para o teste de mutação por meio do uso de técnicas de busca e meta-heurísticas fundamentadas nos conceitos de teste de software baseado em busca.
Seminário 2:
Nome: Alinne Cristinne Corrêa dos Santos
Título: Uma contribuição à definição e à automatização da atividade de teste para sistemas de Realidade Virtual
Resumo: Apesar da pesquisa na área de teste ser diversificada em várias linhas, ainda existem lacunas, principalmente relacionadas a problemas específicos de alguns domínios de aplicação como, por exemplo, ambientes de Realidade Virtual (RV). Nesse contexto, foi identificada a necessidade em definir e automatizar critérios de teste para auxiliar o desenvolvedor na criação ou na avaliação de conjuntos de dados de teste no escopo de sistemas de RV.
Contamos com a presença de todos!
Abraços,
Maria Adelina
Seguem as informações sobre os próximos seminários do LabES:
Data: 09/10/2013 (quarta-feira)
Local: Sala 3-010 no ICMC/USP
Horário: 17h
Seminário 1:
Nome completo: Francisco Carlos Monteiro Souza
Título da apresentação: Geração de Dados de Teste para Teste de Mutação utilizando Técnicas de Busca e Meta-heurísticas
Resumo: O objetivo dessa proposta é contribuir para a automatização da geração de dados de teste e a identificação de mutantes equivalentes para o teste de mutação por meio do uso de técnicas de busca e meta-heurísticas fundamentadas nos conceitos de teste de software baseado em busca.
Seminário 2:
Nome: Alinne Cristinne Corrêa dos Santos
Título: Uma contribuição à definição e à automatização da atividade de teste para sistemas de Realidade Virtual
Resumo: Apesar da pesquisa na área de teste ser diversificada em várias linhas, ainda existem lacunas, principalmente relacionadas a problemas específicos de alguns domínios de aplicação como, por exemplo, ambientes de Realidade Virtual (RV). Nesse contexto, foi identificada a necessidade em definir e automatizar critérios de teste para auxiliar o desenvolvedor na criação ou na avaliação de conjuntos de dados de teste no escopo de sistemas de RV.
Contamos com a presença de todos!
Abraços,
Maria Adelina
Assinar:
Postagens (Atom)