{"id":109,"date":"2017-07-27T15:29:16","date_gmt":"2017-07-27T13:29:16","guid":{"rendered":"http:\/\/truconf.ist.tugraz.at\/?p=109"},"modified":"2018-11-13T13:00:23","modified_gmt":"2018-11-13T12:00:23","slug":"publication-at-ictss-2017","status":"publish","type":"post","link":"https:\/\/truconf.sai.tugraz.at\/index.php\/2017\/07\/27\/publication-at-ictss-2017\/","title":{"rendered":"Publication at ICTSS 2017"},"content":{"rendered":"<p>A new publication has been accepted at the\u00a0<a href=\"http:\/\/www.ictss2017.org\/\">ICTSS 2017<\/a>.<\/p>\n<p><span class=\"s1\">Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, and Rupert Schlick: &#8220;Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles<\/span><span class=\"s1\">&#8220;, In <em>Testing Software and Systems &#8211; 29th IFIP WG 6.1 International Conference, (ICTSS 2017), St. Petersburg, Russia, October 9-11, 2017, Proceedings, <\/em>volume\u00a010533 of<\/span><span class=\"s1\">\u00a0<em>Lecture Notes in Computer Science, <\/em>pages 293-310. Springer, 2017. (<a href=\"https:\/\/truconf.sai.tugraz.at\/wp-content\/uploads\/sites\/11\/2017\/07\/ictss2017.pdf\">PDF<\/a>)(<a href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-67549-7_18\">doi:10.1007\/978-3-319-67549-7_18<\/a>)<\/span><\/p>\n<p>The paper\u00a0was presented at\u00a0the 29th IFIP International Conference on Testing,\u00a0Software and Systems (<a href=\"http:\/\/www.ictss2017.org\/\">ICTSS 2017<\/a>) in St-Petersburg, Russia (9-11 October\u00a02017).<\/p>\n<p>Abstract:<\/p>\n<p>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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A new publication has been accepted at the\u00a0ICTSS 2017. Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, and Rupert Schlick: &#8220;Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles&#8220;, In Testing Software and Systems &#8211; 29th IFIP WG &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/truconf.sai.tugraz.at\/index.php\/2017\/07\/27\/publication-at-ictss-2017\/\"> <span class=\"screen-reader-text\">Publication at ICTSS 2017<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":28,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-109","post","type-post","status-publish","format-standard","hentry","category-publications"],"_links":{"self":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/109","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/users\/28"}],"replies":[{"embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/comments?post=109"}],"version-history":[{"count":6,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/109\/revisions"}],"predecessor-version":[{"id":203,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/109\/revisions\/203"}],"wp:attachment":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=109"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/categories?post=109"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/tags?post=109"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}