Resumen

Con la aparición de los sistemas con retardo temporal, las pruebas de sistemas con retardo temporal han atraído mucha atención. Además, es necesario evaluar el coste y la eficacia para elaborar una buena estrategia de prueba en la práctica. En este artículo, tenemos en cuenta el retardo temporal y otros cinco factores (número de estados, número de entradas, número de salidas, grado de completitud y grado de accesibilidad) y presentamos un modelo FSM embebido en temporizador (TEFSM) para diseñar una estrategia comparativa que permita evaluar los criterios de cobertura y los métodos de generación de suites de prueba para sistemas con retardo temporal. Exploramos el impacto en la longitud media de las suites de pruebas, en las que intervienen los métodos de generación de suites de pruebas, los criterios de cobertura y los parámetros del modelo TEFSM.

• Materias:Matemáticas Análisis Matemático Álgebra Ingeniería
• Subjects:mathematics Mathematical Analysis Algebra Engineering
• Palabras claves:métodos de generación de conjuntos de pruebas, tiempo, criterios de cobertura, sistemas con retardo, parámetros del modelo tefsm, pruebas de sistemas con retardo, buena estrategia de pruebas, grado de accesibilidad, longitud media, estrategia comparativa
• Keywords:test suites generation methods, time, coverage criteria, delay systems, tefsm model parameters, delay system testing, good test strategy, accessibility degree, average length, comparative strategy