You can reenter the IT workforce or change technical specialties. Be prepared to start at the bottom, work long hours, and risk being elbowed aside initially.
You can reenter the IT workforce or change technical specialties. Be prepared to start at the bottom, work long hours, and risk being elbowed aside initially.
A software system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. As open-ended distributed systems and mobile computing systems have spread widely, the need for software ...
详细信息
object Behavior Logic (OBL) is proposed in this paper to specify object-oriented system behavior. An inference engine is introduced for verifying the consistency of the systems based on the specification in OBL. OBL u...
详细信息
object Behavior Logic (OBL) is proposed in this paper to specify object-oriented system behavior. An inference engine is introduced for verifying the consistency of the systems based on the specification in OBL. OBL uses the paradigms of state machine to catch the dynamic aspect of object-oriented systems in formal specification, plus the features of object-oriented concepts such as inheritance, instantiation, and so forth, which specialize the unique object-oriented techniques from the function-oriented techniques.
Traditional testing techniques often overlook object-oriented faults that are either caused by inheritance and/or polymorphism features or are introduced in object management. We present an object-flow based testing s...
详细信息
Traditional testing techniques often overlook object-oriented faults that are either caused by inheritance and/or polymorphism features or are introduced in object management. We present an object-flow based testing strategy that utilizes two object-flow coverage criteria-all-bindings and all-du-pairs-in testing object-oriented programs. The all-bindings criterion takes inheritance and polymorphism features into account to ensure that every binding of every object is exercised under some test. The all-du-pairs criterion is applied to monitor the behavior of every object during its lifetime by keeping track of where the object is defined and where such definition is referenced. These object-flow coverage criteria can be used to develop test cases that are able to trigger object-oriented faults. Furthermore, an integrated approach that incorporates the object-flow based testing strategy with traditional testing techniques as well as state-based testing technique is introduced. The results of our empirical study conducted on three industrial systems show that with this approach the reliability of the systems can be improved significantly and at least 80% of the maintenance cost can be reduced.
Several reflective architectures have attempted to improve meta-object reuse by supporting composi tion of metaobjects, but have done so using limited mechanisms such as Chains of Responsibility. We advocate the adopt...
详细信息
Classes in object-oriented programs can be specified using assertions, specifically, preconditions and postconditions on individual methods and invariants on whole classes. Such assertions can be seen as forming a con...
详细信息
Classes in object-oriented programs can be specified using assertions, specifically, preconditions and postconditions on individual methods and invariants on whole classes. Such assertions can be seen as forming a contract between a class and its client classes and, by extension, between the developers of a class and the developers of client classes. In some programming environments, the contracts can be checked at runtime. A published method of devising contracts is applied to a small framework based on the observer pattern, raising a number of problems of writing contracts for a set of collaborating classes, rather than for individual classes such as those found in data structure libraries. As well as providing an example of tackling such problems, the paper identifies desirable extensions to the method of devising contracts, to address aspects of: Performance (keeping the run-time cost of evaluating preconditions low);privacy (ensuring that one client of a class cannot discover the identities of other clients);extensibility (allowing subclasses to weaken preconditions without invalidating existing postconditions, and allowing subclasses to adopt different frame rules);and kinds of constraints (distinguishing physical and logical constraints).
Path traversals have been recognized as one of the strengths of object-oriented query processing as object retrieval can be carried out through pointer navigation. Apart from path traversals, explicit join between obj...
详细信息
Path traversals have been recognized as one of the strengths of object-oriented query processing as object retrieval can be carried out through pointer navigation. Apart from path traversals, explicit join between objects is sometimes necessary in object-oriented Databases (OODB), due to the absence of pointer connections or the need for value matching between objects. Like in Relational Databases (RDBMS), join operations are still, if not more, expensive in OODB. In this paper, we propose an optimization strategy for object-oriented collection join queries through the use of path traversals. Our performance evaluation shows that optimization of collection join queries gains some performance benefits.
Generic classes allow, through type parameters instantiation, to obtain new classes adapted to different contexts. Therefore, genericity is an important support for class reuse. When the possibility of reusing a class...
详细信息
Information has been requested on various numerical algorithms applicable to particular instrumentation or measurement problems. Partially as a result of those requests, we have initiated this column as a venue for pr...
详细信息
Information has been requested on various numerical algorithms applicable to particular instrumentation or measurement problems. Partially as a result of those requests, we have initiated this column as a venue for presenting some numerical methods generally useful to I&Mers. We will begin covering the foundation topics in a systematic manner using an informal mix of English and pseudocode. We have chosen to illustrate most of our example code in the C programming language.
Population balance models that are based on the mechanisms of nucleation, coalescence and layering have been incorporated into a dynamic simulator for balling circuits. The resulting object-oriented software package, ...
详细信息
暂无评论