Resumen:
Resumen Las técnicas de pruebas pasivas nos ofrecen la ventaja de poder testear sistemas con los cuales no es posible la interacción directa. Actualmente, la gran mayoría de las propuestas basadas en este concepto asumen que las trazas analizadas reflejan el comportamiento real del sistema, sin tener en cuenta el canal a través del cual han sido observadas. Si la comunicación es asíncrona, la traza observada puede no corresponderse con la producida durante la ejecución del sistema. La necesidad de considerar este tipo de aspectos, llevó a la propuesta de una nueva metodología de pruebas pasivas centrada en canales asíncronos First Input First Output (FIFO). En este artículo se presenta PTAC, una herramienta software que automatiza la aplicación de esta técnica, permitiendo el análisis del comportamiento de los sistemas, mediante la validacíon de las diferentes propiedades que lo caracterizan a través de trazas reales.