Por favor, use este identificador para citar o enlazar este ítem:
http://ciateq.repositorioinstitucional.mx/jspui/handle/1020/70| Automatización y reducción de tiempos en proceso de pruebas formales para certificación de software embebido en la industria de aviación | |
| EVER EMMANUEL ZUÑIGA ALCANTAR | |
| Acceso Abierto | |
| Atribución | |
| En este documento se describe el proceso de implementación y puesta en marcha de una mejora y optimización de tiempos en el proceso de pruebas formales para la certificación de software en la industria de la aviación. El estado del arte de este trabajo comprende normas y lineamientos de las agencias reguladoras, tipos de pruebas de software, el proceso de pruebas formales, así como metodologías de desarrollo de software. Para el desarrollo de este trabajo es necesario indagar a fondo el proceso de pruebas formales e identificar los cuellos de botella dentro del proceso, así como el proceso de pensamiento por el cual se llegó a la idea final de mejora del proceso de pruebas formales para la certificación de software en la industria de la aviación, ambos temas se explican en el capítulo de procedimiento de investigación. La conclusión de este trabajo es la implementación de una herramienta que ayuda a reducir cuellos de botella y tiempo de ejecución en el proceso de pruebas formales, dicha herramienta logra reducir en gran medida los tiempos y recursos usados para dicho proceso. | |
| CIATEQ, A. C. | |
| 2017 | |
| Tesis de maestría | |
| Español | |
| Público en general | |
| TEORÍA DE LA PROGRAMACIÓN | |
| Versión aceptada | |
| acceptedVersion - Versión aceptada | |
| Aparece en las colecciones: | Maestría en Sistemas Inteligentes Multimedia |
Cargar archivos:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| ZunigaAlcantarEverE MSIM 2017.pdf | Tesis en texto completo | 698.15 kB | Adobe PDF | Visualizar/Abrir |