Desenvolvimento de uma Ferramenta para Teste Diferencial de Compiladores Usando Códigos Gerados Aleatoriamente
Resumo
É notável que os projetos de software estão se tornando mais complexos e extensos, os quais dependem em grande parte do compilador ou interpretador da linguagem de programação escolhida para o seu desenvolvimento. Neste sentido, como é possível garantir a qualidade e confiabilidade dessas ferramentas de desenvolvimento? Uma das possibilidades é executar testes exaustivamente, identificando e corrigindo erros, até que se tenha certa segurança de que o código produzido esteja livre de bugs. Sendo assim, este projeto propõe o desenvolvimento de uma ferramenta que aplique casos de teste gerados aleatoriamente e compare os resultados com os diferentes compiladores de Java.
Palavras-chave:
Programas Gerados Aleatoriamente, Teste Diferencial de Compiladores, Linguagem Java
Referências
Cass, S. (2019). As principais linguagens de programação de 2019. IEEE Spec.
Claessen, K. and Hughes, J. (2000). Quickcheck: A lightweight tool for random testing of haskell programs.SIGPLAN Not., 35(9):268–279. DOI: 10.1145/357766.351266
Kraus, L. F., Schafaschek, B., Ribeiro, R. G., and da Silva Feitosa, S. (2021). Synthesis of random real-world java programs from preexisting libraries. In 25th Brazilian Symposium on Programming Languages, SBLP’21, page 108–115, New York, NY, USA. Association for Computing Machinery. DOI: 10.1145/3475061.3475087
McKeeman, W. M. (1998). Differential testing for software. DIGITAL TECHNICAL JOURNAL, 10(1):100–107.
Ofenbeck, G., Rompf, T., and Püschel, M. (2016). Randir: Differential testing for embedded compilers.In Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, SCALA 2016, page 21–30, New York, NY, USA. Association for Computing Machinery. DOI: 10.1145/2998392.2998397
Palka, M. H., Claessen, K., Russo, A., and Hughes, J. (2011).Testing an optimising compiler by generating random lambda terms. In Proceedings of the 6th International Workshop on Automation of Software Test, AST ’11, pages 91–97, New York, NY,USA. ACM. DOI: 10.1145/1982595.1982615
Claessen, K. and Hughes, J. (2000). Quickcheck: A lightweight tool for random testing of haskell programs.SIGPLAN Not., 35(9):268–279. DOI: 10.1145/357766.351266
Kraus, L. F., Schafaschek, B., Ribeiro, R. G., and da Silva Feitosa, S. (2021). Synthesis of random real-world java programs from preexisting libraries. In 25th Brazilian Symposium on Programming Languages, SBLP’21, page 108–115, New York, NY, USA. Association for Computing Machinery. DOI: 10.1145/3475061.3475087
McKeeman, W. M. (1998). Differential testing for software. DIGITAL TECHNICAL JOURNAL, 10(1):100–107.
Ofenbeck, G., Rompf, T., and Püschel, M. (2016). Randir: Differential testing for embedded compilers.In Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, SCALA 2016, page 21–30, New York, NY, USA. Association for Computing Machinery. DOI: 10.1145/2998392.2998397
Palka, M. H., Claessen, K., Russo, A., and Hughes, J. (2011).Testing an optimising compiler by generating random lambda terms. In Proceedings of the 6th International Workshop on Automation of Software Test, AST ’11, pages 91–97, New York, NY,USA. ACM. DOI: 10.1145/1982595.1982615
Publicado
17/11/2021
Como Citar
COELHO, Bruno Schafaschek; KRAUZ, Luiz Felipe; FEITOSA, Samuel da Silva.
Desenvolvimento de uma Ferramenta para Teste Diferencial de Compiladores Usando Códigos Gerados Aleatoriamente. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 6. , 2021, Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 68-72.
DOI: https://doi.org/10.5753/weit.2021.18924.
