The Web Services Composition Testing Based on Extended Finite State Machine and UML Model

Wu, Ching-Seh; Huang, Chi-Hsin

doi:10.1109/icssi.2013.46

Cited by 7 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Not only can the state‐transition graph be explored (cf. previous studies ), but the expression language can also be simulated, both forwards and backwards. The different metaclasses support specific reasoning strategies through their meta‐methods, for example, Arithmetic expressions can be simulated forwards for execution or backwards for constraint solving, Comparison expressions can be treated as symbolic values amenable to symbolic subsumption, and Proposition compounds can be split and complemented, to obtain atomic expressions.…”

Section: Specification Language and Methodsmentioning

confidence: 99%

“…Alternatively, the semantic web community offers MSM (the Minimal Service Model ), a minimal extension to other RDF ontologies (GR, SKOS and FOAF) based on linked data principles . These formats specify required interfaces and input/output data types but fail to capture the underlying state‐related semantics of services, as has been noted many times in the literature . While the data types could be used to synthesize test inputs, there is no way of linking these to corresponding outputs, because there is no internal model of service behaviour.…”

Section: Specification Language and Methodsmentioning

confidence: 99%

“…We prefer the EFSM, in particular Laycock's Stream‐X Machine , for its ability to model complex memory datatypes and realistic functional processes. While Wu and Huang recognize the superiority of EFSMs to handle memory , they only generate symbolic paths through the automaton, rather than concrete test cases with real inputs. Bertolino et al.…”

Section: Comparison With Related Workmentioning

confidence: 99%

See 2 more Smart Citations

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

Simons

Lefticaru

2020

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary The Stream X‐Machine (SXM) testing method provides strong and repeatable guarantees of functional correctness, up to a specification. These qualities make the method attractive for software certification, especially in the domain of brokered cloud services, where arbitrage seeks to substitute functionally equivalent services from alternative providers. However, practical obstacles include the difficulty in providing a correct specification, the translation of abstract paths into feasible concrete tests and the large size of generated test suites. We describe a novel SXM verification and testing method, which automatically checks specifications for completeness and determinism, prior to generating complete test suites with full grounding information. Three optimization steps achieve up to a 10‐fold reduction in the size of the test suite, removing infeasible and redundant tests. The method is backed by a set of tools to validate and verify the SXM specification, generate technology‐agnostic test suites and ground these in SOAP, REST or rich‐client service implementations. The method was initially validated using seven specifications, three cloud platforms and five grounding strategies.

show abstract

Section: Specification Language and Methodsmentioning

confidence: 99%

Section: Specification Language and Methodsmentioning

confidence: 99%

Section: Comparison With Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

Simons

Lefticaru

2020

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

“…The following studies are associated with the relevant SOAP [51], [52] and RESTful testing [50], [20], [53] techniques. The summary of the study stated that explanations of web service testing can be further improved using existing techniques, models, frameworks and tools of testing by supporting the responsibilities that are required for the capability and understanding of a service tester.…”

Section: B Challenges Of Web Service Testingmentioning

confidence: 99%

Web Service Testing Techniques: A Systematic Literature Review

Ghani¹,

Kadir²,

Mustafa³

2019

IJACSA

View full text Add to dashboard Cite

These days continual demands on loosely coupled systems have web service gives basic necessities to deliver resolution that are adaptable and sufficient to be work at runtime for maintaining the high quality of the system. One of the basic techniques to evaluate the quality of such systems is through testing. Due to the rapid popularization of web service, which is progressing and continuously increasing, testing of web service has become a basic necessity to maintain high quality of web service. The testing of the performance of Web service based applications is attracting extensive attention. In order to evaluate the performance of web services, it is essential to evaluate the QoS (Quality of Service) attributes such as interoperability, reusability, auditability, maintainability, accuracy and performance to improve the quality of service. The purpose of this study is to introduce the systematic literature review of web services testing techniques to evaluate the QoS attributes to make the testing technique better. With the intention of better testing quality in web services, this systematic literature review intends to evaluate what QoS parameters are necessary to provide better quality assurance. The focus of systematic literature is also to make sure that quality of testing can be encouraged for the present and future. Consequently, the main attention and motivation of the study is to provide an overview of recent research efforts of web service testing techniques from the research community. Each testing technique in web services has identified apparent standards, benefits, and restrictions. This systemic literature review provides a different testing resolution to industry to decide which testing technique is the most efficient and effective with the testing assignment agenda with available resources. As for the significance, it can be said that web service testing technique are still broadly open for improvements.

show abstract

Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance

Sun

Jia

et al. 2018

Service-Oriented Computing

View full text Add to dashboard Cite

The Web Services Composition Testing Based on Extended Finite State Machine and UML Model

Cited by 7 publications

References 11 publications

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

Web Service Testing Techniques: A Systematic Literature Review

Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance

Contact Info

Product

Resources

About