首页 > 《岭南师范学院学报》 > 2018年3期 > 基于代数规约的Web服务测试工具

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

在线阅读下载PDF 导出详情

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

DOI pj0kp32v4y/1860303

作者刘宇欣;王国民;周秋霞

机构地区不详

出处《岭南师范学院学报》 2018年3期

关键词代数规约 WEB服务测试测试自动化

分类 [文化科学][教育学]

出版日期 2018年03月13日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1刘冉. 如何选择服务器性能测试工具.计算机软件与理论,2013-07.
2王成飞. 大数据基准测试流程与测试工具.,2022-11.
3李凯. 软件测试方法与自动化测试工具.建筑技术科学,2023-10.
4吴小欣. 软件测试工具分析与质量改进.计算机软件与理论,2014-12.
5庄明之. 测试工具耐压强度设计计算.地质矿产勘探,1990-04.
6潘磊,侯永涛,赵国瑞. 基于 gSOAP工具实现的通信机房动环监控 B接口协议测试工具.建筑技术科学,2020-09.
7. 思博伦推出ThreatEx安全测试工具.产业经济,2006-03.
8孙昇智1任法德2梁涛3张庆吉4薛涛5. MFE地层测试工具常见问题分析.工程地质学,2019-10.
9罗运华;祁连勇;等. 防砂井油层剖面测试工具简介.地质矿产勘探,2000-03.
10李君持. 浅谈自动化功能测试工具RFT.职业技术教育学,2012-01.

来源期刊

岭南师范学院学报

2018年3期

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

来源期刊

相关推荐

同分类资源更多

相关关键词

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

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多