带OCL约束的多态路径测试线索生成方法  

Generation Method of Polymorphic Path Test Scenarios with OCL Constraints

作　　者：曾一[1] 刘青香[1] 王翠钦[1] 洪豪[1] 

机构地区：[1]重庆大学计算机学院,重庆400030

出　　处：《计算机工程》2013年第8期92-96,102,共6页Computer Engineering

摘　　要：统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。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.

关 键 词：统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]