Data-driven modelling and probabilistic analysis of interactive software usage

作者: Oana Andrei , Muffy Calder

DOI: 10.1016/J.JLAMP.2018.07.003

关键词:

摘要: Abstract This paper answers the research question: how can we model and understand ways in which users actually interact with software, given that usage styles vary from user to user, even use for an individual user. Our first contribution is introduce two new probabilistic, admixture models, inferred sets of logged traces, include observed latent states. The models encapsulate temporal stochastic aspects usage, heterogeneous dynamic nature users, time interval over data was collected (e.g. one day, month, etc.). A key concept activity patterns, common behaviours shared across a set traces. Each pattern discrete-time Markov chain variables label states; states specify patterns. second parametrised, logic properties reason about hypothesised within pattern, between Different combinations property afford rich techniques understanding software usage. third demonstration by application traces has been used tens thousands worldwide.

参考文章(30)
Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster, Adaptive Runtime Verification runtime verification. pp. 168- 182 ,(2012) , 10.1007/978-3-642-35632-2_18
Joost-Pieter Katoen, Christel Baier, Principles of Model Checking ,(2008)
Mark Girolami, Simon Rogers, A First Course in Machine Learning ,(2011)
Marta Kwiatkowska, Gethin Norman, David Parker, PRISM 4.0: verification of probabilistic real-time systems computer aided verification. ,vol. 6806, pp. 585- 591 ,(2011) , 10.1007/978-3-642-22110-1_47
Oana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami, Probabilistic model checking of DTMC models of user activity patterns quantitative evaluation of systems. pp. 138- 153 ,(2014) , 10.1007/978-3-319-10696-0_11
Harold Thimbleby, Paul Cairns, Matt Jones, Usability analysis with Markov models ACM Transactions on Computer-Human Interaction. ,vol. 8, pp. 99- 132 ,(2001) , 10.1145/376929.376941
James F. Bowring, James M. Rehg, Mary Jean Harrold, Active learning for automatic classification of software behavior international symposium on software testing and analysis. ,vol. 29, pp. 195- 205 ,(2004) , 10.1145/1007512.1007539
Flavio Chierichetti, Ravi Kumar, Prabhakar Raghavan, Tamas Sarlos, Are web users really Markovian the web conference. pp. 609- 618 ,(2012) , 10.1145/2187836.2187919