Resumen

Este documento propone un método de selección de pruebas de conformidad de entrada-salida (IOCO) dirigido por un modelo de propósito de prueba especificado con redes de Petri coloreadas (CPN). Basado en modelos de CPN orientados a pruebas de conformidad para especificar comportamientos funcionales de software y propósitos de prueba específicos, respectivamente, se generan casos de prueba factibles, guiados por la relación IOCO basada en CPN, utilizando simulación de modelos sincronizada con la prueba de la solidez de la generación de pruebas y la cobertura hacia los propósitos de prueba. Este método de selección de pruebas integra los méritos de la teoría de pruebas IOCO y la modelización CPN de manera sinérgica y se aplica como un método de selección de pruebas novedoso y aplicable para la práctica real de pruebas de sistemas de software a gran escala. Dado que la simulación de modelos sincronizada con dos modelos de CPN es independiente de su escala de modelo, la efectividad y practicidad de nuestro método de selección de pruebas se ven

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Propone; Conformidad de entrada-salida; Método de selección de pruebas; Redes de Petri coloreadas; Modelos CPN; Pruebas de conformidad
• Keywords:Proposes; Input-output conformance; Test selection method; Colored Petri nets; CPN models; Conformance testing