Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models

被引：2
|
作者：
Zhou, Zhou [1 ]
Wang, Linzhang
Cui, Zhanqi
Chen, Xin
Zhao, Jianhua
机构：
[1] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China
来源：
11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS | 2008年
基金：
美国国家科学基金会;
关键词：
D O I：
10.1109/HASE.2008.62
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes the Jasmine tool to detect inconsistencies between the modelled behavior depicted in UML behavior models and monitored runtime behavior of Java programs by runtime verification. Jasmine takes Java programs under verification and corresponding UML models including sequence diagrams, activity diagrams and state machine diagrams. Jasmine imports and parses UML models created by any UML modelling tools. Jasmine instruments the code directed by the UML models, so as to relate the monitored runtime behavior to the UML models. Jasmine drives the instrumented program by existing test suites to collect the program execution traces. Jasmine checks the consistencies between the collected program execution traces and the UML models. It is implemented in Eclipse framework, working as a stand-alone Java application as well as a plug-in in Eclipse platform. It is highly automated and has been evaluated on several case studies.
引用
收藏
页码：487 / +
页数：2
相关论文
共 50 条
  • [1] UML interaction model-driven runtime verification of Java']Java programs
    Li, X.
    Qiu, X.
    Wang, L.
    Chen, X.
    Zhou, Z.
    Yu, L.
    Zhao, J.
    [J]. IET SOFTWARE, 2011, 5 (02) : 142 - 156
  • [2] UML 2: A model-driven development tool
    Selic, B.
    [J]. IBM SYSTEMS JOURNAL, 2006, 45 (03) : 607 - 620
  • [3] Infrastructure as Runtime Models: Towards Model-Driven Resource Management
    Krikava, Filip
    Rouvoy, Romain
    Seinturier, Lionel
    [J]. 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS), 2015, : 100 - 105
  • [4] UML 2.0 & model-driven development
    Mats, L
    [J]. DR DOBBS JOURNAL, 2003, 28 (08): : 50 - +
  • [5] Tool-supported enhancement of diagnosis in model-driven verification
    Bakera, Marco
    Margaria, Tiziana
    Renner, Clemens D.
    Steffen, Bernhard
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (03) : 211 - 228
  • [6] A Formal Verification Tool for UML Behavioral Diagrams
    Rebelo dos Santos, Luciana Brasil
    Eras, Eduardo Rohde
    de Santiago Junior, Valdivino Alexandre
    Vijaykumar, Nandamudi Lankalapalli
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711
  • [7] Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
    Grigorjevs, Jurijs
    [J]. MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 26 - 35
  • [8] Model-driven software verification
    Holzmann, GJ
    Joshi, R
    [J]. MODEL CHECKING SOFTWARE, 2004, 2989 : 76 - 91
  • [9] Application Runtime Framework for Model-Driven Development
    Chondamrongkul, Nacha
    Hewett, Rattikorn
    [J]. SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 256 - +
  • [10] 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
12345