Embedded software testing requirements modeling and automatic test case generation based on multiple graphs

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: tests requirement analysis and software test case generation tool.PThe2case7study9results show that thertool1can1fully9describe 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.