Test Case Generation Method for Fully Automatic Operation System.

Aiming at the test requirements of specified path coverage of fully automatic operation (FAO) system test, this paper proposes an algorithm for automatic generation of test cases for FAO based on the modeling theory of timed automata to meet the specified path coverage and edge coverage. Firstly, the modeling theory of timed automata is studied, and the FAO timed automata model is established. Then, a modeling method to add marker variables to the d automata model is proposed to characterize the FAO test requirements of specified path coverage. Thirdly, combined with the test case generation mechanism of Yggdrasil, a test case generation method of FAO is proposed, which satisfies both the specified path coverage and edge coverage criteria of FAO. Finally, taking the mode conversion function of FAO as an example, the timed automata model is established and test cases are generated. The results show that the test cases cover 100 % of the test requirements specified by the tester and all the edges of the timed automata model, which can meet the test requirements of the specified path coverage of FAO. [ABSTRACT FROM AUTHOR]