A user-oriented test data generation method for Semantic Web Services

A test data, user-oriented technology, applied in the direction of electronic digital data processing, software testing/debugging, creating/generating source code, etc., can solve the problem of less testing work of the same semantic Web service

Active Publication Date: 2019-03-26
DONGGUAN UNIV OF TECH
View PDF5 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Although some work has been carried out in the field of Web service testing, all of them focus on testing the syntactic form of existing Web services, and there is little testing work related to semantic Web services.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A user-oriented test data generation method for Semantic Web Services
  • A user-oriented test data generation method for Semantic Web Services
  • A user-oriented test data generation method for Semantic Web Services

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0057] see Figure 1-3 As shown, the present invention is divided into three major steps about a user-oriented semantic Web service test data generation method:

[0058] Step (1) Define a series of conversion rules from WSML to B, and translate the user target specification described in WSML into the corresponding model in B language.

[0059] The user goal described in WSML is completely independent of the description of Web service functions. It defines the problems that people need Web services to solve, including non-functional attributes, imported ontology, postconditions, effects, etc. Specifically, define the target specification G as a triplet {H, I, C p }, where H represents the target header, I represents the target interface specification, and C p Indicates the target function. Next, use a series of conversion rules from WSML to B in this order to convert.

[0060] (1.1) Convert target header to B

[0061] The WSMO target header contains a target de...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a user-oriented test data generation method for Semantic Web Services. Compared with other semantic Web services models, WSMO is characterized by the separation of user goals and Web services. Because its description language WSML is relatively new and lacks corresponding test verification tools, it is difficult to generate test cases directly from WSMO target description.On the other hand, some test verification tools have been developed for some mature formal languages, such as B language. For this reason, the invention provides a WSML test data generation method based on model detection by using B language. Firstly, a series of transformation rules from WSML to B are defined, and the user target specification described in WSML is translated into the corresponding model in B language. Then the trap properties are calculated according to the coverage criterion. Next, model detectors such as ProB are used to generate counterexamples. Finally, by defining a series of B to WSML transformation rules, the counterexamples described in B language are translated into WSML test data.

Description

technical field [0001] The invention relates to the field of semantic Web service testing, in particular to a user-oriented and WSMO-based method for generating semantic Web service test data. Background technique [0002] With the maturity of semantic web service ontology reasoning and automatic discovery technology, how to automatically verify the credibility of discovered services has become an urgent problem to be solved. The task is to test whether the service meets the user's target needs. [0003] Although some work has been carried out in the field of Web service testing, all of them focus on testing the syntactic form of existing Web services, and there is little testing work related to semantic Web services. On the other hand, the current Web service testing technology mainly tests Web services based on service descriptions (WSDL, OWL). These service descriptions are only visible to service providers, not to end service users. WSMO objectives include a series of ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36G06F8/30
CPCG06F8/30G06F11/3684
Inventor 潘晓衡袁华强
Owner DONGGUAN UNIV OF TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap