Component behavior model mining method and device

Abstract

The invention discloses a component behavior model mining method and device. The method comprises the steps: S1), operating software comprising components, dynamically collecting a parameter behaviorinteraction sequence of the components, and forming a sequence set; S2) combining the same component behavior interaction sequences with different parameter values; S3) constructing a tree based on the combined component behavior interaction sequence; S4S4) merging the equivalent nodes in the tree to obtain a finite-state machine R '; S5) concluding invariants of the parameters according to the parameter observation value set to serve as daemon conditions of corresponding edges in the finite-state machine R '; S6) calculating the probability that the component behavior in the finite-state machine R'meets a parameter invariant; and S7) obtaining a final component behavior model represented by the parametric probabilistic automaton based on the probability of migration in the step S6). According to the method, the dependency relationship between parameters and component behaviors in the component behavior model is considered, and the noise in the model mining process is effectively processed by adopting the probability model, so that a more accurate component behavior model can be obtained.

Description

technical field [0001] The invention relates to computer technology, in particular to a component behavior model mining method and device. Background technique [0002] Component behavior model is also known as component interface constraints, object / API usage patterns, and type states. Components in the form of objects, middleware, and Web services are the main body of software systems. The data dependence and control dependence inside the component are externalized into the inherent behavior pattern of the component. For example: when operating on a file object, you should first "open the file", then "read the file" or "write the file" multiple times, and finally "close the file". The timing constraints between the above component behaviors form the component behavior model. The component behavior model represents the preconditions that need to be satisfied for the correct use of components, and is an important basis for software vulnerability detection. According to s...

AI Technical Summary

Problems solved by technology

Although graphical models and finite state machines have the ability to express complex component behavior models, existing research focuses on the timing constraints between component behaviors, and there is a lack of effective modeling methods and mining algorithms for the dependence between parameter-component behaviors

Images