基于代数规约的Web服务测试用例生成技术研究

发布时间：2021-01-07 06:56

　　测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法保证将测试用例转换成可执行操作序列。一种可行的解决方案是单线测试技术,即将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。该技术使用测试执行图（TEG）描述测试用例的执行过程,并基于TEG生成可执行的单线测试序列。本文研究基于代数规约的Web服务测试用例生成方法,针对已有的单线测试序列生成方法中存在的问题,改进已有的单线测试序列生成方法,并进一步提出使用项图改写技术对非单线测试序列进行单线化转换处理,生成适用于Web服务测试的单线测试序列。本学位论文主要包括以下三个方面的工作:1.为了解决可逆浮动项的单线测试序列生成问题,提出部分可逆类子概念,并使用改进的测试执行图（TEG-I）精确描述浮动测试用例的执行过程和待测服务的状态变化,包括测试用例中可逆浮动项执行后的恢复过程,在此基础上设计TEG-I构造算法和改进的单线测试序列生成算法。2.提出一种非单线测试用例的... 

【文章来源】：南京理工大学江苏省 211工程院校

【文章页数】：78 页

【学位级别】：硕士

【部分图文】：

原型工具MTST的TEG-I构造器界面

4Web单线测试序列生成原型工具的设计与实现硕士学位论文48理”，点击“实例化处理”按钮生成可检查浮动测试用例，点击“等式化处理”按钮将可检查浮动测试用例中的中缀表达式转化为前缀表达式、符号表示转化为函数表示，点击“TEG-I生成”按钮生成可检查浮动测试用例的TEG-I并在界面中的TEG-I显示框显示。图4.9原型工具MTST的TEG-I构造器界面图4.10是单线转换器界面，选择测试用例后，“TEG-I”显示对应的TEG-I，点击“单线判断”按钮判断对应的TEG-I是否能生成单线测试序列，若文本显示框显示否，则选择改写系统并点击“单线转换”按钮对TEG-I进行单线转换，转换结果在“单线转换结果”面板显示。

硕士学位论文基于代数规约的Web服务测试用例生成技术研究49图4.10原型工具MTST的单线转换器界面图4.11是单线测试序列生成器界面，选择测试用例后，“单线TEG-I”面板显示对应的TEG-I，点击单线测试序列生成即可生成单线测试序列。图4.11原型工具MTST的单线测试序列生成器界面

【参考文献】：
期刊论文
[1]服务组合的代数规约[J]. 陈颖,刘冬梅,朱鸿,兰斌,何娟娟.  计算机工程与科学. 2018(06)
[2]基于代数规约的Web服务自动测试执行引擎[J]. 张鑫,刘冬梅,朱鸿,陈颖,兰斌,孙玉虎.  计算机与数字工程. 2018(01)
[3]一种基于有限状态机的测试路径生成方法[J]. 钱忠胜.  小型微型计算机系统. 2014(07)
[4]基于OWL-S文档的Web服务测试用例生成[J]. 李颖,许蕾.  计算机科学. 2012(10)
[5]基于项重写的形式化排序方法及应用[J]. 陈晨,陈卫红,闫振天,祝跃飞.  通信学报. 2011(03)
[6]基于有限状态机的Web服务测试用例生成方法[J]. 黎升洪,王任.  计算机时代. 2009(11)



本文编号：2962120