Based Diversified Software Object Ownership Credible Nature Study

The fast development of computer software bring convenience to people, but at the same time, the credibility of many softwares become more and more weak because of the increasingly large software scale and the complicated shape. The traditional software engineering method can not meet the social urgent need of the credibility of the software, and software research is faced with great scientific challenges. In the process of trusted software study, how to abstractly present the various trusted properties and the specific code of software to verify each other become one of the key technologies. The purpose of this thesis is to study on the key technology of trusted software, design, resoning and validate a variety of object dependencies and protection in program.About experiment methods, we start from the trusted properties of software, and focus on the relationship of dependence and protection between objects, then we try to study diversified ownership base on existing single object ownership and multiple object ownership, using java annotation, code static analysis and trusted software study, and considerating theory and pratice.In the study of diversified object ownership, we firstly design some java annotations that need in study and insert them into java code, and these annotations can be obtained automatically by our program. Secondly, given a java file, its control flow graph will be displayed to user. Thirdly, checking annotations in java program code and give report the error if program disobey annotation rules.