A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming

In this paper, the authors present an approach for extending the constraint model defined for conformity testing of a given method of class to its overriding method in subclass using inheritance principle. The first 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. In this paper, the approach shows that the test cases developed for testing an original method can be used for testing its overriding method in a subclass and then the number of test cases can be reduced considerably.

Provided by: Ibn Tofail University Topic: Security Date Added: Apr 2013 Format: PDF

Download Now

Find By Topic