Supporting Domain Experts by using Model-Based Equivalence Class Partitioning for Efficient Test Data Generation

Meixner, Kristof; Winkler, Dietmar; Biffl, Stefan

doi:10.1109/etfa.2019.8869145

Cited by 2 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Abstrakte Syntax Bäume repräsentieren also eine wichtige und formale Struktur eines Programmes als abstraktes Modell, wobei Spezifika der jeweiligen Programmiersprache, wie Klammersetzung oder Einrückungen, nicht berücksichtigt werden müssen (Jones 2003;OMG 2011). Diese abstrakte Repräsentation kann auch für die automatische Identifizierung von Äquivalenzklassen verwendet werden (Meixner et al 2019a).…”

Section: Modell-inspektion Mit Abstrakten Syntax Bäumenunclassified

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

Winkler¹,

Meixner²,

Mordinyi³

et al. 2020

Springer Reference Technik

Self Cite

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

Section: Modell-inspektion Mit Abstrakten Syntax Bäumenunclassified