-
题名带OCL约束的多态路径测试线索生成方法
- 1
-
-
作者
曾一
刘青香
王翠钦
洪豪
-
机构
重庆大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
2013年第8期92-96,102,共6页
-
文摘
统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。
-
关键词
统一建模语言
对象约束语言
多态性
协作图
消息间受限控制流图
测试线索
-
Keywords
Unified Modeling Language（UML）
Object Constraint Language（OCL）
polymorphism
collaboration diagram
inter-messages restricted control flow graph（mrcfg）
test scenarios
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
