Eingang zum Volltext
Lizenz
Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-30875
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3087/
Seifert, Mirko ; Samlaus, Roland
Building source code analyzers has a long tradition and various mature tools exist to check code written in conventional languages, such as Java or C. As new languages emerge (e.g., Domain Specific Languages) these tools can not be applied and building a tool for each language does not seem feasible either.
This paper investigates how meta models for textual languages and the Object Constraint Language can enable generic static source code analysis for arbitrary languages.
The presented approach is evaluated using three languages (Java, SQL and
a DSL for state machines).
URN: urn:nbn:de:kobv:83-opus-30875
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3087/
Seifert, Mirko ; Samlaus, Roland
Static Source Code Analysis using OCL
| pdf-Format: |
|
Kurzfassung in Englisch
The majority of artifacts created during software development are representations of programs in textual syntax. Although graphical descriptions are becoming more widespread, source code is still indispensable. To obtain programs that behave correctly and adhere to given coding conventions, source code must be analyzed—preferably using automated tools.Building source code analyzers has a long tradition and various mature tools exist to check code written in conventional languages, such as Java or C. As new languages emerge (e.g., Domain Specific Languages) these tools can not be applied and building a tool for each language does not seem feasible either.
This paper investigates how meta models for textual languages and the Object Constraint Language can enable generic static source code analysis for arbitrary languages.
The presented approach is evaluated using three languages (Java, SQL and
a DSL for state machines).
| Freie Schlagwörter (deutsch): | Static Analysis, Object Constraint Language, Domain Specific Languages | |
| Freie Schlagwörter (englisch): | Static Analysis, Object Constraint Language, Domain Specific Languages | |
| Collection | TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 15 (2008): OCL Concepts and Tools 2008 | |
| Institut: | Institut für Softwaretechnik und Theoretische Informatik | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | Aufsatz | |
| Schriftenreihe: | Electronic Communications of the EASST- ECEASST | |
| Band Nummer: | 15/08 | |
| ISBN: | 1863-2122 | |
| Quelle: | http://journal.ub.tu-berlin.de/eceasst/article/view/174 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2008 | |
| Publikationsdatum: | 21.06.2011 | |
| Lizenz: | Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja |
