ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

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:

Authors : ; ;

Page : 30-42

Keywords : Conformity test; constraints resolution; formal specification; inheritance; test data generation;

Source : Downloadexternal Find it from : Google Scholarexternal

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.

Last modified: 2016-02-20 00:47:10