A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING
Read the full article
An automata-based model approach for testing API is described in this paper. Method proposed is based on constructing graphical automata-based model for testing. After it test-cases are built with transitions graph traversal. Such an approach allows simplifying and formalizing test-case generation not only for functions, but for aggregation of functions.
Keywords: automata-based programming, testing