The Design And Implementaiton Of Description And Detection System Based On HFSM Model

With the development of technology and increase of people’s needs, the size andcomplexity of hardware and software is increasing, and the losses due to software andhardware error is also growing. System hardware and software testing has become anecessary part of the system development today, the traditional testing methods dueto spend a lot of manpower and resources, and the efficiency of checking is not high,can not meet the test requirements of complex software, automated testing hasbecome an inevitable trend. Model-based testing is an important direction ofautomated testing, and it is very important to study model-based testing. This article ispart of the testing program HFSM model system, and is responsible for studyingdescription of HFSM model, detection of HFSM model and getting information ofHFSM model.Firstly, the formal description of the model study of several formal instructionsare described, and the article will analyze its usage scenarios, and ultimatelydetermine the use of hierarchical finite state machine model as a way to describe themodel and consider the HFSM with constraint conditions.Secondly, study of description of HFSM model. Describing HFSM model is thebasis for HFSM test program generation. According components of HFSM model,respectively, the various components of the model will be described visually, andHFSM visualization description and formal description are equivalent.Because theremay be constraints on some systems, this paper also describe HFSM modelconstraints in a visual way.Finally, the study of detecting HFSM model.There are many automated testprogram generation approaches for HFSM model, but the process of HFSM model togenerate test programs requires HFSM model testing, including that HFSM modelshould meet the requirements described in the way of testing and meet some of HFSMmodel algorithm preconditions such as full definitions.The test solution generation of HFSM model need extracting information ofHFSM, for which this article drawing HFSM model, information extraction testingand HFSM model were designed and generated HFSM model describing anddetecting system, the system has been in a stand-alone environment deployment andoperation, and achieved good results.