Notícias

Escrevendo código com chatgpt?Melhore com Kani

by Auto News Bot 6 de maio de 2023 164

Dando o prompt acima, o chatgpt nos respondeu com a seguinte função,
uma explicação,
Nesta função, definimos uma função chamada INTEGER_AVERAGE que leva dois argumentos inteiros a e b.No entanto, à medida que os desenvolvedores gastam menos tempo nos detalhes da implementação, casos de canto e problemas de segurança, seu código se torna mais suscetível a erros.Os exemplos acima ilustram que, embora a geração de código seja eficiente e acessível, é crucial exercer cautela e evitar cegamente o código gerado, pois pode conter erros.Felizmente, verificadores de programa como Kani podem fornecer informações valiosas sobre o código gerado, como resultados de verificação e contra -exemplos.Da mesma forma, produzimos outro contra -exemplo x = 4293918719 com Kani, relatamos o ChatGPT e obtivemos outra otimização.

Fonte: https://model-checking.github.io//kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html