46: Localização de Falhas de Software, com Rui Maranhão Abreu (Universidade do Porto e Meta)

<p>Este epis&oacute;dio do podcast &ldquo;Fronteiras da Engenharia de Software&rdquo; com Rui Maranh&atilde;o Abreu aborda a localiza&ccedil;&atilde;o de falhas de software e suas aplica&ccedil;&otilde;e. Rui, professor catedr&aacute;tico em Engenharia de Software na Universidade do Porto e Research Software Engineer na Meta, compartilha ideias sobre esse campo da Engenharia de Software.</p> <p>No epis&oacute;dio, s&atilde;o discutidos conceitos fundamentais, como a diferen&ccedil;a entre falhas e bugs, bem como os desafios enfrentados na detec&ccedil;&atilde;o de falhas em sistemas complexos e distribu&iacute;dos, especialmente em ambientes de integra&ccedil;&atilde;o cont&iacute;nua, como na Meta. Rui tamb&eacute;m explora o papel da intelig&ecirc;ncia artificial, machine learning e deep learning na localiza&ccedil;&atilde;o de falhas e destaca avan&ccedil;os recentes na pesquisa de reparo automatizado de programas.</p> <p>Al&eacute;m disso, s&atilde;o abordados artigos recentes de Rui e seus co-autores, incluindo o &ldquo;Remo&ccedil;&atilde;o de C&oacute;digo Morto na Meta&rdquo;, que apresenta o Framework de Remo&ccedil;&atilde;o Sistem&aacute;tica de C&oacute;digo e Ativos (SCARF), e &ldquo;Depura&ccedil;&atilde;o de Erros de Tipo Alimentada por GPT-3&rdquo;, que descreve uma t&eacute;cnica para corrigir automaticamente erros de tipo em programas OCaml, utilizando o GPT-3.</p> <p>A conversa tamb&eacute;m explora a carreira de Rui na Meta, sua experi&ecirc;ncia como General Chair do ICSE 2024 em Portugal e suas vis&otilde;es sobre a pr&oacute;xima fronteira da engenharia de software.</p> <p>Site de Rui:&nbsp;<a href="https://ruimaranhao.com/">https://ruimaranhao.com/</a></p> <p>Outros links:</p> <ul> <li> <p><a href="https://sigarra.up.pt/feup/pt/func_geral.formview?p_codigo=466651">https://sigarra.up.pt/feup/pt/func_geral.formview?p_codigo=466651</a></p> </li> <li> <p><a href="https://dei.fe.up.pt/pt/blog/2023/04/10/rui-maranhao-toma-posse-como-diretor-do-prodei/">https://dei.fe.up.pt/pt/blog/2023/04/10/rui-maranhao-toma-posse-como-diretor-do-prodei/</a></p> </li> </ul> <p>Artigos:</p> <p>&ldquo;Remo&ccedil;&atilde;o de C&oacute;digo Morto na Meta: Exclus&atilde;o Autom&aacute;tica de Milh&otilde;es de Linhas de C&oacute;digo e Petabytes de Dados Obsoletos&rdquo;</p> <p>&ldquo;Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data&rdquo;</p> <p><a href="https://dl.acm.org/doi/10.1145/3611643.3613871">https://dl.acm.org/doi/10.1145/3611643.3613871</a></p> <p>Localiza&ccedil;&atilde;o de caracter&iacute;sticas baseada em espectro: um estudo de caso usando o ArgoUML.</p> <p>Spectrum-based feature localization: a case study using ArgoUML</p> <p><a href="https://dl.acm.org/doi/abs/10.1145/3461001.3473065">https://dl.acm.org/doi/abs/10.1145/3461001.3473065</a></p> <p>Depura&ccedil;&atilde;o de Erros de Tipo Alimentada por GPT-3: Investigando o Uso de Modelos de Linguagem Avan&ccedil;ados para Reparo de C&oacute;digo</p> <p>GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair</p> <p><a href="https://dl.acm.org/doi/abs/10.1145/3623476.3623522">https://dl.acm.org/doi/abs/10.1145/3623476.3623522</a>&nbsp;</p> <p>Mentat (ferramenta)&nbsp;<a href="https://figshare.com/articles/software/GPT-3-Powered_Type_Error_Debugging_Investigating_the_Use_of_Large_Language_Models_for_Code_Repair_SLE_2023_/23646903">https://figshare.com/articles/software/GPT-3-Powered_Type_Error_Debugging_Investigating_the_Use_of_Large_Language_Models_for_Code_Repair_SLE_2023_/23646903</a></p> <p>The bumpy road of taking automated debugging to industry</p> <p><a href="https://arxiv.org/abs/2212.01237">https://arxiv.org/abs/2212.01237</a></p> <p>Outros links:&nbsp;</p> <p>ICSE 2024&nbsp;<a href="https://conf.researchr.org/home/icse-2024">https://conf.researchr.org/home/icse-2024</a></p> <p>FSE 2024&nbsp;<a href="https://conf.researchr.org/home/fse-2024">https://conf.researchr.org/home/fse-2024</a></p> <p>ICSE 2026&nbsp;<a href="https://twitter.com/rafaelpri/status/1543318975043383296">https://twitter.com/rafaelpri/status/1543318975043383296</a></p> <p>Mais informa&ccedil;&otilde;es em&nbsp;<a href="https://fronteirases.github.io/episodios/paginas/46">⁠⁠⁠https://fronteirases.github.io/episodios/paginas/46⁠</a></p> <p>Entrevistadores: Adolfo Neto (PPGCA UTFPR) ⁠⁠⁠⁠<a href="https://adolfont.github.io/">https://adolfont.github.io</a>&nbsp;⁠&nbsp; e Maria Claudia Emer</p> <p>Nosso site &eacute;: ⁠⁠<a>https://fronteirases.github.io⁠</a>&nbsp;&nbsp;</p> <p>Extreme Energy (Music Today 80). Composed &amp; Produced by: Anwar Amr. Link:⁠ ⁠⁠⁠<a href="https://www.youtube.com/watch?v=8ZZbAkKNx7s%E2%81%A0">⁠https://www.youtube.com/watch?v=8ZZbAkKNx7s⁠⁠</a>&nbsp;</p> <p>Data de publica&ccedil;&atilde;o: 15 de maio de 2024.</p>