Seminários do dia 17/09/2014

Material do seminário do LabES realizado no dia 17 de setembro

O seminário contou com duas apresentações sobre os projetos de pesquisa dos alunos: Thiago Gottardi (doutorado) e Vânia de Oliveira Neves (doutorado).

Resumos dos seminários:

Aluna: Vânia de Oliveira Neves

Título: Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos

Resumo: Prévia do artigo publicado no SAST. No artigo é apresentado um estudo realizado com base em logs coletados em testes de campo de um veículo autônomo (SRM: sistema robótico móvel) desenvolvido no ICMC-USP. Esse sistema executa no ambiente ROS e é programado em C++. É apresentada uma análise de cinco logs para dois métodos mais complexos do programa e são analisadas sete heurísticas propostas para gerar uma população inicial que poderia servir como semente para algoritmos de busca. Essas heurísticas são avaliadas, buscando minimizar o número de dados de entrada e maximizar a qualidade da população com base nos critérios de teste todos-nós e todas-arestas.

Link  <Slides>

Aluno: Thiago Gottardi

Titulo: Uma estratégia de reúso de processos no contexto da engenharia de software dirigida por modelos

Resumo: No contexto da Engenharia de Software Dirigida por Modelos (MDSE), a produção  de software pode ser realizada por meio de definições de modelos. Apesar dos benefícios dessa metodologia,  diferentes domínios exigem a especificação de linguagens de modelagem e ferramentas  específicas, que, por sua vez, precisam ser desenvolvidos em conjunto com o software final. Desta forma, desenvolvedores encontram problemas ao utilizar a metodologia, além de não possuir um processo adequado que os guie em como ou quando criar ferramentas de apoio.   Após a realização de um mapeamento sistemático e de três estudos empíricos, foi identificada a carência de diretrizes e processos adequados que apoiem todo o ciclo de vida do MDSE. Além disso, um único processo não é adequado para todos os domínios,   o que exige uma estratégia para reúso de processos adaptáveis a cada projeto.   Portanto,   neste projeto,   propõe-se uma nova estratégia de reúso de processo para o MDSE em conjunto com a definição de um suporte integrado para todo o ciclo de vida do desenvolvimento de sistemas baseados em modelos. Como resultados esperados, pode-se listar: uma estratégia para adequação de processos para MDSE, um ou mais processos resultantes da estratégia com validação em casos reais de utilização, estudos que apresentem as dificuldades relacionadas a MDSE que foram ou não solucionadas e prospecções e recomendações para trabalhos futuros nesta área de pesquisa.

Link <Slides>

Seminários do dia 15/10

Olá Labeanos!

Na última quarta-feira (15/10) tivemos nosso tradicional seminário de grupo.

Naquele encontro o aluno de doutorado Draylson praticou sua apresentação de um artigo que seria apresentado no congreso FIE (Fie Frontiers in Education) (Resumo 1). (slides)

Na segunda apresentação, o aluno de doutorado Rodolfo fez uma apresentação prévia de sua qualificação de doutorado (Resumo 2). (slides)

Abaixo seguem os resumos.

Obrigado a todos
Até o próximo.

Abraços
Rafael


Draylson (Resumo 1)
Título: Towards the use of an automatic assessment system in the teaching of software testing

Resumo: Both software testing and programming foundations are difficult subjects to be taught. In case of programming, experiences have suggested that the mastering of testing can contribute to enhance the students' skills of comprehension and analysis. So, automatic test-based assessment systems have been developed and adopted in programming courses. Aiming at investigating the adoption of assessment systems also in the teaching of software testing, in this paper we discuss the use of PROGTEST - a tool for the submission and automatic evaluation of programming assignments based on testing activities. As most of the automatic assessment systems, PROGTEST offers benefits such as immediate feedback, objectivity and consistency of the evaluation, and a substantial time saving in the evaluation of the programming assignments. Additionally, since it performs the assessments based on testing activities, PROGTEST also offers benefits for the teaching of software testing. Results from two experiments involving the use of PROGTEST in testing courses are presented, providing evidences on the feasibility of its adoption to support the teaching of testing concepts and criteria.


Rodolfo (Resumo 2)

Título: Uso de search-based software testing para otimizar o teste de mutação aplicado a programas concorrentes

Resumo: O teste de mutação é um critério da técnica baseada em defeitos e baseia-se nos enganos que podem ser cometidos pelos desenvolvedores de software. Este critério apresenta uma alta eficácia em revelar defeitos, porém, o seu alto custo compromete sua utilização. No contexto de teste de programas concorrentes, o teste de mutação torna-se mais complexo, pois o programa original pode apresentar mais de uma resposta diferente e correta para uma mesma entrada. Isso ocorre devido ao não determinismo das aplicações concorrentes e não é possível avaliar se um mutante apresentou um comportamento diferente do programa original somente observando a saída obtida. Com isso, têm-se muitos mutantes (e suas sequências de sincronização) para serem avaliados durante a atividade de teste. Técnicas de meta-heurísticas podem ser utilizadas em problemas complexos que compreendem uma grande quantidade de soluções possíveis e que se deseja encontrar uma solução ótima. O uso dessas técnicas no contexto de teste de software é denominado Search-Based Software Testing (SBST). O objetivo deste projeto de doutorado é investigar o uso de SBST para a redução do custo da aplicação do teste de mutação no contexto de aplicações concorrentes. Como resultados, espera-se caracterizar uma abordagem na qual a otimização poderá ser empregada para auxiliar a identificação de mutações relevantes, ou seja, que são capazes de evidenciar os principais problemas inerentes a aplicações concorrentes.