10.3969/j.issn.1000-3428.2013.08.019
带OCL约束的多态路径测试线索生成方法
统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备.为此,提出一种带OCL约束的多态路径测试线索生成方法.通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索.通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备.
统一建模语言、对象约束语言、多态性、协作图、消息间受限控制流图、测试线索
39
TP311(计算技术、计算机技术)
2013-11-22(万方平台首次上网日期,不代表论文的发表时间)
共6页
92-96,102