Constructing a usage model for statistical testing with source code generation methods

Abstract

In statistical testing, testcases are generated using a usage model which defines usage of software as probability distribution on a state machine diagram. The aim of this study is to automatically construct a usage distribution from operational data, which assists construction of a reasonable usage model at low cost. This paper shows that applying source code generation methods based on a state machine diagram makes it possible. The prototype system has been developed to support the presented method.