Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned

Grimmer, Andreas; Angerer, Florian; Prähofer, Herbert; Grünbacher, Paul

doi:10.1109/saner.2016.15

Cited by 12 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Finally, the System Graph Builder creates the SDG which is then further annotated with impact conditions. A detailed description of the tool chain is available from Grimmer et al (2016).…”

Section: Tool Implementation and Adaptationmentioning

confidence: 99%

Change impact analysis for maintenance and evolution of variable software systems

et al. 2019

Self Cite

View full text Add to dashboard Cite

Understanding variability is essential to allow the configuration of software systems to diverse requirements. Variability-aware program analysis techniques have been proposed for analyzing the space of program variants. Such techniques are highly beneficial, e.g., to determine the potential impact of changes during maintenance. This article presents an interprocedural and configuration-aware change impact analysis (CIA) approach for determining the possibly impacted source code elements when changing the source code of a product family. The approach also supports engineers, who are adapting the code of specific product variants after an initial pre-configuration. The approach can be adapted to work with different variability mechanisms, it is more precise than existing CIA approaches, and it can be implemented using standard control flow and data flow analysis. We report evaluation results on the benefit and performance of the approach using industrial product lines.

show abstract

“…Finally, the System Graph Builder creates the SDG which is then further annotated with impact conditions. A detailed description of the tool chain is available from Grimmer et al (2016).…”

Section: Tool Implementation and Adaptationmentioning

confidence: 99%

Change impact analysis for maintenance and evolution of variable software systems

et al. 2019

Self Cite

View full text Add to dashboard Cite

show abstract

“…The code model represents the code artifacts of various kinds in an integrated abstract syntax tree implemented based on the Abstract Syntax Tree Metamodeling (ASTM) standard (OMG, 2011;Grimmer et al, 2016), which provides a specification for code models written in different languages. The reader/writer framework allows parsing and persisting different types of product line artifacts.…”

Section: Methodsmentioning

confidence: 99%

Feature-oriented clone and pull operations for distributed development and evolution

et al. 2022

View full text Add to dashboard Cite

Software companies frequently customize and extend product lines in multiple projects concurrently to quickly deliver solutions to customers. Engineers use a distributed and feature-oriented development process, commonly supported by version control systems to track implementation-level changes. For instance, feature branches are widely used to add new or modify existing features. However, when merging back features to the product line, the information about feature-to-code mappings is usually lost. Furthermore, the granularity of merging is limited to branches, making it hard to extract and merge selected individual features from one product to another. This paper thus presents feature-oriented clone and pull operations for distributed development, which are implemented in the FORCE2 platform. Our evaluation uses variants of the ArgoUML product line to investigate the correctness and performance of our approach. The results show that the feature-oriented operations work with high precision and recall for different cases of feature interactions, also when feature implementations are scattered across many locations in the source code. The performance measurements demonstrate that the operations can be integrated in the typical workflows of engineers.

show abstract

“…Um ein Zuordnung möglichst vieler unterschiedlicher Programmiersprachen auf ein allgemeines Modell zu ermöglichen, wurde das Abstract Syntax Tree Model (ASTM) der OMG (OMG 2011) ausgewählt und eingesetzt. Diese Modelldarstellung erlaubt es, sowohl generische als auch spezifische Abstrakte Syntax Bäume zu repräsentieren und hat sich im industriellen Kontext als nützlich die Programmanalyse erwiesen(Grimmer et al 2016). Für die Repräsentation einer bestimmten Programmiersprache in ein Modell muss einmalig eine Modelltransformation umgesetzt werden.…”

unclassified

Modellunterstützte Qualitätssicherung von Engineering-Daten industrieller Produktionssysteme

Winkler¹,

Meixner²,

Mordinyi³

et al. 2020

Springer Reference Technik

View full text Add to dashboard Cite

Die Zusammenarbeit von Fachexperten in einem heterogenen Entwicklungsumfeld im Industrie 4.0 Umfeld bringt neben dem verstärkten Bedarf an effizientem Datenaustausch weitere Herausforderungen aber auch neue Möglichkeiten an fachbereichsübergreifenden Maßnahmen der Qualitätssicherung zur Verbesserung der Projekt-, Prozess-und Produktqualität mit sich. Engineering-Modelle stellen dabei meist die Grundlage der einzelnen Fachbereiche dar und müssen effizient aufeinander abgestimmt werden. Durch modellunterstützte Qualitätssicherung und automatisierte Tests können Fehler, fachbereichsübergreifend effizient erkannt und durch beteiligte Ingenieure behoben werden. Dieses Kapitel beschreibt Bedarfe an Methoden zur fachbereichsübergreifenden Qualitätssicherung sowohl für Ingenieure als auch für Projekt-und Qualitätsmanager und stellt Konzepte und Lösungsansätze anhand exemplarischer Industrieprototypen dar: Fachinspektionen durch Experten ermöglichen die gezielte Untersuchung von Änderungen in Engineering-Modellen oder die Überprüfung generierter Modelle. Testansätze erlauben die Überprüfung der Durchgängigkeit von Signalinformationen (End-to-End Test). Ein Testautomatisierungsframework unterstützt die flexible und semiautomatische Testplanung und Testdurchführung auf Systemebene. Im Rahmen der Projektbeobachtung können kritische Projekt-oder Prozessparameter überwacht werden. Die Grundlage für diese Lösungsansätze bilden Mechanismen zum effizienten und qualitätsgesicherten Datenaustausch basierend auf integrierten Datenmodellen oder effizienten Datenaustauschplattformen, die etwa auf AutomationML

show abstract

Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned

Cited by 12 publications

References 21 publications

Change impact analysis for maintenance and evolution of variable software systems

Change impact analysis for maintenance and evolution of variable software systems

Feature-oriented clone and pull operations for distributed development and evolution

Modellunterstützte Qualitätssicherung von Engineering-Daten industrieller Produktionssysteme

Contact Info

Product

Resources

About