IoT; virtual machines; VMs; Markov chain usage model; testing