Type:	Artigo Cientifico
Title:	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.
Keywords:	Geração de código Montadores e compiladores Teste e avaliação de software
Language:	por
Country:	Brasil
Publisher:	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
Issue Date:	2024
Appears in Collections:	Ciência da Computação

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.