Similar Behaviors and Conformity Testing In Inheritance for an Object Oriented Model
Journal: IADIS INTERNATIONAL JOURNAL ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (Vol.9, No. 1)Publication Date: 2014-02-19
Authors : Khalid Benlhachmi; Mohammed Benattou;
Page : 30-42
Keywords : Conformity test; constraints resolution; formal specification; inheritance; test data generation;
Abstract
The approach of this paper proposes a new concept of test which represents a way to compare the behaviors of methods in sub-classes and their original versions in the super-classes for an object oriented specification. The test process gives the conditions where the comparison can induce a similar behavior. The result of this test constitutes a solid basis to reuse the inherited specifications in the sub-classes for testing the conformity of overriding methods. The main objective of the proposed work is to find the relationship between the test model of an overriding method and its overridden method using the constraint propagation. Our approach shows that the conformity testing in sub-classes is based on the similarity testing between overriding and overridden methods. The implementation of this approach is based on a random generation of test data and analysis by formal proof.
Other Latest Articles
- Conflicts Between GEOXACML Access Control Policies In Geographic Information Systems
- A Model Transformation Approach for Code Generation From State Machine Diagram
- User Activities in Business Processes - A System-Based Analysis of Specialist Users
- Misalignment Symptom Analysis Based on Enterprise Architecture Model Assessment
- Connectivity, Simplification, and Performance Measurement: Guidelines for Business Process Strategists in Re-Engineering Projects
Last modified: 2016-02-20 00:47:10