Time-extended EFSM Modeling And Integrity Verification Based On Usage Scenarios

In order to ensure the quality and reliability of real-time embedded software,model-based software testing methods are widely used.However,most of the current models lack the description of the real-time characteristics of this type of software and the software behavior process,and usually require a wealth of professional domain knowledge to establish a more accurate and complete model.This not only increases the difficulty and cost of modeling,but it is also difficult to ensure the integrity of the model,which makes it difficult to ensure the adequacy and effectiveness of the test.The use scenario describes the system behavior of the software by recording the interaction examples between the user and the software.Therefore,building a model based on the use scenario does not require a complete understanding of the complex structure of the software,which can effectively reduce the difficulty of modeling.However,it is a challenge to explore all possible behaviors of the software,resulting in incomplete models.Therefore,this article uses the time-extended EFSM model to describe the real-time characteristics of embedded software,and builds the model based on the scene;in order to ensure the integrity of the built model,the model integrity evaluation criteria are designed to verify the constraints of the model migration Completeness determines whether the model is a complete representation of the possible behavior of the system;for incomplete models,a to-be-completed migration generation strategy is designed according to constraints to generate uncharacterized migrations in the model,and the feasible migration sequence of the model is simulated dynamically The execution process adds it to the model to improve the integrity of the model.In order to verify the effectiveness of the time-extended EFSM model method based on usage scenarios and the model completion strategy,this paper builds its behavior model for four real-time embedded software,obtains the time-extended EFSM model of the software,and conducts a series of experiments.The experimental results show that the method proposed in this paper not only effectively constructs the model within a reasonable time,but the model can describe the software behavior of real-time embedded software in detail.And for incomplete models,the generated to-be-completed migration can be effectively completed to the model,which further improves the integrity of the model.