Learning and statistical model checking of system response times

Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for interactive systems. However, it is still challenging to test if a system provides acceptable performance or can satisfy certain response-ti...

Full description

Saved in:

Bibliographic Details
Published in:	Software quality journal Vol. 27; no. 2; pp. 757 - 795
Main Authors:	Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.06.2019 Springer Nature B.V
Subjects:	Compilers Computer Science Computer simulation Data Structures and Information Theory Feasibility studies Interactive systems Interpreters Monte Carlo simulation Operating Systems Performance prediction Probability Programming Languages Response time Software Engineering/Programming and Operating Systems Software quality Statistical models Stochastic models User behavior User profiles Web services Workloads User profiles Model-based testing Response time Cost learning Statistical model checking Performance testing FsCheck Property-based testing
ISSN:	0963-9314, 1573-1367
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!