On the Validation of Invariants at Runtime

被引：0
|
作者：
Kosiuczenko, Piotr [1 ]
机构：
[1] WAT, Inst Informat Syst, PL-00908 Warsaw, Poland
来源：
FUNDAMENTA INFORMATICAE | 2013年 / 125卷 / 02期
关键词：
OCL; contracts; invariant validation; framing; optimization; SPECIFICATION;
D O I：
10.3233/FI-2013-859
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paradigm of contractual specification provides a transparent way of specifying object-oriented systems. In this paradigm, system consistency is specified using so-called invariants. Runtime validation of invariants is a complex problem. Existing validation methods require either exhausting validation of an invariant for all objects of the corresponding class or the use of restrictive type systems. In this paper a non-exhaustive method of invariant validation is proposed. It is proved that the method is sound and an implementation of this method is discussed. It is shown also how to extract context free languages corresponding to OCL-invariants.
引用
收藏
页码：183 / 222
页数：40
相关论文
共 50 条
  • [21] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
    Mallozzi, Piergiuseppe
    Castellano, Ezequiel
    Pelliccione, Patrizio
    Schneider, Gerardo
    Tei, Kenji
    2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2019), 2019, : 5 - 12
  • [22] Synthesis of Program Binaries into FPGA Accelerators with Runtime Dependence Validation
    Cheng, Shaoyi
    Huang, Qijing
    Wawrzynek, John
    2017 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY (ICFPT), 2017, : 96 - 103
  • [23] Runtime Validation of Memory Ordering Using Constraint Graph Checking
    Chen, Kaiyu
    Malik, Sharad
    Patra, Priyadarsan
    2008 IEEE 14TH INTERNATIONAL SYMPOSIUM ON HIGH PEFORMANCE COMPUTER ARCHITECTURE, 2008, : 385 - +
  • [24] Automatic runtime validation and correction of the navigational design of web sites
    Casteleyn, S
    Garrigós, I
    De Troyer, O
    WEB TECHNOLOGIES RESEARCH AND DEVELOPMENT - APWEB 2005, 2005, 3399 : 453 - 463
  • [25] Exploiting design patterns to automate validation of class invariants
    Malloy, Brian A.
    Power, James F.
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2006, 16 (02): : 71 - 95
  • [26] Automated validation of class invariants in C++ applications
    Gibbs, TH
    Malloy, BA
    Power, JF
    ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 205 - 214
  • [27] Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems
    Zhai, Jiannan
    Sridhar, Nigamanth
    Hallstrom, Jason O.
    RUNTIME VERIFICATION, RV 2014, 2014, 8734 : 108 - 123
  • [28] Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems
    Lahami, Mariam
    Krichen, Moez
    2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 377 - 382
  • [29] Supporting the specification and runtime validation of asynchronous calling patterns in reactive systems
    1600, Springer Verlag (8734):
  • [30] Incremental specification validation and runtime adaptivity of distributed component information systems
    Aoumeur, Nasreddine
    Barkaoui, Kamel
    Saake, Gunter
    CSMR 2007: 11TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS: SOFWARE EVOLUTION IN COMPLEX SOFTWARE INTENSIVE SYSTEMS, 2007, : 123 - +
12345