An Approach to use Executable Models for Testing
| dc.contributor.author | Soden, Michael | |
| dc.contributor.author | Eichler, Hajo | |
| dc.contributor.editor | Reichert, Manfred | |
| dc.contributor.editor | Strecker, Stefan | |
| dc.contributor.editor | Turowski, Klaus | |
| dc.date.accessioned | 2019-05-06T09:18:44Z | |
| dc.date.available | 2019-05-06T09:18:44Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | This paper outlines an approach to test programs by transforming them into executable models. Based on OMG’s metamodelling framework MOF in combination with an action language extension for the definition of operational semantics, we use QVT to transform abstract syntax trees as code representations into executable models. We argue that these models provide an adequate abstraction for simulation and testing, since platform dependencies can be resolved in a controlled way during transformation to detach the program logic from its environment. A prototypic implementation based on eclipse EMF underpins the approach. | en |
| dc.identifier.isbn | 978-3-88579-213-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22192 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Enterprise modelling and information systems architectures – concepts and applications | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-119 | |
| dc.title | An Approach to use Executable Models for Testing | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 85 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 75 | |
| gi.conference.date | October 8-9, 2007 | |
| gi.conference.location | St. Goar | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1