Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

Bartolini, Cesare; Bertolino, Antonia; Marchetti, Eda; Parissis, Ioannis

doi:10.1007/978-3-540-85571-2_13

Cited by 31 publications

(24 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The whole process is generally automated by means of batch scripts, because the generation of a high number of mutants and the execution of the test suite on each is a complex and tedious process which is well-suited for automatization. Mutation can be also carried out by introducing simplifications that reduce the number of mutants [37,6] to lower the complexity of the testing process.…”

Section: Mutation Testingmentioning

confidence: 99%

Software Testing Techniques Revisited for OWL Ontologies

Bartolini

2017

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

Abstract. Ontologies are an essential component of semantic knowledge bases and applications, and nowadays they are used in a plethora of domains. Despite the maturity of ontology languages, support tools and engineering techniques, the testing and validation of ontologies is a field which still lacks consolidated approaches and tools. This paper attempts at partly bridging that gap, taking a first step towards the extension of some traditional software testing techniques to ontologies expressed in a widely-used format. Mutation testing and coverage testing, revisited in the light of the peculiar features of the ontology language and structure, can can assist in designing better test suites to validate them, and overall help in the engineering and refinement of ontologies and software based on them.

show abstract

Section: Mutation Testingmentioning

confidence: 99%

Software Testing Techniques Revisited for OWL Ontologies

Bartolini

2017

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The whole process is generally automated by means of batch scripts, because the generation of a high number of mutants and the execution of the test suite on each is a complex and tedious process which is well-suited for automatization. Mutation can be also carried out by introducing simplifications that reduce the number of mutants (Offutt and Untch, 2001;Bartolini et al, 2008) to lower the complexity of the testing process.…”

Section: Mutation Testingmentioning

confidence: 99%

Mutating OWLs: Semantic Mutation Testing for Ontologies

Bartolini

2016

Proceedings of the International Workshop on domAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn

Self Cite

View full text Add to dashboard Cite

Abstract:Ontologies are an essential component of semantic knowledge bases and applications, and nowadays they are used in a plethora of domains. Despite the maturity of ontology languages, support tools and engineering techniques, the testing and validation of ontologies is a field which still lacks consolidated approaches and tools. This paper attempts at partly bridging that gap, taking a first step towards the extension of mutation testing techniques to ontologies expressed in a widely-used format. Mutation testing techniques, revisited in the light of the peculiar features of the ontology language and structure, can help in the engineering and refinement of ontologies and software based on them.

show abstract

“…Bozkurt et al [9] provided a comprehensive summary on the testing and verification of service-oriented architecture. Bartolini et al [5] proposed to use a dataflow-based approach to validate the composition of web services. Mei et al [29], [30] formulated dataflowbased test adequacy criteria to test WS-BPEL web services.…”

Section: Related Workmentioning

confidence: 99%

A Subsumption Hierarchy of Test Case Prioritization for Composite Services

Mei

Cai

Jia

et al. 2015

IEEE Trans. Serv. Comput.

View full text Add to dashboard Cite

Abstract-Many composite workflow services utilize non-imperative XML technologies such as WSDL, XPath, XML schema, and XML messages. Regression testing should assure the services against regression faults that appear in both the workflows and these artifacts. In this paper, we propose a refinement-oriented level-exploration strategy and a multilevel coverage model that captures progressively the coverage of different types of artifacts by the test cases. We show that by using them, the test case prioritization techniques initialized on top of existing greedy-based test case prioritization strategy form a subsumption hierarchy such that a technique can produce more test suite permutations than a technique that subsumes it. Our experimental study of a model instance shows that a technique generally achieves a higher fault detection rate than a subsumed technique, which validates that the proposed hierarchy and model have the potential to improve the cost-effectiveness of test case prioritization techniques.

show abstract

Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

Cited by 31 publications

References 26 publications

Software Testing Techniques Revisited for OWL Ontologies

Software Testing Techniques Revisited for OWL Ontologies

Mutating OWLs: Semantic Mutation Testing for Ontologies

A Subsumption Hierarchy of Test Case Prioritization for Composite Services

Contact Info

Product

Resources

About