基于形式化方法的服务自动测试方法

发布时间：2018-03-29 00:34

本文选题：Web服务测试　切入点：测试用例表示　出处：《系统工程与电子技术》2013年12期

【摘要】：鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
[Abstract]:In view of the fact that Web service entities in an open network environment mainly come from different third-party providers, and their formation and operation are often in a state of evolution. Therefore, it is difficult to adopt the traditional test method to ensure its reliability. The system and its properties are investigated from the viewpoint of "observation" by algebraic method, and the highly associative, reflective and reusability of the singleton are combined. The properties of Web services related activities are described and tested uniformly. The formal description and automatic production of Web service test cases based on single subsets are studied, as well as the design and implementation of service test lists. The purpose of this paper is to solve the dynamic flexibility and composition reusability of Web service testing to some extent.
【作者单位】：南京邮电大学计算机学院;桂林电子科技大学广西可信软件重点实验室;江苏省无线传感网高技术研究重点实验室;
【基金】：国家自然科学基金(60873049,61300054) 江苏省自然科学基金(BK2009426) 江苏省高校自然科学基金(10KJB520015) 南京邮电大学攀登计划项目基金(NY210009) 江苏省“青蓝工程”优秀青年骨干教师以及高校研究生科研创新计划项目(CXLX12_0479) 广西可信软件重点实验室开放基金(PF13069)资助课题
【分类号】：TP393.09

【参考文献】

相关期刊论文前10条

1 张迎周;徐宝文;;一种新型形式化程序切片方法[J];中国科学(E辑:信息科学);2008年02期

2 吕建;马晓星;陶先平;曹春;黄宇;余萍;;面向网构软件的环境驱动模型与支撑技术研究[J];中国科学(E辑:信息科学);2008年06期

3 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期

4 袁琦,金成植;Monad表示的OO程序自动生成[J];计算机研究与发展;2000年06期

5 吕江花,金成植;Monad的反射性[J];吉林大学学报(理学版);2004年02期

6 白晓颖;赵冲冲;戴桂兰;;Web服务测试研究[J];计算机科学;2006年02期

7 杨利利;李必信;;Web服务测试问题综述[J];计算机科学;2008年09期

8 李雯睿;王志坚;毛莺池;;基于Web服务生命周期的测试技术研究进展[J];计算机科学;2009年06期

9 姜瑛,辛国茂,单锦辉,张路,谢冰,杨芙清;一种Web服务的测试数据自动生成方法[J];计算机学报;2005年04期

10 张迎周;徐宝文;;一种基于模块单子语义的动态程序切片方法[J];计算机学报;2006年04期

【共引文献】

相关期刊论文前10条

1 余莹;任胜兵;段成戈;;基于Eclipse插件的软件演化操作语言编辑器设计[J];信息技术;2007年10期

2 苏喜红;刘宏伟;吴智博;杨孝宗;左德承;;考虑组件复制的SA软件部署可靠性研究[J];哈尔滨工业大学学报;2012年03期

3 苏喜红;刘宏伟;吴智博;杨孝宗;左德承;;集成架构风格的SA软件部署可靠性[J];哈尔滨工业大学学报;2012年05期

4 战德臣;冯锦丹;聂兰顺;徐晓飞;;基于分层递增验证的可信管理软件构造方法[J];哈尔滨工业大学学报;2012年05期

5 张迪;伦立军;;面向图文法的体系结构测试方法研究[J];哈尔滨师范大学自然科学学报;2010年01期

6 李晓勇;薛飞;鲁素芬;王敏;;软件复用技术在科学计算软件中的应用研究[J];航空计算技术;2007年01期

7 褚文奎;张凤鸣;樊晓光;;综合模块化航空电子系统软件体系结构综述[J];航空学报;2009年10期

8 张爱文;王泉泉;;编程题自动评分模型的研究与实现[J];黑龙江科技信息;2007年09期

9 陈亮亮;李云飞;;基于构件和虚拟仪器的变频器测试系统的设计与实现[J];军民两用技术与产品;2009年06期

10 张凯,陈利;Linux中断系统的程序依赖性度量[J];湖州师范学院学报;2005年02期

相关期刊论文前10条

1 吕建;陶先平;马晓星;胡昊;徐锋;曹春;;基于Agent的网构软件模型研究[J];中国科学E辑:信息科学;2005年12期

2 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学E辑:信息科学;2006年10期

3 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期

4 袁琦,金成植;Monad表示的OO程序自动生成[J];计算机研究与发展;2000年06期

5 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期

6 吕江花,金成植;一种基于Monad反射语言解释器的构造[J];吉林大学学报(理学版);2003年04期

7 黄宁,余莹,张大勇;Web服务软件测试技术的研究与实现[J];计算机工程与应用;2004年35期

8 庞建民,赵荣彩;Haskell语言的列表内涵特性及其应用[J];计算机工程与应用;2005年04期

9 庞建民;赵荣彩;王倩;;Haskell语言的惰性计算特性及其应用[J];计算机工程与应用;2006年10期

10 李克勤;陈兆良;梅宏;杨芙清;;领域工程概述[J];计算机科学;1999年05期

相关期刊论文前10条

1 ;自动测试及其系统[J];电子科技文摘;2001年04期

2 倪玲;张琦;郭霞;;自动测试技术发展综述[J];中国制造业信息化;2007年13期

3 刘如金;;基于电磁环境自动测试的实现[J];电子质量;2009年08期

4 刘灼杰;马延平;蒋志忠;杨日杰;;自动测试标记语言及其应用[J];国外电子测量技术;2009年08期

5 冯秋平;方强;;一种开放式仪器自动测试标定系统[J];中国测试;2010年04期

6 ;研华于10城市启动自动测试方案推广合作伙伴加盟活动[J];电子测量技术;2013年09期

7 张振琪;周石光;;热物性测量中信号的自动测试[J];物理测试;1990年04期

8 容丹奕;一种简单实用的自动测试方法[J];计量与测试技术;1995年03期

9 何丕雁 ,陈光(礻禹);高速测量中的自动测试仪器[J];国外电子测量技术;1997年04期

10 ;自动测试及其系统[J];电子科技文摘;1999年08期