接口变异

作品数:7被引量:20H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:冯莉张美花宋雨陈卫东潘云鹤更多>>
相关机构:华北电力大学昆明理工大学西安体育学院广东工业大学更多>>
相关期刊:《电脑知识与技术》《计算机应用》《计算机科学》《浙江大学学报(工学版)》更多>>
相关基金:国家自然科学基金河南省自然科学基金湖北省自然科学基金国防科技技术预先研究基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-6
视图:
排序:
运用切片技术和模型检验进行构件接口测试
《电脑知识与技术(过刊)》2015年第1X期211-214,共4页龙庆 王璠 
为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java...
关键词:模型检验 接口变异 切片技术 功能依赖图 
基于变异的Web复合服务测试数据选择方法被引量:2
《计算机应用》2011年第9期2444-2448,共5页张美花 姜瑛 
国家自然科学基金资助项目(60703116;61063006);云南省教育厅科学研究基金重点项目(2010Z017)
Web服务集成测试的测试数据数量巨大,影响了测试的质量和效率。提出一种基于变异技术的Web复合服务测试数据选择方法,根据BPEL(Business Process Execution Language)文档获取复合服务的路径集,采用接口变异算子和路径变异算子生成变异...
关键词:WEB服务 集成测试 接口变异 路径变异 测试数据选择 
面向构件接口变异的模型检验技术研究被引量:1
《电脑知识与技术(过刊)》2010年第3X期1954-1956,共3页张侹 王璠 韩柯 欧阳志强 
随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的...
关键词:模型检验 变异测试 接口交互 Java Pathfinder 
接口变异在构件测试中的应用研究
《电脑知识与技术》2010年第5期3561-3563,共3页刘长有 管贤春 
对于构件使用者来说,源代码的不可得性决定了测试构件需要从构件的接口层面上进行。文章首先介绍了变异测试和遗传算法的概念;接着将遗传算法运用到构件接口变异上,通过变异测试过程获取有效而充分的测试用例,进而对构件进行测试;最后...
关键词:构件测试 接口变异 遗传算法 
基于XMLAPI的组件扩展接口变异测试方法被引量:4
《计算机科学》2008年第6期283-286,共4页聂南 谢晓东 甘勇 卢炎生 
国防预研基金(51315061);中国湖北省自然科学基金(2005ABA266);河南省自然科学基金(0611054800)
在传统的组件接口变异测试方法基础上,提出一种基于XML API的组件扩展接口变异测试方法。首先给出组件扩展接口测试的框架,建立起扩展接口的定义模型。XML API在组件内部建立处理数据集的XML校验器,实现了原组件接口的扩展。借助组件外...
关键词:组件测试 XML API 接口变异 XML SCHEMA 变异算子 
基于扩展WSDL变异的Web服务测试方法被引量:6
《计算机应用》2007年第7期1725-1728,1731,共5页陈佳蕊 蔡国永 
提出一种基于扩展WSDL变异的Web服务测试方法,并设计算法,自动产生变异后的WSDL文件。为了产生Web服务的接口变异,该测试方法在扩展WSDL文档中应用变异算子,从而能够测试出WSDL文档中的定义错误以及Web服务中的逻辑错误。最后通过一个...
关键词:WEB服务 变异测试 接口变异 扩展WSDL 
检索报告 对象比较 聚类工具 使用帮助 返回顶部