A study on automated test case generation of model-based testing for functional safety of automotive electronic system

Model-based testing is a kind of testing methodology that is based on a model of SUT. Test case generator can create abstract test cases to verify and validate the model of SUT. After that, Test script generator creates concrete test cases that can run on the System under Test (SUT). The objective of this study is to implement automated generation of abstract and concrete test cases with Commercial-off-the-Shell (COTS) tools that is widely used in automotive industry. Model-based testing methodology requires some processes, such as requirement analysis, modeling and test case generation. Nowadays, several COTS tools are used in automotive industry. Most COTS modeling tools provide automated verification and validation tools but do not support test case generation. The abstract test cases for model verification and validation cannot run on the SUT. To run the concrete test cases on the SUT, appropriated COTS tools are needed. In this study, automated test case generation methodology based on XML for the automotive electronic system with discrete data has been carried out. XML translator has been developed to exchange the information of the SUT between COTS tools. Also, concrete test case generator based on XML has been developed to run the test cases on the SUT. Automated test case generation of model-based testing framework will be presented. In this paper, discrete model and test case data will be presented as the results of functional requirements and safety evaluation. Abstract test cases can assure the test coverage of the generated test cases and concrete test cases can run on the SUT. When the model is modified, automated test cases generation provides suitable abstract test cases and concrete test cases in time. Depending on the test case generation algorithm, the test coverage and the test cases can be adjustable.