HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
MetadataShow full item record
SubjectSoftware system testing; Formal methods; Web applications; uncertainty analysis; INF/01; ING-INF/05
This paper introduces a model-based testing framework and associated toolkit, so called HYPpOTesT, for uncertain service-based web applications specified as probabilistic systems with non-determinism. The framework connects input/output conformance theory with hypothesis testing in order to assess if the behavior of the application under test corresponds to its probabilistic formal specification. The core component is a (on-the-fly) model-based testing algorithm able to automatically generate, execute and evaluate test cases from a Markov Decision Process specification. The testing activity feeds a Bayesian inference process that quantifies and mitigates the system uncertainty by calibrating probability values in the initial specification. This paper illustrates the structure, features, and usage of HYPpOTesT using the U-Store exemplar, i.e., a web-based e-commerce application that exhibits uncertain behavior.
Showing items related by title, author, creator and subject.
Kosir A; Odic A; Tkalcic M; Svetina M (CEUR-WS.org, 2014)The aim of this study was to investigate the use and poten-tial of the psychological theory of human-behavior modeling, called the Theory of Planned Behavior (TPB), in a user-modeling domain. We per-formed a user experiment ...
Tkalcic M; De Carolis B; de Gemmis M; Odic A; Kosir A (Springer International Publishing, 2016)Personalization is ubiquitous from search engines to online-shopping websites helping us find content more efficiently and this book focuses on the key developments that are shaping our daily online experiences. With ...
Flora HK; Chande SV; Wang X (Foundation of Computer Science, 2014)With the increasing popularity and demand for mobile applications, there has been a significant increase in the number of mobile application development projects. Highly volatile requirements of mobile applications require ...