LuMiNous - Model-Driven Assertion Generation for Runtime Failure Detection

被引：0
|
作者：
Pezze, Mauro [1 ]
Wuttke, Jochen [2 ]
机构：
[1] Univ Milano Bicocca, I-20126 Milan, Italy
[2] Univ Lugano, CH-6904 Lugano, Switzerland
来源：
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME | 2009年
关键词：
D O I：
10.1109/ICSE-COMPANION.2009.5071037
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Well designed assertions improve overall software quality, ease debugging and maintenance, and support the construction of autonomic software systems. Although widely used both in academia and industry, manually defining code assertions is hard and error-prone. In this summary we present LuMiNous, a prototype that implements a technique to automatically generate code assertions from model annotations.
引用
收藏
页码：411 / +
页数：2
相关论文
共 50 条
  • [1] Model-driven generation of runtime checks for system properties
    Pezze, Mauro
    Wuttke, Jochen
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (01) : 1 - 19
  • [2] Model-driven generation of runtime checks for system properties
    Mauro Pezzé
    Jochen Wuttke
    [J]. International Journal on Software Tools for Technology Transfer, 2016, 18 : 1 - 19
  • [3] MODEL-DRIVEN, ASSERTION-BASED GENERATION OF MULTIMEDIA WEATHER INFORMATION
    KERPEDJIEV, S
    [J]. BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, 1995, 76 (10) : 1791 - 1800
  • [4] A model-driven approach to broaden the detection of software performance antipatterns at runtime
    Di Marco, Antinisca
    Trubiani, Catia
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 77 - 92
  • [5] Challenges to the Model-Driven Generation of User Interfaces at Runtime for Ambient Intelligent Systems
    Adam, Sebastian
    Breiner, Kai
    Mukasa, Kizito S.
    Trapp, Marcus
    [J]. CONSTRUCTING AMBIENT INTELLIGENCE, 2008, 11 : 147 - +
  • [6] Application Runtime Framework for Model-Driven Development
    Chondamrongkul, Nacha
    Hewett, Rattikorn
    [J]. SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 256 - +
  • [7] A Model-Driven Approach for Runtime Reliability Analysis
    Sojer, Dominik
    Reichenbach, Frank
    Ellevseth, Stein-Erik
    Buckl, Christian
    Knoll, Alois
    [J]. 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2013, : 21 - 30
  • [8] A model-driven runtime environment for Web applications
    Haustein S.
    Pleumann J.
    [J]. Software & Systems Modeling, 2005, 4 (4) : 443 - 458
  • [9] A model-driven runtime environment for web applications
    Pleumann, J
    Haustein, S
    [J]. UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 190 - 204
  • [10] Model-driven runtime embedded monitoring for industrial controllers
    Kustarev, Pavel
    Bykovskii, Sergi
    Milin, Vasiliy
    Antonov, Alexandar
    [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 281 - 286
12345