标题： 动态符号执行用于组件和连接器架构的语义差异分析 显示英文标题

标题： Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures

摘要： 在模型驱动开发的背景下，确保不断演化的模型的正确性和一致性至关重要。 本文研究了动态符号执行（DSE）在组件与连接器架构语义差异分析中的应用，具体利用MontiArc模型。 我们改进了现有的MontiArc到Java生成器，以在运行时收集符号和具体的执行数据，包括转换条件、访问的状态以及自动机的内部变量。 这些数据有助于识别提供系统行为关键见解的重要执行轨迹。 我们根据运行时效率、最小性和完整性标准评估了各种执行策略，建立了一个评估DSE在语义差异分析中适用性的框架。 我们的研究结果表明，尽管DSE在分析组件和连接器架构方面显示出潜力，但可扩展性仍然是主要限制，这表明需要进一步研究以提高其在更大系统中的实际效用。 显示英文摘要

摘要： In the context of model-driven development, ensuring the correctness and consistency of evolving models is paramount. This paper investigates the application of Dynamic Symbolic Execution (DSE) for semantic difference analysis of component-and-connector architectures, specifically utilizing MontiArc models. We have enhanced the existing MontiArc-to-Java generator to gather both symbolic and concrete execution data at runtime, encompassing transition conditions, visited states, and internal variables of automata. This data facilitates the identification of significant execution traces that provide critical insights into system behavior. We evaluate various execution strategies based on the criteria of runtime efficiency, minimality, and completeness, establishing a framework for assessing the applicability of DSE in semantic difference analysis. Our findings indicate that while DSE shows promise for analyzing component and connector architectures, scalability remains a primary limitation, suggesting further research is needed to enhance its practical utility in larger systems.