Generation Method of Polymorphic Path Test Scenarios with OCL Constraints
Hong Hao · Jisuanji gongcheng · 2013
As the Unified Modeling Language(UML) can not describe the system model accurately and single model can only describe the system information from one level,it makes the polymorphism test incomplete.Therefore,it puts forward a method of polymorphic path test clues generation with Object Constraint Language(OCL) constraints.By adding OCL constraints into class diagram,taking into account the influence on testing caused by polymorphism of the class diagram and combining with UML class diagram,state diagram,as well as collaboration diagram,it designs the Inter-messages Restricted Control Flow Graph(MRCFG) under the OCL constraint,which includes the information of polymorphism and state.The test clues is generated by employing MRCFG path coverage criteria.The prototyping tool based on the above mentioned theory is realized,and proves this method enhances the degree of testing automation,and generated polymorphic test scenarios is more complete.