期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于形式化方法的服务自动测试方法
1
作者
张迎周
符炜
张卫丰
《系统工程与电子技术》
EI
CSCD
北大核心
2013年第12期2619-2630,共12页
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反...
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
展开更多
关键词
WEB服务
测试
测试用例表示
测试
数据自动
测试
单子技术
余代数方法
在线阅读
下载PDF
职称材料
题名
基于形式化方法的服务自动测试方法
1
作者
张迎周
符炜
张卫丰
机构
南京邮电大学计算机学院
桂林电子科技大学广西可信软件重点实验室
江苏省无线传感网高技术研究重点实验室
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2013年第12期2619-2630,共12页
基金
国家自然科学基金(60873049
61300054)
+4 种基金
江苏省自然科学基金(BK2009426)
江苏省高校自然科学基金(10KJB520015)
南京邮电大学攀登计划项目基金(NY210009)
江苏省"青蓝工程"优秀青年骨干教师以及高校研究生科研创新计划项目(CXLX12_0479)
广西可信软件重点实验室开放基金(PF13069)资助课题
文摘
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
关键词
WEB服务
测试
测试用例表示
测试
数据自动
测试
单子技术
余代数方法
Keywords
Web service testing
test case description
test data auto-generation
monad technology
coal-gebraic method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于形式化方法的服务自动测试方法
张迎周
符炜
张卫丰
《系统工程与电子技术》
EI
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
