TENDENCIES IN VERIFYING OBJECT- ORIENTED SOFTWARE
Pompiliea Cozma · 2007
The goal of this paper is to investigate the main approaches to the concept of object-oriented systems verification, namely: - the adaptation of the classic technique to the context of new technologies of analysis, design and programming (object-oriented) - applying the specific characteristics of the context of the new technologies (analysis, design and programming) in order to get new techniques. Some considerations regarding the checking approaches to the aspect-oriented programming (AOP) whose defining characteristic is the moment, depending on the woven program, are also taken into account, when the systems verification is completed. 1. PRELIMINARY Systems verification was developed at the same time with the projection and programming techniques which became in a short time a concept. The complexity of systems verification determined a new checking technique based on new data. Throughout the development of a project steps were established (analysis, projection and programming) and for all these the methodology was settled. Among these methodologies the object oriented software has the capability to resolve systems complexity (the main problem of the new systems).