Resumen

La modelización y prueba de sistemas de software en paralelo son muy difíciles, debido a que el número de estados y secuencias de ejecución se expande significativamente debido a los comportamientos en paralelo. En este artículo se muestra un método de reducción de modelo basado en Red de Petri de Colores (CPN), que podría generar un modelo funcionalmente equivalente y de traza equivalente con una escala más pequeña. La prueba basada en modelos para sistemas de software en paralelo se vuelve mucho más fácil después de que el modelo se reduce mediante el método de reducción. Específicamente, se construye un modelo formal para la especificación del sistema de software basado en CPN. Luego, los lugares en el modelo se dividen en lugares de entrada, lugares de salida y lugares internos; las transiciones en el modelo se dividen en transiciones de entrada, transiciones de salida y transiciones internas. Los lugares y transiciones internos podrían reducirse si las precondiciones coinciden, y se deben realizar algunas otras operaciones para la equivalencia funcional y de traza. Si el lugar y la transición están en una estruct

• 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:Modelado; Pruebas; Sistemas de software paralelo; Método de reducción; Red de Petri de Colores; Pruebas basadas en modelos
• Keywords:Modeling; Testing; Parallel software systems; Reduction method; Coloured Petri Net; Model-based testing