A specification-based test case generation mechanism for service-oriented software testing

Swiss Cheese (SC) model is a specification-based test case generation mechanism for service-oriented applications. Different from traditional applications, the code of service-oriented applications are usually not available for application testers. Instead, only service specifications are available for most of the services in service-oriented architecture (SOA). To address this problem, Swiss Cheese model has distinct features such as testability analysis, dynamic completeness check on service specifications, dynamic consistency analysis, tree-based analysis, data provenance classification and collection, data provenance analyses and topology-based test case generation mechanism. Swiss Cheese (SC) model is part of the Service-Oriented System Engineering (SOSE) paradigm and integrates the Service-Oriented Architecture (SOA) computing paradigm with the testing concepts. The model supports analyses and test case generations on re-composable and reconfigurable SOA applications. Swiss Cheese (SC) model provides the following services and tools to support test case generation for service-oriented applications: Process Specification and Modeling Language for Services (PSML-S) model support. This model is used for describing detailed service and workflow specifications and provides support on specification analyses and test case generation. Karnaugh map based completeness and consistency (C&C) analysis can detect the incompleteness and inconsistency in the service and workflow specifications modeled by PSML-S.