- -

Validación Automática de Contratos Software

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Validación Automática de Contratos Software

Mostrar el registro completo del ítem

Orengo Faus, SM. (2020). Validación Automática de Contratos Software. http://hdl.handle.net/10251/152778

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/152778

Ficheros en el ítem

Metadatos del ítem

Título: Validación Automática de Contratos Software
Autor: Orengo Faus, Sandra María
Director(es): Alpuente Frasnedo, María Villanueva García, Alicia
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha acto/lectura:
2020-09-18
Fecha difusión:
Resumen:
[ES] En Ingeniería de Software, el concepto de contrato está relacionado con una descripción del comportamiento de los programas utilizando precondiciones y postcondiciones de métodos. El estado del arte actual permite ...[+]


[EN] Software contracts can be seen as a description of the program behavior that is expressed by using method preconditions and postconditions. The current state of the art allows contracts to be automatically generated ...[+]
Palabras clave: Contratos software , Generación automática de casos de prueba , Validación de contratos , KLEE , Ejecución Simbólica , Software contracts , Automatic generation of test cases , Contract validation , Symbolic Execution
Derechos de uso: Reconocimiento - No comercial (by-nc)
Editorial:
Universitat Politècnica de València
Titulación: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem