Goal-based testing of semantic web services

详细信息    查看全文

• 作者：M. Shaban Jokhio^a ; ^{mjok002@aucklanduni.ac.nz} ; Jing Sun ; ^a ; ^{j.sun@cs.auckland.ac.nz} ; Gillian Dobbie^a ; ^{gill@cs.auckland.ac.nz} ; Tianming Hu^b ; ^{tmhu@ieee.org}
• 关键词：Formal methods ; Model checking ; Mutation analysis ; Web Service Modeling Ontology ; Semantic web services.
• 刊名：Information and Software Technology
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：83
• 期：Complete
• 页码：1-13
• 全文大小：2062 K
• 卷排序：83

文摘

A framework for testing SWS from a user perspective based on WSMO goals. Translation of WSMO goal specifications into B formal models. Model checking for auto-generation of test cases from goal specifications. Independent to model-based generation, test case evaluation via mutation analysis. Tool implementation to automate the proposed steps for the test case evaluation.