Permiten analizar el comportamiento corporativo de varios productos que
interactúan entre sí. Engloban el concepto de simulador de producto e incorporan la
posibilidad de detección de bloqueos mutuos, esperas infinitas y otros
comportamientos no deseados.
No hay comentarios:
Publicar un comentario