首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于类间依赖集约简的类簇测试用例生成算法
引用本文:龚红仿,李军义.基于类间依赖集约简的类簇测试用例生成算法[J].中南大学学报(自然科学版),2010,41(1).
作者姓名:龚红仿  李军义
作者单位:1. 长沙理工大学,数学与计算科学学院,湖南,长沙,410076
2. 湖南大学,计算机与通信学院,湖南,长沙,410082
基金项目:国家自然科学基金资助项目,湖南省科技计划项目 
摘    要:针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。

关 键 词:类簇测试模型  用户解释集  匹配划分集  类间依赖关系  依赖集约简

Generating test cases of cluster-level based on classes dependencies reduction
GONG Hong-fang,LI Jun-yi.Generating test cases of cluster-level based on classes dependencies reduction[J].Journal of Central South University:Science and Technology,2010,41(1).
Authors:GONG Hong-fang  LI Jun-yi
Institution:GONG Hong-fang1,LI Jun-yi2 (1. College of Mathematic & Computing Science,Changsha University of Science & Technology,Changsha 410076,China,2. College of Computer & Communication,Hunan University,Changsha 410082,China)
Abstract:To resolve the problem of redundancy and pretermission in the cluster-level testing due to errors of classes dependency relationship and classes message interaction, an algorithm for generating test cases of cluster-level based on classes dependencies reduction was proposed. Three classes dependency relations, i.e., inheritance dependency, aggregation dependency and association dependency, were defined by using the method for formalization, and a test model for cluster-level was constructed. An equivalence ...
Keywords:cluster-level test model  user interpretation set  matching partition set  classes dependency relation  reduction dependency set  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号