Use este identificador para citar ou linkar para este item:
http://www.repositorio.ufop.br/jspui/handle/123456789/14493
Título: | A type-directed algorithm to generate random well-typed Java 8 programs. |
Autor(es): | Feitosa, Samuel da Silva Ribeiro, Rodrigo Geraldo Bois, André Rauber Du |
Palavras-chave: | Featherweight Java Property-based testing QuickCheck |
Data do documento: | 2020 |
Referência: | FEITOSA, S. da S.; RIBEIRO, R. G.; BOIS, A. R. D. A type-directed algorithm to generate random well-typed Java 8 programs. Science of Computer Programming, v. 196, artigo 102494, 2020. Disponível em: <https://www.sciencedirect.com/science/article/abs/pii/S0167642320301039?via%3Dihub>. Acesso em: 25 ago. 2021. |
Resumo: | Property-based testing of compilers or programming language semantics is difficult to accomplish because it is hard to design a random generator for valid programs. Most compiler test tools do not have a well-specified way for generating type-correct programs, which is a requirement for such testing activities. In this project, we formalize a typedirected procedure to generate random well-typed Java 8 programs in the context of Featherweight Java, extending it with interfaces, λ-expressions and default methods. We implement the approach using the Haskell programming language and verify it against relevant properties using QuickCheck, a library for property-based testing. |
URI: | http://www.repositorio.ufop.br/jspui/handle/123456789/14493 |
Link para o artigo: | https://www.sciencedirect.com/science/article/abs/pii/S0167642320301039?via%3Dihub |
DOI: | https://doi.org/10.1016/j.scico.2020.102494 |
ISSN: | 0167-6423 |
Aparece nas coleções: | DECOM - Artigos publicados em periódicos |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ARTIGO_TypeDirectedAlgorithm.pdf Restricted Access | 943,33 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.