verificación y validación
Verificación y validación de sistemas modelados mediante redes de Petri
... la verificación y validación del sistema modelado propuesto por Denis Aldonza Bermúdez en la tesis “Software para la conversión de referencias ...de verificación se utilizan dos técnicas: Árbol de ...
94
Aplicación y valoración de la verificación y validación de software: una encuesta realizada en Buenos Aires
... La verificación y validación del software no sólo comprueban que se está construyendo la aplicación informática correctamente, sino también bus- can que la aplicación a construir sea la ...de ...
15
Entorno de simulación para verificación y validación de equipamiento CBTC
... su verificación y validación durante las diferentes etapas de su ciclo de vida, y en particular durante la instalación y puesta en marcha de una nueva línea o rehabilitación de una línea existente, siendo ...
8
Modelo de madurez para determinar el nivel de capacidad de los procesos de gestión de proyecto y la implementación de software en MYPES en las actividades de verificación y validación
... Esto requiere de la existencia de modelos que especifiquen el conjunto de procesos a implementar, así como las actividades y tareas que se requiere realizar. Sin embargo, los modelos de referencia de procesos disponibles ...
275
REVISIÓN, VERIFICACIÓN Y VALIDACIÓN EN UN PROCESO DE DESARROLLO DE SOFTWARE / REVIEW, VERIFICATION AND VALIDATION IN A SOFTWARE DEVELOPMENT PROCESS
... En la división territorial de Ciudad de la Habana de la empresa Desoft, se consideró integrar la actividad existente del Control de Calidad con la aplicación de los requisitos 7.3.4, 7.3.5 y 7.3.6 de la NC-ISO 90003: ...
9
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
... de validación y verificación que nos permiten evaluar la calidad de nuestra especificación de ...de validación y verificación más sofisticadas que pueden ser completamente automatizadas por ...
219
Definición y validación de protocolo de verificación para sistemas de ventilación natural en climas tropicales
... y verificación de los sistemas, que enriquecieron de forma apreciable el estudio y ofrecieron un extenso panorama de criterios, sobre el cual se pudieron analizar y sintetizar los más precisos y pertinentes, para ...
57
Extensión del juego de instrucciones de la IP "nProc" de Airbus-Crisa: diseño, verificación y validación en FPGA.
... La segunda fase de la verificación consiste en el proceso de code coverage. Esto es, la comprobación de que todas las líneas del código VHDL se hayan ejecutado al menos una vez durante el transcurso de los tests ...
133
Anexo 16 Instructivo para el Control, Monitoreo, Verificación y Validación del Programa de Manejo Adecuado de
... Recuperación: Proceso que hace referencia a clasificación, lavado, desinfección y secado del producto no conforme (PNC) que ingresa como producto para ser recuperable de las bodegas internas, es sometido a una ...
122
Proceso de verificación y validación de software embarcado en satélite: Una estrategia basada en propiedades de composición
... En la figura 1.1 mostramos el proceso general de transformaciones automáti- cas. El proceso propuesto tiene como meta satisfacer los objetivos marcados en esta Tesis Doctoral. Las transformaciones entre los modelos ...
283
Una estrategía para el mejoramiento del proceso de verificación y validación
... Test Process Improvement (TPI) [29]: Este modelo fue desarrollado por Tim Koomen y Martín Pol, basado en las experiencias de la compañía IQUIP. El modelo ofrece, no solamente un método relativamente sencillo para ...
80
Plan de verificación y validación de nuevos diseños en Amphenol RF
... la verificación de ciertas medidas consideradas criticas por el técnico de calidad, limitándose este a elaborar un pequeño reporte que nunca generaba ninguna decisión, es decir, era información ociosa que nadie le ...
44
Ensayo doble torsión, Diseño óptimo, verificación y validación de probetas
... Mediante la funcion >post processing de OpenFOAM , el so ware realiza los graficos de tensiones de corte correspondientes al plano YZ, tensiones de corte sobre pl[r] ...
56
Diseño, implantación, verificación y validación del sistema de análisis de peligros y puntos de control crítico (appcc) en diferentes lineas de procesado de hortalizas ecológicas
... - Reglamento CE nº 889/2008 de la Comisión de 5 de septiembre de 2008 por el que se establecen disposiciones de aplicación del Reglamento CE nº 834/2007 del Consejo sobre producción y et[r] ...
624
ANALISIS ESTRUCTURAL DEL BASTIDOR DE TRUCK DEL CONJUNTO CHASIS DE BOGIE DE LOS VAGONES DEL TRANSPORTE COLECTIVO METRO
... La prueba de vibraciones se realizó como una forma de verificación y validación del modelo mediante los resultados obtenidos en el análisis modal, éstas pruebas se realizaron físicamen[r] ...
127
Desarrollo de aplicación Android: EasyCook!
... Auth0: Librería usada para la verificación y validación del origen del token JWT usado en el proceso de autenticación, de forma que se valide el emisor de dicho token así como, su integr[r] ...
89
Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer
... la validación estructural y la transformación del modelo a VHDL-AM S; obteniendo un modelo funcional ejecutable de las especificaciones del sistema a partir de una estructura validada ...
61
Editorial, pg.4
... Asimismo, se han enumerado 10 factores más relevantes que impiden el logro de la madurez requerida, estableciendo posibles soluciones a los mismos basadas en la experiencia práctica de los autores de este trabajo en ...
30
Verificación de identidad por biometría y validación de riesgo crediticio
... El marco de referencia SCRUM permite un desarrollo ágil y flexible de la solución o programa, se basa en la teoría de control de procesos empírica y recurre a tres pilares comunes a este tipo de control: transparencia, ...
92