Model-Based Testing of Service-Oriented Applications via State Models

Endo, André Takeshi; Simão, Adenilso da Silva

doi:10.1109/scc.2011.77

Cited by 17 publications

(8 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The simple FSM approach by Endo and da Silva Simão abstracts strongly over the service, in that it models the states and transitions of the FSM, but elides any more detailed functional description. We prefer the EFSM, in particular Laycock's Stream‐X Machine , for its ability to model complex memory datatypes and realistic functional processes.…”

Section: Comparison With Related Workmentioning

confidence: 99%

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: Comparison With Related Workmentioning

confidence: 99%

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

“…According to [11], compared with the traditional way which software is purchased for and installed on personal computers, SaaS has advantages: e.g., investment reduction, performance improvement, time saving, easier collaboration, global accessibility, etc. Considering our own needs, the software tool should be able to deploy on ESB [12], which means the software must be a web service. Because the software deals with a collaborative situation, all the partners may use the software in the same time or individually.…”

Section: Algorithm (1) Instance Suggestionmentioning

confidence: 99%

An ontology-based collaborative business service selection: contributing to automatic building of collaborative business process

Bénaben

Pingaud

2018

SOCA

View full text Add to dashboard Cite

With the world wide inter-enterprise collaboration and interoperability background, automatic collaborative business process deduction might be seen as a crucial researching subject. We design a methodology of deducing collaborative process by only collecting collaborative objectives and partners' business services. The two key problems are: i) selecting corresponding business services for a set of collaborative objectives; ii) ordering business services with serializations and parallelization. This paper aims to present solution of business service selection. In order to solve the problem, we defined a collaborative ontology, which contains numerous instances of business services and processes of MIT process handbook. The collaborative ontology contains essential concepts in collaborative situation, and owns process deducing rules and algorithms. We provide a brief illustration of implementation within a SaaS toolkit called Mediator Modeling 2ool.

show abstract

“…More recently, Bentakouk et al [2011] propose a solution using STS-based testing and an STM solver to check the conformance of the composite service implementation with respect to its specifications and/or client requirements. Endo and Simao [2011] present a model-based testing process for service-oriented applications. The proposed solution is based on finite state machines and a Java prototype, and aims at automatic generation of test cases for functional verification of services.…”

Section: Related Workmentioning

confidence: 99%

A test-based security certification scheme for web services

et al. 2013

View full text Add to dashboard Cite

The Service-Oriented Architecture (SOA) paradigm is giving rise to a new generation of applications built by dynamically composing loosely coupled autonomous services. Clients (i.e., software agents acting on behalf of human users or service providers) implementing such complex applications typically search and integrate services on the basis of their functional requirements and of their trust in the service suppliers. A major issue in this scenario relates to the definition of an assurance technique allowing clients to select services on the basis of their nonfunctional requirements and increasing their confidence that the selected services will satisfy such requirements. In this article, we first present an assurance solution that focuses on security and supports a test-based security certification scheme for Web services. The certification scheme is driven by the security properties to be certified and relies upon a formal definition of the service model. The evidence supporting a certified property is computed using a model-based testing approach that, starting from the service model, automatically generates the test cases to be used in the service certification. We also define a set of indexes and metrics that evaluate the assurance level and the quality of the certification process. Finally, we present our evaluation toolkit and experimental results obtained applying our certification solution to a financial service implementing the Interactive Financial eXchange (IFX) standard.

show abstract

Model-Based Testing of Service-Oriented Applications via State Models

Cited by 17 publications

References 8 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

An ontology-based collaborative business service selection: contributing to automatic building of collaborative business process

A test-based security certification scheme for web services

Contact Info

Product

Resources

About