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)
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.
Nenhum comentário:
Postar um comentário