基于类间依赖集约简类簇测试用例生成算法.pdfVIP

第 41 卷第 1 期 中南大学学报( 自然科学版) Vol.41 No.1 2010 年 2 月 Journal of Central South University (Science and Technology) Feb. 2010 基于类间依赖集约简的类簇测试用例生成算法 龚红仿1，李军义2 (1. 长沙理工大学 数学与计算科学学院，湖南 长沙，410076； 2. 湖南大学 计算机与通信学院，湖南 长沙，410082) 摘 要：针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题，提出一种类 间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这 3 种依赖关系，建 立类簇测试模型。定义类簇模式和用户(领域专家)解释集，并在用户解释集中依据每一个类对象的若干实例广义 相等建立等价类，得出用户解释集幂集的 1 个子集即匹配划分集。据匹配消去算法求出类的最大匹配集，证明该 集合就是所求类的最大非平凡非依赖集；提出一种交互差组合约简算法，计算类的最大非平凡非依赖集的补集， 约简得到类的最小交叠集，并证明其就是类的最小非平凡依赖集，即类的组合测试用例；对其中每一个类的组合 元素进行组合测试，并与其余类交互测试，得出类的交互测试序列。 关键词：类簇测试模型；用户解释集；匹配划分集；类间依赖关系；依赖集约简 中图分类号：TP311.5 文献标志码：A 文章编号：1672−7207(2010)01−0238−07 Generating test cases of cluster-level based on classes dependencies reduction 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