VNU-UET Repository

Verifying Java Object Invariants at Runtime

Nguyen, Thu Trang and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Verifying Java Object Invariants at Runtime. International Journal of Software Engineering and Knowledge Engineering, 21 (04). pp. 605-619.

Full text not available from this repository.


An object invariant consisting of a set of properties that must hold for all instances of a class at any time is usually used in object-oriented design. However, verifying object invariants at runtime is always a challenging task in software verification. This paper proposes a method for verifying invariants of Java objects at runtime using AOP. Suppose that a software application is designed using UML models and its constraints are specified in OCL expressions, the software is then implemented, by default, using the UML design. They propose to construct verifiable aspects which are automatically generated from OCL constraints. These aspects can be woven into Java code to check whether object invariants are violated at runtime. Benefiting from AOP in separation of crosscutting concerns and weaving mechanisms, generated aspects can do the verification task whenever values of objects' attributes are changed. A Verification Aspect Generator (VAG) tool has been developed allowing the automatic generation of verifying aspects from the UML/OCL constraints. Read More:

Item Type: Article
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Ms. Cam Le Tran Thi
Date Deposited: 09 Jan 2013 07:03
Last Modified: 20 May 2016 09:23

Actions (login required)

View Item View Item