摘要
Software credibility refers to the matching degree between the expected result and system behavior in the real running environment. This paper focuses on the application of software creditability verification method based on the application behavior declaration （ABD）, in which the application of software credibility validation process and the software behavior declaration definition statement are put forward. In the integration of the process and the software development life cycle, the ABD is embedded into the software development phases to make the software behavior be consistent with the judgment and the final realization meet the requirement of trusted software verification.
Software credibility refers to the matching degree between the expected result and system behavior in the real running environment. This paper focuses on the application of software creditability verification method based on the application behavior declaration （ABD）, in which the application of software credibility validation process and the software behavior declaration definition statement are put forward. In the integration of the process and the software development life cycle, the ABD is embedded into the software development phases to make the software behavior be consistent with the judgment and the final realization meet the requirement of trusted software verification.
基金
Supported by Foundation of the National Public Scientific Research(201210262)
