Buscar
Mostrando ítems 1-10 de 26
Geração de testes a partir de gramáticas: áreas de aplicação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-12-13)
The work proposed by Cleverton Hentz (2010) presented an approach to define tests
from the formal description of a program s input. Since some programs, such as compilers,
may have their inputs formalized through grammars, ...
A family of coverage criteria based on patterns to the test of metaprograms
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2017-12-15)
Although there are several techniques for the automatic generation of test
data based on grammars, few studies have been proposed to improve the test
data generated by applying semantic restrictions. In this sense, we ...
A transformational language for mutant description
(PERGAMON-ELSEVIER SCIENCE LTD, 2009)
Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are ...
NAT2TEST: generating test cases from natural language requirements based on CSP
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Uma abordagem de teste estrutural de uma transformações M2T baseada em hipergrafos
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCCCâmpus São Carlos, 2016-01-05)
Context: MDD (Model-Driven Development) is a software development paradigm in which the main artefacts are models, from which source code or other artefacts are generated. Even though MDD allows different views of how to ...
Fuzzing class specifications
(2022)
Simulation of hybrid systems from natural language requirements
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencias Contabeis, 2018)
The effects of the integration of translanguaging as a pedagogical strategy in the EFL University classroom
(2019-06-19)
The purpose of this study was to investigate the effects of the integration of translanguaging as a pedagogical tool in the EFL university classroom. In order to fulfill this purpose, a mixed methods study was conducted ...
Guía de Implementación BIM Enfocada en la Dimensión 6D
(Pregrado Arquitectura, 2022-02-01)
Construction projects in the Colombian environment are often limited by multiple errors that are made, one of them is in the design phase and sustainability that is not yet properly implemented in the project, which is a ...