Checking Behavioral Compatibility between Objects by Extending the Methods Rule

摘要: Behavioral compatibility between subtypes and supertypes in object-oriented systems is a very important issue to enable the substitution object types since it supports extension evolution of an oriented system. In other words, subtype must be guaranteed that can provide all behaviors (operations) supertype for replacing with subtype. Invocation consistency checking one techniques verify behavioral two types. The technique confirms weather type accept sequence operations or not. classical methods rule checks by verifying invocation argues meet if subtypes' preconditions inherited are weakened postconditions strengthened. Noting not sufficient objects, we propose extended on basis rule. Based proposed rule, have implemented tool, BCCT, automatically check objects.