Research on an analysis method for software trustworthiness based on rules

摘要

Application software has become more and more complex because of the fast development of computer application in today's information society. How to analyze the software trustworthiness is an important problem which, in software engineering domain, has not been researched much yet. Consider all the reasons above, this paper presents an analysis method based on rules for software trustworthiness. And it mainly focused on the trustworthiness of software component and lifecycle process. The analyzing process is controlled by trustworthy resource extraction rules, analyzing rules and synthesis rules. This paper also presents a simple formalization tool, which based on communication sequence process, to describe the software. The process of software trustworthy analyzing adapts this method is more flexible and effective. And it could fit the application environment and requirement flexibility. At the same time, this paper also tries to prove software trustworthiness.