Variables state-based software usage model
Dmytro V. Fedasyuk, Vitaliy S. Yakovyna, Pavlo V. Serdyuk, Oksana O. Nytrebych · Electronic Scientific Archive (Lviv Polytechnic) · 2014
This article describes a new mathematical software usage model, which includes the effect of the set of global and external variables values for further analysis of multi-test scenarios to improve the effectiveness of the testing software. This model is represented as a graph of transitions and a set of variables with respective sets of equivalence classes. The proposed approach is particularly relevant for computational algorithms with complex logic.