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.

中文翻译：

---

经过验证和优化的Stream X-Machine测试方法，适用于云服务认证

Stream X-Machine（SXM）测试方法可提供功能强大且可重复的功能正确性保证，直至达到规范。这些品质使该方法对于软件认证具有吸引力，尤其是在代理云服务领域，在这种领域中，套利试图替代其他提供商的功能等效的服务。但是，实际的障碍包括难以提供正确的规范，将抽象路径转换为可行的具体测试以及生成的测试套件很大。我们描述了一种新颖的SXM验证和测试方法，该方法可以在生成具有完整基础信息的完整测试套件之前自动检查规格的完整性和确定性。三个优化步骤可将测试套件的尺寸减少多达10倍，删除不可行和多余的测试。该方法由一组工具支持，这些工具可以验证和验证SXM规范，生成与技术无关的测试套件，并将其基于SOAP，REST或富客户端服务实现。该方法最初使用七个规范，三个云平台和五个接地策略进行了验证。