Show simple item record

dc.contributor.authorSimons, A.J.H.
dc.contributor.authorLefticaru, Raluca
dc.date.accessioned2020-01-15T16:46:10Z
dc.date.accessioned2020-01-29T11:36:13Z
dc.date.available2020-01-15T16:46:10Z
dc.date.available2020-01-29T11:36:13Z
dc.date.issued2020-05
dc.identifier.citationSimons AJH and Lefticaru R (2020) A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Software Testing, Verification and Reliability. 30(3): e1729.en_US
dc.identifier.urihttp://hdl.handle.net/10454/17608
dc.descriptionYesen_US
dc.description.abstractThe 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 optimisation steps achieve up to a ten-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.en_US
dc.description.sponsorshipEuropean Union Seventh Framework Programme (FP7/2007-2013) under grant agreement no. 328392, the Broker@Cloud project [11].en_US
dc.language.isoenen_US
dc.publisherWiley
dc.rights©2020 The Authors. Software Testing, Verification & Reliability published by John Wiley & Sons Ltd. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.
dc.subjectState-based testingen_US
dc.subjectX-machinesen_US
dc.subjectSpecificationen_US
dc.subjectVerificationen_US
dc.subjectFunctional testingen_US
dc.subjectCloud computingen_US
dc.subjectCloud service brokeren_US
dc.subjectService certificationen_US
dc.subjectTest groundingen_US
dc.titleA verified and optimized Stream X-Machine testing method, with application to cloud service certification
dc.status.refereedYesen_US
dc.date.Accepted2019-12-15
dc.date.application2020-02-18
dc.typeArticleen_US
dc.type.versionPublished versionen_US
dc.identifier.doihttps://doi.org/10.1002/stvr.1729
dc.date.updated2020-01-15T16:46:22Z
refterms.dateFOA2020-01-29T11:37:08Z


Item file(s)

Thumbnail
Name:
Verified_Optimised_SXM_Testing ...
Size:
548.7Kb
Format:
PDF
Description:
To keep suppressed
Thumbnail
Name:
Lefticaru_JSTVR.pdf
Size:
1.661Mb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record