Embedded Software Testing Requirements Modeling and Automatic Test Case Generation Based on Multiple Graphs
Ming-Cheng Qu,Nai-Gang Cui,Ya-Nan Zhang,Xiang-Hu Wu,Bing-Song Zou
DOI: https://doi.org/10.1166/asl.2015.6571
2015-01-01
Advanced Science Letters
Abstract:Model-based testing is an important software quality assurance technology. There are a number of classical theories and models today, for example, the automata theory with finite state machine, the UML unified modeling theory with UML models and the combination of probability and statistics theory and automata theory with Markov chain, which currently serve as the basis of model-based testing. Based on these classical theories and models, this paper proposed a model-based testing framework for general embedded software, put forward a set of graphical system describing the testing requirements of embedded software, studied how to plan test items and how to generate test cases, and eventually developed a graphical test requirement analysis and software test case generation tool. The case study results show that the tool can fully describe embedded software test requirements with graphical models, supports the automatic generation of more comprehensive test cases than traditional software testing methods, can enhance the efficiency of embedded software testing to a certain extent.