Resumen

La verificación de modelos y las pruebas de conformidad juegan un papel importante en el diseño e implementación de sistemas de software. Desde la perspectiva de integrar la verificación de modelos y las pruebas de conformidad en un enfoque de validación estrechamente acoplado, este documento presenta un enfoque novedoso para detectar errores latentes en la implementación de software. Los errores latentes se pueden clasificar en dos tipos, uno se llama Rastro de Implementación Innecesario, y el otro se llama Rastro de Implementación Descuidado. El método complementa la incompletitud de las propiedades de seguridad para la verificación de modelos de software. Se caracterizan modelos más precisos para aprovechar la efectividad del método combinado de verificación y pruebas de software basado en modelos.

• Materias:Modelado matemático Modelo de red neuronal Tasa de convergencia Aritmética Ondículas libres
• Subjects:Mathematical modeling Neural network model Convergence rate Arithmetic Free wavelets
• Palabras claves:Verificación de modelos; Pruebas de conformidad; Diseño de sistemas de software; Implementación; Errores latentes; Enfoque de validación
• Keywords:Model checking; Conformance testing; Software system design; Implementation; Latent errors; Validation approach