Por favor, use este identificador para citar o enlazar este ítem:
https://rd.uffs.edu.br/handle/prefix/8103
Type: | Artigo Cientifico |
Título : | Random elixir code generation applied to compiler testing |
Author: | Facchi, Bernardo Beltrame |
First advisor: | Feitosa, Samuel da Silva |
Resume: | Developers expect compilers to be correct. Unfortunately, these tools are not entirely bug-free. A failure introduced by the compiler could compromise a critical system and consequently have catastrophic consequences, specially in applications of great complexity, affecting both end users and developers. Such failures can lead to significant financial losses, security vulnerabilities, and a loss of trust in the software’s reliability. Therefore, testing and validating all the compiler functionalities to assure its correctness is essential given their importance in software development. In light of the given context, this paper describes a random code generation tool using Haskell that generates well-typed Elixir code by adhering to a specified syntax and typing rules, which serves as input for property-based tests, striving to contribute to the overall quality and dependability of software systems built using Elixir. |
Palabras clave : | Geração de código Montadores e compiladores Teste e avaliação de software |
Language: | por |
Country: | Brasil |
Editorial : | Universidade Federal da Fronteira Sul |
Acronym of the institution: | UFFS |
College, Institute or Department: | Campus Chapecó |
Type of Access: | Acesso Aberto |
URI : | https://rd.uffs.edu.br/handle/prefix/8103 |
Fecha de publicación : | 2024 |
Aparece en las colecciones: | Ciência da Computação |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
BELTRAME.pdf | 732,29 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.