搜索到2470 篇“ WEB服务测试 “的相关文章
基于代数规约的Web服务 测试 执行方法 服务 测试 执行方法，在使用单线测试 技术生成Web服务 测试 序列的基础上，首先对测试 序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务 请求，则调用相应远程...一种面向用户目标的语义Web服务 测试 数据生成方法 服务 测试 数据生成方法。与其他语义Web服务 模型相比，WSMO最大的特点是分离了用户目标和Web服务 。由于其描述语言WSML较新，缺乏相应的测试 验证工具，直接从WSMO...基于代数规约的Web服务 测试 执行方法 服务 测试 执行方法，在使用单线测试 技术生成Web服务 测试 序列的基础上，首先对测试 序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务 请求，则调用相应远程...文献传递 一种基于USB网卡技术的独立Web服务 测试 设备 服务 测试 设备，包括界面信息采集模块、鼠标键盘数据发生模块、ORC识别模块和测试 流程设计和控制软件。该设备同过USB总线与目标测试 服务 器相连接。用户通过测试 流程设计和控制软件设...文献传递 Web服务 测试 方法和装置 服务 测试 方法和装置，包括：在接收到目标测试 地址为本机地址的测试 指令时，获取测试 指令中的测试 参数，并确定测试 指令对应的类名、接口名、待测试 服务 信息和待测试 服务 版本号；其中，待测试 服务 信息包括：待测试 服务 ...文献传递 约束覆盖导向的Web服务 测试 数据生成 2019年 服务 广泛应用于复杂信息系统的构建.为了保证Web服务 的质量,目前已有大量的工作致力于Web服务 测试 技术的研究,其中,基于规约的测试 已被证明是有效的,且易于使用,但现有的基于规约的Web服务 测试 方法很难生成高覆盖率的测试 数据,也不能为具有复杂关联关系的变量生成测试 数据.为此,针对Web服务 的测试 数据生成问题,本文提出了一种基于规约约束的新方法,使用一阶逻辑公式表示服务 输入参数之间的约束,可以处理不同参数之间各种复杂的关联关系,并使用Z3约束求解器为服务 输入自动生成数据;然后,提出了几种规约约束级测试 覆盖准则,并以此为基础提出了新的Web服务 测试 数据生成算法.最后,通过测试 两个典型的Web服务 ,证明本文提出的方法能够生成覆盖率较高的测试 集,并且具有较高的生成效率.关键词：WEB服务 规约测试 测试数据生成 Z3 面向Web服务 测试 的单线执行序列生成方法 被引量：2 2019年 测试 用例自动生成是实现Web服务 自动化测试 的关键,基于代数规约的传统测试 技术均依赖于创建、初始化和复制被测对象等操作来验证测试 结果的正确性,但第三方Web服务 并不支持这些操作,无法将测试 用例转换成可执行操作序列。一种可行的解决方案是将测试 用例转换成只包含一个被测服务 实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试 执行图TEG-I来描述测试 用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试 用例生成,提高Web服务 的可测试 性。关键词：WEB服务 代数规约 一种面向用户目标的语义Web服务 测试 数据生成方法 服务 测试 数据生成方法。与其他语义Web服务 模型相比，WSMO最大的特点是分离了用户目标和Web服务 。由于其描述语言WSML较新，缺乏相应的测试 验证工具，直接从WSMO...文献传递 基于代数规约的Web服务 测试 工具 2018年 服务 测试 ,开发了自动化测试 工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了基于代数规约的自动化测试 方法是简单可行的.关键词：代数规约 WEB服务测试 测试自动化 基于代数规约的Web服务 测试 用例生成技术研究 测试 用例自动生成是实现Web服务 自动化测试 的关键，基于代数规约的传统测试 技术均依赖于创建、初始化和复制被测对象等操作来验证测试 结果的正确性，但第三方Web服务 并不支持这些操作，无法保证将测试 用例转换成可执行操作序列。一种...关键词：WEB服务 代数规约
相关作者
张卫丰 作品数：200 被引量：564 H指数：11 供职机构：南京邮电大学 研究主题：用户 钓鱼 代码 远程打印 搜索引擎 符炜 作品数：23 被引量：5 H指数：2 供职机构：南京邮电大学 研究主题：网络服务 WEB服务 文档 单子 测试用例 蒋乃乾 作品数：3 被引量：0 H指数：0 供职机构：合肥工业大学 研究主题：WSDL WEB服务测试 自动生成方法 WEB服务 测试数据 张迎周 作品数：261 被引量：75 H指数：5 供职机构：南京邮电大学计算机学院 研究主题：程序切片 高阶函数 切片 代码 语句 许德正 作品数：2 被引量：6 H指数：1 供职机构：清华大学信息科学技术学院计算机科学与技术系 研究主题：WEB服务测试 WEB服务 AGENT技术 AGENT 多AGENT系统
