MTTool: A Tool for Software Modeling and Test Generation

MTTool
is a novel model-based test tool. It is developed for modeling complex software behavior and generating test cases from the model. Different from existing model-based test tools, the proposed tool realizes the ERE-based testing, where the model is an extended regular expression (ERE). In ERE-based testing, test cases are generated from some decomposed subexpressions, thus alleviating the state-space-explosion problem in model-based testing. This paper introduces the modeling theory of the tool and two modeling ways: constructing regular finite state machine and writing R language. Additionally, three key algorithms in the tool are presented to construct the ERE model, decompose the ERE model, and generate test cases from submodels on the basis of test coverage criteria. Through an example, we demonstrate the application of the three algorithms.
MTTool
is found to well support the ERE-based test method and can be helpful in popularizing the application of this test method.