PerfeQ: Um Ambiente Científico para a Análise da Qualidade de Código
Resumo
Para melhorar a qualidade do código dos estudantes, pesquisadores buscam alternativas de fornecer feedback sobre o código não somente quanto à corretude, mas também sobre a sua qualidade. Entretanto, percebe-se que a realidade de salas de aula com muitos alunos não permite um feedback individual e completo. Neste contexto, ferramentas como Analisadores Estáticos (AEs) podem ser utilizadas para realizar a análise do código sem executá-lo, fornecendo relatórios sobre sua qualidade como, por exemplo, problemas de estilo. A partir deste entendimento, o presente trabalho apresenta uma ferramenta para avaliação da qualidade de código em relação ao uso de convenções de estilo de linguagens de programação. Para tanto, criamos métricas para resumir a quantificação da qualidade do código a partir dos resultados dos AEs. Por fim, criamos um ambiente para simplificar a análise científica de datasets de código de estudantes. O trabalho apresenta uma descrição detalhada do ambiente, além de exemplos ilustrativos do seu funcionamento.
Referências
Allamanis, M., Barr, E. T., Bird, C., and Sutton, C. (2014). Learning natural coding conventions. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, page 281–293, New York, NY, USA. Association for Computing Machinery.
Berry, R. E. and Meekings, B. A. (1985). A style analysis of c programs. Commun. ACM, 28(1):80–88.
Cannon, L., Elliott, R., Kirchhoff, L., Miller, J., Milner, J., Mitze, R., Schan, E., Whittington, N., Spencer, H., Keppel, D., et al. (1991). Recommended C style and coding standards. Pocket reference guide. Specialized Systems Consultants.
Doland, J. and Valett, J. (1994). C style guide. Technical report, National Aeronautics and Space Administration.
Dos Santos, G. T. H. and Martimiano, L. A. F. (2023). Uso de ferramentas de análise estática para identificar vulnerabilidades em sistemas operacionais em c/c++ para dispositivos iot. Revista Eletrônica de Iniciação Científica em Computação, 21(1).
dos Santos, R. M. and Gerosa, M. A. (2018). Impacts of coding practices on readability. In Proceedings of the 26th conference on program comprehension, pages 277–285.
Edwards, S. H., Kandru, N., and Rajagopal, M. B. (2017). Investigating static analysis errors in student java programs. In Proceedings of the 2017 ACM Conference on International Computing Education Research, ICER ’17, page 65–73, New York, NY, USA. ACM.
Finkbine, R. B. (1996). Metrics and Models in Software Quality Engineering, volume 21. Association for Computing Machinery, New York, NY, USA.
Galvão, L., Fernandes, D., and Gadelha, B. (2016). Juiz online como ferramenta de apoio a uma metodologia de ensino híbrido em programação. In (Simpósio Brasileiro de Informática na Educação - SBIE), volume 27, page 140.
Gomes, I., Morgado, P., Gomes, T., and Moreira, R. (2009). An overview on the static code analysis approach in software development. Faculdade de Engenharia da Universidade do Porto, Portugal.
Gulabovska, H. and Porkoláb, Z. (2019). Survey on static analysis tools of python programs. In SQAMIA.
Hedberg, H., Iivari, N., Rajanen, M., and Harjumaa, L. (2007). Assuring quality and usability in open soruce software development. In Proceedings of the First International Workshop on Emerging Trends in FLOSS Research and Development, FLOSS ’07, page 2, USA. IEEE Computer Society.
Joshi, A., Tewari, A., Kumar, V., and Bordoloi, D. (2014). Integrating static analysis tools for improving operating system security. International Journal of Computer Science and Mobile Computing, 3(4):1251–1258.
Keuning, H., Heeren, B., and Jeuring, J. (2017). Code quality issues in student programs. In Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE ’17. Association for Computing Machinery.
Liawatimena, S., Warnars, H. L. H. S., Trisetyarso, A., Abdurahman, E., Soewito, B., Wibowo, A., Gaol, F. L., and Abbas, B. S. (2018). Django web framework software metrics measurement using radon and pylint. In 2018 Indonesian Association for Pattern Recognition International Conference (INAPR), pages 218–222. IEEE.
Lima, Y., Fonseca, I., Chagas, J., Rodrigues, E., Silveira, M., and Silva, J. (2021). Comparação de ferramentas de análise estática para detecção de defeitos de software usando mutantes. In Anais da V Escola Regional de Engenharia de Software, pages 159–168, Porto Alegre, RS, Brasil. SBC.
Liu, D. and Petersen, A. (2019). Static analyses in python programming courses. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE ’19, page 666–671, New York, NY, USA. Association for Computing Machinery.
Mengel, S. A. and Yerramilli, V. (1999). A case study of the static analysis of the quality of novice student programs. In The Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education, SIGCSE ’99, page 78–82, New York, NY, USA. Association for Computing Machinery.
Novak, J., Krajnc, A., et al. (2010). Taxonomy of static code analysis tools. In The 33rd international convention MIPRO, pages 418–422. IEEE.
Reiss, S. P. (2007). Automatic code stylizing. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE ’07, page 74–83, New York, NY, USA. Association for Computing Machinery.
Saliba, L., Shioji, E., Oliveira, E., Cohney, S., and Qi, J. (2024). Learning with style: Improving student code-style through better automated feedback. In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1.
Van Rossum, G., Warsaw, B., and Coghlan, N. (2001). Pep 8–style guide for python code. Python. org, 1565:28.
Vorobyov, K. and Krishnan, P. (2010). Comparing model checking and static program analysis: A case study in error detection approaches. Proc. SSV, pages 1–7.
Weinberger, B., Silverstein, C., Eitzmann, G., Mentovai, M., and Landray, T. (2013). Google c++ style guide.
Berry, R. E. and Meekings, B. A. (1985). A style analysis of c programs. Commun. ACM, 28(1):80–88.
Cannon, L., Elliott, R., Kirchhoff, L., Miller, J., Milner, J., Mitze, R., Schan, E., Whittington, N., Spencer, H., Keppel, D., et al. (1991). Recommended C style and coding standards. Pocket reference guide. Specialized Systems Consultants.
Doland, J. and Valett, J. (1994). C style guide. Technical report, National Aeronautics and Space Administration.
Dos Santos, G. T. H. and Martimiano, L. A. F. (2023). Uso de ferramentas de análise estática para identificar vulnerabilidades em sistemas operacionais em c/c++ para dispositivos iot. Revista Eletrônica de Iniciação Científica em Computação, 21(1).
dos Santos, R. M. and Gerosa, M. A. (2018). Impacts of coding practices on readability. In Proceedings of the 26th conference on program comprehension, pages 277–285.
Edwards, S. H., Kandru, N., and Rajagopal, M. B. (2017). Investigating static analysis errors in student java programs. In Proceedings of the 2017 ACM Conference on International Computing Education Research, ICER ’17, page 65–73, New York, NY, USA. ACM.
Finkbine, R. B. (1996). Metrics and Models in Software Quality Engineering, volume 21. Association for Computing Machinery, New York, NY, USA.
Galvão, L., Fernandes, D., and Gadelha, B. (2016). Juiz online como ferramenta de apoio a uma metodologia de ensino híbrido em programação. In (Simpósio Brasileiro de Informática na Educação - SBIE), volume 27, page 140.
Gomes, I., Morgado, P., Gomes, T., and Moreira, R. (2009). An overview on the static code analysis approach in software development. Faculdade de Engenharia da Universidade do Porto, Portugal.
Gulabovska, H. and Porkoláb, Z. (2019). Survey on static analysis tools of python programs. In SQAMIA.
Hedberg, H., Iivari, N., Rajanen, M., and Harjumaa, L. (2007). Assuring quality and usability in open soruce software development. In Proceedings of the First International Workshop on Emerging Trends in FLOSS Research and Development, FLOSS ’07, page 2, USA. IEEE Computer Society.
Joshi, A., Tewari, A., Kumar, V., and Bordoloi, D. (2014). Integrating static analysis tools for improving operating system security. International Journal of Computer Science and Mobile Computing, 3(4):1251–1258.
Keuning, H., Heeren, B., and Jeuring, J. (2017). Code quality issues in student programs. In Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE ’17. Association for Computing Machinery.
Liawatimena, S., Warnars, H. L. H. S., Trisetyarso, A., Abdurahman, E., Soewito, B., Wibowo, A., Gaol, F. L., and Abbas, B. S. (2018). Django web framework software metrics measurement using radon and pylint. In 2018 Indonesian Association for Pattern Recognition International Conference (INAPR), pages 218–222. IEEE.
Lima, Y., Fonseca, I., Chagas, J., Rodrigues, E., Silveira, M., and Silva, J. (2021). Comparação de ferramentas de análise estática para detecção de defeitos de software usando mutantes. In Anais da V Escola Regional de Engenharia de Software, pages 159–168, Porto Alegre, RS, Brasil. SBC.
Liu, D. and Petersen, A. (2019). Static analyses in python programming courses. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE ’19, page 666–671, New York, NY, USA. Association for Computing Machinery.
Mengel, S. A. and Yerramilli, V. (1999). A case study of the static analysis of the quality of novice student programs. In The Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education, SIGCSE ’99, page 78–82, New York, NY, USA. Association for Computing Machinery.
Novak, J., Krajnc, A., et al. (2010). Taxonomy of static code analysis tools. In The 33rd international convention MIPRO, pages 418–422. IEEE.
Reiss, S. P. (2007). Automatic code stylizing. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE ’07, page 74–83, New York, NY, USA. Association for Computing Machinery.
Saliba, L., Shioji, E., Oliveira, E., Cohney, S., and Qi, J. (2024). Learning with style: Improving student code-style through better automated feedback. In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1.
Van Rossum, G., Warsaw, B., and Coghlan, N. (2001). Pep 8–style guide for python code. Python. org, 1565:28.
Vorobyov, K. and Krishnan, P. (2010). Comparing model checking and static program analysis: A case study in error detection approaches. Proc. SSV, pages 1–7.
Weinberger, B., Silverstein, C., Eitzmann, G., Mentovai, M., and Landray, T. (2013). Google c++ style guide.
Publicado
07/04/2025
Como Citar
PEREIRA, Francisco T. S. S.; BITTENCOURT, Roberto A.; OLIVEIRA, Elaine H. T.; OLIVEIRA, David B. F..
PerfeQ: Um Ambiente Científico para a Análise da Qualidade de Código. In: SIMPÓSIO BRASILEIRO DE EDUCAÇÃO EM COMPUTAÇÃO (EDUCOMP), 5. , 2025, Juiz de Fora/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2025
.
p. 651-662.
DOI: https://doi.org/10.5753/educomp.2025.4937.
