Generación de casos de prueba con estructura compleja mediante "constraint solvers"
Crear pruebas de software es un proceso importante, pero también es costoso y propenso a errores, por lo que automatizar dicho proceso resulta de gran utilidad. Existen herramientas para automatizar varios tipos de pruebas distintos, pero este trabajo se va a centrar en crear casos de prueba.
openaire +1 more source
[Infrared thermography outcomes in women with suspected breast cancer]. [PDF]
Luna-Patiño GA +7 more
europepmc +1 more source
Automatización del proceso de generación de casos de prueba para casos de uso en UML
Licenciado en ...
openaire +1 more source
[Dual Test in Pregnant Women: Case of a General Zone Hospital with Family Medicine]. [PDF]
Reyes-Berlanga ML +2 more
europepmc +1 more source
[Prevention of hypoparathyroidism with indocyanine green in transoral thyroidectomy: Pilot study]. [PDF]
Domínguez-Rangel JA +2 more
europepmc +1 more source
Generador de casos de prueba aleatorio basado en especificaciones abstractas
134 páginas (PDF).
openaire +1 more source
[Prevalence of HTLV-1 infection in family members of index cases in PeruPrevalência familiar da infecção pelo HTLV-1 a partir de um caso índice no Peru]. [PDF]
Bobadilla-Chuquiure MP +6 more
europepmc +1 more source
[High diagnostic discrepancy in infectious diseases detected by autopsy]. [PDF]
Cisneros-Aréchiga AG +4 more
europepmc +1 more source
Generación de casos de prueba tipo caja negra mediante restricciones
La plataforma de validación CAVI-ART nos ofrece una representación intermedia de cualquier función escrita en diferentes lenguajes de programación, que incluye su código, su precondición y su postcondición. Sobre dicha función deseamos realizar pruebas de ejecución.
openaire +1 more source
Estudio comparativo de cuatro analizadores diferentes para la evaluación prenatal del riesgo de trisomía 21. [PDF]
García-Simón N +3 more
europepmc +1 more source

