基于代数规约的Web服务测试工具

来源 :岭南师范学院学报 | 被引量 : 0次 | 上传用户：xiaobeisc

【摘要】

：

代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT（Algebraic Specification

【作者】

：

刘宇欣王国民周秋霞

【机构】

：

岭南师范学院信息工程学院

【出处】

：

岭南师范学院学报

【发表日期】

：

2018年3期

【关键词】

：

代数规约 WEB服务测试测试自动化 algebraic specification web service testing automatic test

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT（Algebraic Specifications Based Automatic Testing）,并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.

其他文献

淮北平原西部孔隙承压水盆地限采效果预测

对地下水超采实行限采是水资源管理的重要工作内容,而对限采效果的预测,将有助于限采方案的顺利实施;文章以安徽淮北平原西部孔隙承压水盆地为例,利用承压水流系统的数值模拟

期刊

孔隙承压水开采状态限采方案水位预测porous confined groundwater actual development pumping-li

用于三维主动视觉传感的投影系统的光学设计

通过投影系统将编码图片投射到物体的表面,然后再用CCD接收被测物体表面调制的图形,从而得到物体三维信息。文章叙述了投影系统的原理和结构,并对投影系统进行了外形尺寸计算

期刊

投影系统光学设计像质

软岩巷道围岩指数蠕变模型流变分析

焦作矿区古汉山煤矿的采矿条件为软弱围岩的深部巷道，变形大且持久，给巷道支护及维护带来很大困难，严重影响生产。该文根据古汉山煤矿现场地质资料和岩石的相关实验参数，利用FLAC

期刊

FLAC软岩巷道围岩蠕变Fast Lagrangian Analysis of Continua（FLAC） soft rock tunnel

用Excel准确快速计算生料配方

直接采用原、燃料分析数据和生料热耗值，利用Excel电子报表软件，准确、快速计算生料配方。

期刊

EXCEL计算配方

鲤鱼方便食品的加工工艺研究

鲤鱼是我国主要的淡水鱼类品种，生长快、养殖成本低，随着养殖技术的不断进步，水产品产量大幅度提高，大多数地区在每年的10月到春节期间大量上市，出现商品鱼供过于求，而引起鱼价大幅

期刊

方便食品加工方法鲤鱼工艺研究水产品产量养殖技术鱼类品种春节期间大幅度成本低

罗非鱼与南美白对虾混养技术

在南方沿海地区，拥有丰富的半咸水资源，加之受季节影响水体盐度差异很大（在7月-9月间雨水充沛时水体盐度几乎接近于0），因而在养殖南美白对虾的同时除混养鲢、鳙、鲫等常规鱼类以外

期刊

南美白对虾混养技术罗非鱼水体盐度养殖模式沿海地区咸水资源常规鱼类经济效益

对某车型悬置系统振动传递率分析

设置在汽车底盘与发动机之间的悬置连接件是起双重隔振作用的重要部件。文章对某车型新搭载的动力总成与新悬置系统进行匹配后,根据测试各悬置点隔振垫前后的三维振动加速度,

期刊

悬置振动传递率mount vibration transmitting efficiency

漠斑牙鲆亲鱼养成中主要病害的防治

漠斑牙鲆分布于北卡州到佛罗里达州北部的大西洋沿岸以及佛罗里达州南部海湾直到德克萨斯州南部海峡沿岸；漠斑牙鲆在佛罗里达州的自然分布有两个种群，其分布在36‰盐水、半成水

期刊

漠斑牙鲆亲鱼佛罗里达州防治病害德克萨斯州自然分布淡水水域大西洋盐水

抱佛脚

"闲时不烧香,忙时走来抱佛脚!"(67) 此语与书中"旋捏佛旋烧香"义近,有临阵磨抡之势。褚人获《坚瓠二集》栽"王荆公嗜谐谊,一日论沙门道,因曰:‘投老欲依僧;’客遽曰:‘急则抱

期刊

闲时古诗忙时云南犯罪俗谚悔过

化学探究实验教学与学生创新能力培养

本文主要介绍什么是探究实验教学以及进行探究性实验教学对教师有哪些要求。阐明了什么是创新能力以及在激励学生进行实验设计、鼓励学生动手做实验、开展探索性实验过程中是

期刊

化学探究实验教学创新能力

基于代数规约的Web服务测试工具

与本文相关的学术论文