Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908871083163648 |
|---|---|
| author | Grahl, Johanna Rumpe, Bernhard Stachon, Max Stüber, Sebastian |
| author_facet | Grahl, Johanna Rumpe, Bernhard Stachon, Max Stüber, Sebastian |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_00749 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures Grahl, Johanna Rumpe, Bernhard Stachon, Max Stüber, Sebastian Software Engineering Formal Languages and Automata Theory Symbolic Computation 68N30 D.2.4 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. |
| title | Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures |
| topic | Software Engineering Formal Languages and Automata Theory Symbolic Computation 68N30 D.2.4 |
| url | https://arxiv.org/abs/2508.00749 |