Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models

Bernhard K. Aichernig, Richard Alexander Schumi

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung


Property-based testing is well suited for web-service applications, which was already shown in various case studies. For example, it has been demonstrated that JSON schemas can be used to automatically derive test-case generators for web forms. In this work, we present a test-case generation approach for a rule engine-driven web-service application. Business-rule models serve us as input for property-based testing. We parse these models to automatically derive generators for sequences of web-service requests together with their required form data. Property-based testing is mostly applied in the context of functional programming. Here, we define our properties in an object-oriented style in C# and its tool FsCheck. We apply our method to the business-rule models of an industrial web-service application in the automotive domain.
Seiten (von - bis)889-911
FachzeitschriftSoftware and Systems Modeling
Frühes Online-Datum2017
PublikationsstatusVeröffentlicht - 2019


Untersuchen Sie die Forschungsthemen von „Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren