Open AccessDesenvolvimento de um Gerador de Programas Aleatórios em Java
Author(s) -
Luiz Felipe Kraus,
Bruno Schafaschek,
Samuel da Silva Feitosa
Publication year - 2021
Publication title -
anais do xii computer on the beach - cotb '21
Language(s) - English
Resource type - Conference proceedings
DOI - 10.14210/cotb.v12.p485-487
Subject(s) - computer science , java , software engineering , programming language , software , property (philosophy) , random testing , test case , machine learning , philosophy , regression analysis , epistemology
With great advances in the computer science area where technologicalsystems are becoming more and more complex, tests are hardto perform. The problem is even more serious in critical systems,such as flight control or nuclear systems, where an error can causecatastrophic damage in our society. Currently, two techniques areoften used for software validation: testing and software verification.This project aims the testing area, generating random programs tobe used as input to property-based tests, in order to detect errorsin systems and libraries, minimizing the possibility of errors. Morespecifically, Java programs will be automatically generated from existentclasses and interfaces, considering all syntactic and semanticconstraints of the language.