The microservice architecture allows developers to divide the core functionality of their software system into multiple smaller services. However, this architectural style also makes it harder for them to debug and assess whether the system's deployment conforms to its implementation. We present CATMA, an automated tool that detects non-conformances between the system's deployment and implementation. It automatically visualizes and generates potential interpretations for the detected discrepancies. Our evaluation of CATMA shows promising results in terms of performance and providing useful insights. CATMA is available at \url{https://cyber-analytics.nl/catma.github.io/}, and a demonstration video is available at \url{https://youtu.be/WKP1hG-TDKc}.

翻译：微服务架构允许开发者将软件系统的核心功能划分为多个更小的服务。然而，这种架构风格也使得他们更难以调试和评估系统的部署是否符合其实现。我们提出了CATMA，一种自动检测系统部署与实现之间不一致性的工具。它能自动可视化检测到的差异，并生成可能的解释。我们对CATMA的评估显示，其在性能方面表现良好，并能提供有价值的见解。CATMA可通过\url{https://cyber-analytics.nl/catma.github.io/}获取，演示视频见\url{https://youtu.be/WKP1hG-TDKc}。