一种类间交互测试的约束型标记驱动Petri网模型

作     者：龚红仿 李军义 GONG Hong-fang;LI Jun-yi

作者机构：长沙理工大学数学与计算科学学院湖南长沙410004 湖南大学计算机与通信学院湖南长沙410082 

基　　金：国家自然科学基金项目(10871031)资助 湖南省科技计划项目(2008CK3075)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2010年第31卷第6期

页      码：1185-1189页

摘      要：面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).

主 题 词：类间交互测试 对象活跃点 对象连接子 分支冲突 标记-变迁路径 约束型标记驱动Petri网 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203804008...