MTTool: A Tool for Software Modeling and Test Generation

作者：Liu, Pan^*; Xu, Zhenning

来源：IEEE Access, 2018, 6: 56222-56237.

DOI：10.1109/ACCESS.2018.2872774

• ERE-based testing
• model-based testing
• ERE
• RFSM
• MTTool

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.

• 出版日期2018
• 单位上海商学院