The Strong Object Invariant
Journal Title: TEM JOURNAL - Year 2012, Vol 1, Issue 1
Abstract
The concept of an invariant is fundamental to object-oriented programming, because it provides information on the overall behaviour of the class and/or its objects. An invariant is a predicate, that is true in every state that is proclaimed as valid. A strong invariant is a predicate, that is true in every valid state and false in every invalid state. Basically, we can divide them into two categories: object invariants and class invariants. Object invariants describe the consistency of object, i.e. non-static fields. Analysis of invariants takes the most important place in object-oriented program verification and can be directed in two ways – as prescribed and as described. This paper considers both analyses which are based on the strongest dynamic postconditions of methods with the guard as the precondition, thus, determining all possible transitions and only them. In addition, since dynamic postconditions are logical functions of the initial-final states, our solution is based solely on the first-order predicate logic.
Authors and Affiliations
Dusan Malbaski, Aleksandar Kupusinac
Keywords
Related Articles
- EP ID EP103258
- DOI -
- Views 183
- Downloads 0
Measuring Algorithms Performance in Dynamic Linked List and Arrays
The focus of the research is on investigating the organization and structure of a list of data in order to find more efficient algorithmic solution. The aim of the realised experiment was to analyze, compare and measure...
Specific Pressure and Mechanical Properties of the Alternator Flange from EN AC 47100 Alloy in HPDC Technology
The technology HPDC (High Pressure Die Casting) of metals represents accurate casting which approximates the most ideal effort of direct change of basic material to finished product. The die casting itself is chara...
Advantages of MAG-STT Welding Process for Root Pass Welding in the Oil and Gas Industry
This paper describesthe basics of modern MAG-STT welding process and its advantages for root pass welding of construction steels in oil and gas industry. MAG-STT welding process was compared with competitive arc we...
The Turnover of Transportation Companies in the European Countries of the Former Eastern Bloc before and after the Economic Crisis
The purpose of this paper is to analyze the key indicators of transportation companies, with emphasis on turnover of enterprises, in the Central and Eastern Europe (CEE), or of new European Union (EU) states before...
Software System for Finding the Incipient Faults in Power Transformers
In this paper a new software system for finding of incipient faultsis presented.An experiment is made with real measurement of partial discharge(PD) that appeared in power transformer. The software system usesacqui...