D. Fedasyuk, V. Yakovyna, P. Serdyuk, O. Nytrebych
Abstract . 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.
Key words : software testing process, usage model, test scenario, software reliability.