Demonstration of an Automated Integrated Test Environment for Web-Based Applications
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In this paper, we illustrate the power of `classical' iterative model checking for verifying quality of service requirements at the coarse granular level. Characteristic for our approach in the library-based modelling of applications in terms of service logic graphs, the incremental formalization of the underlying application domain in terms of temporal quality of service constraints, and the library-based consistency checking allowing continuous verification of application- and purpose-specific properties by means of model checking. This enables application experts to safely configure their own applications without requiring any specific knowledge about the underlying technology. The impact of this approach will be demonstrated in three orthogonal industrial application scenarios.