国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

In order to improve the efficiency and quality of the embedded software test, this paper proposes a design method for automatic generation of test cases based on state transition graph to test arrow software timing control. The timing control characteristics are analyzed firstly. Then the state transition diagram is selected to represent, the required primitive attributes ,the primitive relationship, the trigger condition comprehensiveness and consistency constraints are customized to ensure the rationality of the model. Finally, automatic generation of test cases are realized by combining the three coverage criteria of base path coverage, transfer coverage and conditional element coverage. Taking the software"s full flight cycle timing control as an example, the results show that the software test cases generated by this method can completely cover the timing control function and performance requirements. The results also verify the validity and stability of the method, which can provide some reference for the engineering practice of the automated test of the arrow.