Skip to Main content Skip to Navigation
Conference papers

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

Abstract : Performance evaluation of critical software is important but also computationally expensive. It usually involves sophisticated load-testing tools and demands a large amount of computing resources. Analysing different user populations requires even more effort, becoming infeasible in most realistic cases. Therefore, we propose a model-based approach. We apply model-based test-case generation to generate log-data and learn the associated distributions of response times. These distributions are added to the behavioural models on which we perform statistical model checking (SMC) in order to assess the probabilities of the required response times. Then, we apply classical hypothesis testing to evaluate if an implementation of the behavioural model conforms to these timing requirements. This is the first model-based approach for performance evaluation combining automated test-case generation, cost learning and SMC for real applications. We realised this method with a property-based testing tool, extended with SMC functionality, and evaluate it on an industrial web-service application.
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-01678972
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 9, 2018 - 3:41:00 PM
Last modification on : Tuesday, January 9, 2018 - 4:05:03 PM
Long-term archiving on: : Thursday, May 3, 2018 - 8:27:35 PM

File

449632_1_En_18_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Richard Schumi, Priska Lang, Bernhard Aichernig, Willibald Krenn, Rupert Schlick. Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩. ⟨hal-01678972⟩

Share

Metrics

Record views

250

Files downloads

110