Trusted Analysis Model for Interactive Behavior of a Software System Based on Slicing Technology

To research the dynamic trusted measurement issue for interaction-oriented behavior of a software system,the expected behavior description model was obtained through determining and extracting the statements and the variables,which were referred and relied by the input data from outside.During the software executing,the measurement was done by dynamically acquiring the actual behavior of a software system and then the system compared it with the behavior obtained from the source code.By adopting the program slice technology,the interaction behavior and the successive behavior about assigning variables during the interaction were determined.Then,the detailed information and assigning behavior were extracted from the Abstract syntax tree of the source code and the compiled executing program.Result shows that this approach can identify the non-expected behavior during the software executing.