Static Source Code Analysis using OCL

  • 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 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).show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Mirko Seifert, Roland Samlaus
URN:urn:nbn:de:kobv:83-opus-30875
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (15/08)
Document Type:Arbeitspapier/Research Paper
Language:English
Date of Publication (online):2011/06/21
Publishing Institution:Technische Universität Berlin
Release Date:2011/06/21
Tag:Domain Specific Languages; Object Constraint Language; Static Analysis
Domain Specific Languages; Object Constraint Language; Static Analysis
Note:
http://journal.ub.tu-berlin.de/eceasst/article/view/174
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 15 (2008): OCL Concepts and Tools 2008
Licence (German):License LogoCC BY-NC-SA 2.0 DE: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe unter gleichen Bedingungen 2.0 Deutschland