Dynamic Credible Measurement Technology Research Based Behavior Statement

With the rapid development of information technology, information systems,particularly software systems in human life play an increasingly important role. Forinformation systems, particularly software systems measure the credibility of makingdemand emerged.Software behavior statement is a "walk the talk" requirement, requiring softwaredevelopers early in the software design, the software features within the expectedrange for critical computing resources, critical system resources, the key user dataaccess to software behavior statement Write out the way, when it is published in thepackage, along with the service user a package accessories. Declared by the softwarebehavior, in normal operation of the software provides the user information on thesecurity-related limits access operation.Relying on software behavior statement, how is studied through dynamicweaving technology, compile the software behavior detection module and the releaseof the software package, the software running on the real action and softwaredevelopers to provide statement, concluded that the software is "consistency" crediblemeasurement results. And software is presented based on the real behavior of longterm accumulation detection, using historical data to make software routine analysis,in order to assist software developers to statement to make correction on behaviortheory.Based on the theory study, completed a software behavior credible elements testsystem architecture design, the features in the platform were discussed. Finallyachieved on a particular platform prototype system, and demonstrates its platformscalability.Based on the dynamic behavior of the credibility of the amount declared intechnology research occurs when the software runs true behavior of the softwareprovided with the software developers conduct comparative statement, so as toachieve the right software to make a credible measurement purposes.