Banca de DEFESA: CLEVERTON HENTZ ANTUNES

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
DISCENTE : CLEVERTON HENTZ ANTUNES
DATA : 15/12/2017
HORA: 09:00
LOCAL: Auditorio I - DIMAp
TÍTULO:

A Family of Coverage Criteria Based on Patterns to the Test of Metaprograms


PALAVRAS-CHAVES:

Software Testing, Coverage Criteria, Pattern Matching, metaprograms, Formal Languages


PÁGINAS: 121
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO:

Although there are several techniques for the automatic generation of test data based on grammars, few studies have been proposed to improve the test data generated by applying semantic restrictions. In this sense, we intend in this work to contribute in this direction for the particular case of testing metaprograms, programs that have as input other programs. Currently, the natural alternative to testing this kind of program is using the grammar-based testing. That testing technique can be applied relatively easily, but with high costs, related to the generation and execution of the test set, and low effectiveness. Many researches and tools dedicated to the development of metaprograms make heavy use of pattern matching for their implementation and specification. In this case, the patterns offer an interesting source of information for creating tests that are syntactically valid and also satisfy semantic constraints. Given the limitation of grammar-based testing and pattern information on the metaprograms, we have an opportunity to contribute to the improvement of the testing process for these programs. Therefore, the goal of this work is to evaluate the use of pattern information for the testing of metaprograms and thus contribute to their testing process. In order to systematize the software testing process, a family of coverage criteria based on patterns is proposed to test metaprograms efficiently and systematically. Four pattern-based coverage criteria are proposed, they are based on classical input space partitioning combination criteria. Furthermore, a hierarchical relationship between the criteria is presented. Therefore, different levels of rigor can be required by choosing the appropriate criterion. The validation of these contributions is made using a case study and an empirical validation. The case study presents a reference instantiation for the test design process applied to a type checker implemented as metaprogram based on patterns. The type checker is tested using a test set generated by the pattern-based coverage criteria and the quality of this set is evaluated using the mutation technique. The results obtained are compared with those produced by a test set generated by the grammar-based criteria. The experimental studies indicate the effectiveness of the application of these pattern-based criteria and a gain of cost-return in relation to the grammar-based coverage criteria.


MEMBROS DA BANCA:
Interno - 1258224 - ANAMARIA MARTINS MOREIRA
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Externo à Instituição - PAULO HENRIQUE MONTEIRO BORBA - UFPE
Externo à Instituição - ROHIT GHEYI - UFCG
Interno - 1495704 - UMBERTO SOUZA DA COSTA
Notícia cadastrada em: 14/12/2017 14:37
SIGAA | Superintendência de Informática - | | Copyright © 2006-2020 - UFRN - sigaa27-producao.info.ufrn.br.sigaa27-producao