State Transition Based Test Model and Test Case Generation Technique for Embedded System: An Empirical Approach
So-Young Jeong, Cheol-Jung Yoo, Hye-Min Noh · International Journal of Software Engineering and Its Applications · 2016
Studies on the testing techniques required during process of black box testing in embedded system have been increasing tremendously. This paper suggests test model and test case generation method for model based testing of embedded system. Considering the complicated internal architecture and real-time characteristics of embedded system, test cases are generated by using the state based behavior modeling method. The proposed state transition model based test case generation method suggests systematic procedures ranged from the use case specification to the test case generation. Entire procedure of test case generation in MP3 player case which uses the suggested method is presented in this paper. With the created test cases, the interaction among the components of embedded system can be easily figured out, thereby helping easy error detection. Moreover, the test cases applied with characteristics and constraints of embedded system could be achieved by modeling system behavior using SysML.