Research On Indicator Analysis Of Software Credibility Based On LTL

Along with computer hardware technology and related software technology increasingly mature,a variety of kinds of software play more and more important roles in people’s daily life and production,and which are widely used in industrial,communications,medical,military and aerospace etc.Software system is used in many important areas which makes these areas depend on the software system continually growing.This makes the environment of computer applications become more and more complex,such as the scale of software system becomes larger and larger,the complexity becomes higher and higher.But,it can’t be avoided that computer software has various loopholes.This will seriously affect people’s activities in the production and life.Therefore,improving the credibility and correctness of the software,constructing highly confident software has become a hot issue in the research and development direction in recent years.Runtime Verification as a lightweight verification technique can be used as an effective complement to the traditional verification techniques,which makes runtime verification technique have been widely used in software credibility field.Its main feature is that verified during operation of the software system,it also is the foundation of real-time error correction of software.In this paper,we detailedly analyse and study on the runtime verification theory of software credibility,for Linear Temporal Logic of runtime verification,automata theory and the tools of runtime verification conduct a detailed analysis.Targeted at the constructing the runtime verification monitor,we adopt Java AOP technology and AspectJ technology which coming from tools of runtime verification aspect-oriented programming to achieve the monitor design,this method is based on the algorithm of automata conversion,and using the method of automata conversion to convert the semantic of properties to the runtime verification monitor.In which using JavaAOP technique to achieve runtime monitoring functions of the software system,and using AspectJ technique to achieve runtime monitoring variables of the software system,and concretely complete the problems of inserting monitoring code and calculating events and conditions.In Windows operating system platform,for the runtime verification monitor conducting a concrete implementation.Experiment shows that this monitor achieves runtime monitoring functions and variables,taking into account of the software running speed at the same time.