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

• 作者: 刘青香 曾一 洪豪 王翠钦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 92-96,102
• 页数: 6页
• 分类号: TP311
• 字数: 5971字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.08.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机学院	76	855	14.0	25.0
2	洪豪	重庆大学计算机学院	3	22	2.0	3.0
3	刘青香	重庆大学计算机学院	4	22	3.0	4.0
4	王翠钦	重庆大学计算机学院	4	23	3.0	4.0