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

第39 卷 第8 期 计 算 机 工 程 2013 年8 月 Computer Engineering August 2013 Vol.39 No.8 文献标识码文献标识码：：A 文献标识码文献标识码：： 中图分类号中图分类号：：TP311 文章编号文章编号：：1000——3428(2013)08——0092——05 中图分类号中图分类号：： ·体系结构与软件技术·体系结构与软件技术 ·· 文章编号文章编号：： —— —— —— ··体系结构与软件技术体系结构与软件技术·· 带带 约束的多态路径测试线索生成约束的多态路径测试线索生成方法方法 带带 约束的多态路径测试线索生成约束的多态路径测试线索生成方法方法 OCL 曾曾 一，一，刘青香刘青香，王翠钦，王翠钦，洪，洪 豪豪 曾曾 一一，，刘青香刘青香，，王翠钦王翠钦，，洪洪 豪豪 (重庆大学计算机学院，重庆 400030) 摘摘 要：要：统一建模语言(UML)无法精确描述系统模型，只能从某一层面描述系统信息，从而导致基于UML 模型的多态测试不完备。 摘摘 要要：： 为此，提出一种带OCL 约束的多态路径测试线索生成方法。通过在类图中加入OCL 约束信息，考虑类图中多态性对测试的影响， 结合UML 类图、状态图及协作图，设计并构造OCL 约束下包含多态和状态信息的消息间受限控制流图(MRCFG) ，应用唯一MRCF 路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索，从而证明该方法提高了测试的自动化程度， 并且生成的多态测试线索更完备。 关键词关键词：：统一建模语言；对象约束语言；多态性；协作图；消息间受限控制流图；测试线索 关键词关键词：： Generation Method of Polymorphic Path Test Scenarios with OCL Constraints ZENG Yi, LIU Qing-xiang, WANG Cui-qin,