一种面向用户目标的语义Web服务测试数据生成方法

摘要

本发明公开了一种面向用户目标、基于WSMO的语义Web服务测试数据生成方法。与其他语义Web服务模型相比，WSMO最大的特点是分离了用户目标和Web服务。由于其描述语言WSML较新，缺乏相应的测试验证工具，直接从WSMO目标描述产生测试用例比较困难。另一方面，针对某些成熟的形式化语言已经开发了一些测试验证工具，比如B语言。为此，本发明利用B语言提供一种基于模型检测的WSML测试数据生成方法。首先定义一系列WSML到B的转换规则，把以WSML描述的用户目标规范翻译成B语言相应模型；再根据覆盖率等准则计算陷阱性质；接下来应用诸如ProB等模型检测器产生反例；最后通过定义一系列B到WSML的转换规则，把以B语言描述的反例翻译成WSML的测试数据。