TY  - JOUR
ID  - SisLab116
UR  - http://www.worldscientific.com/doi/abs/10.1142/S0218194011005281
IS  - 04
A1  - Nguyen, Thu Trang
A1  - Truong, Ninh Thuan
A1  - Nguyen, Viet Ha
Y1  - 2011/06/01/
N2  - 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: http://www.worldscientific.com/doi/abs/10.1142/S0218194011005281
JF  - International Journal of Software Engineering and Knowledge Engineering
VL  - 21
TI  - Verifying Java Object Invariants at Runtime
SP  - 605
AV  - none
EP  - 619
ER  -