期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2012
卷号：46
期号：1
页码：461-470
出版社：Journal of Theoretical and Applied
摘要：The work presented in this paper is devoted to establish the theoretical model for the evaluation of the behavior of redefined methods in a subclass with the behavior of the original methods in the super-class using the inheritance mechanism. We analyze firstly, how a redefined method can use the specification of its corresponding method in the super-class. Secondly, we present the relationship between the test model of a redefined method in a subclass and the original method in a super-class. Our approach proposes a new concept which compares the behavior of methods, and gives the conditions where this comparison can induce a similar behavior.
关键词：Inheritance; Formal Specification; Conformity Test; Constraints Resolution; Valid Data; Invalid Data; Test Data Generation.
