中南大学学报(自然科学版)
中南大學學報(自然科學版)
중남대학학보(자연과학판)
JOURNAL OF CENTRAL SOUTH UNIVERSITY
2010年
1期
238-244
,共7页
类簇测试模型%用户解释集%匹配划分集%类间依赖关系%依赖集约简
類簇測試模型%用戶解釋集%匹配劃分集%類間依賴關繫%依賴集約簡
류족측시모형%용호해석집%필배화분집%류간의뢰관계%의뢰집약간
针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法.形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型.定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集.据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列.
針對類簇中類間依賴關繫以及類間消息交互產生的錯誤而導緻測試冗餘和測試遺漏的問題,提齣一種類間依賴集約簡的類簇測試用例生成算法.形式化定義瞭類間繼承依賴、聚集依賴和關聯依賴這3種依賴關繫,建立類簇測試模型.定義類簇模式和用戶(領域專傢)解釋集,併在用戶解釋集中依據每一箇類對象的若榦實例廣義相等建立等價類,得齣用戶解釋集冪集的1箇子集即匹配劃分集.據匹配消去算法求齣類的最大匹配集,證明該集閤就是所求類的最大非平凡非依賴集;提齣一種交互差組閤約簡算法,計算類的最大非平凡非依賴集的補集,約簡得到類的最小交疊集,併證明其就是類的最小非平凡依賴集,即類的組閤測試用例;對其中每一箇類的組閤元素進行組閤測試,併與其餘類交互測試,得齣類的交互測試序列.
침대류족중류간의뢰관계이급류간소식교호산생적착오이도치측시용여화측시유루적문제,제출일충류간의뢰집약간적류족측시용례생성산법.형식화정의료류간계승의뢰、취집의뢰화관련의뢰저3충의뢰관계,건립류족측시모형.정의류족모식화용호(영역전가)해석집,병재용호해석집중의거매일개류대상적약간실례엄의상등건립등개류,득출용호해석집멱집적1개자집즉필배화분집.거필배소거산법구출류적최대필배집,증명해집합취시소구류적최대비평범비의뢰집;제출일충교호차조합약간산법,계산류적최대비평범비의뢰집적보집,약간득도류적최소교첩집,병증명기취시류적최소비평범의뢰집,즉류적조합측시용례;대기중매일개류적조합원소진행조합측시,병여기여류교호측시,득출류적교호측시서렬.