Self-discipline software creditability measurement method based on PI calculation and fianalysis tting degree

Abstract

The invention provides method for measuring the credibility of self-discipline software. The measuring method is based on PI calculus and fitting degree analysis, and comprises the following steps: (1) establishing software credible behavior path diagram according to software function and user requirement; (2), establishing software practical behavior path diagram according to the process and result of the practical operation of the software; (3) describing movements on the path according to the PI calculus tool; (4) conducting fitting degree analysis on practically operated software behaviorand software credible behavior; and (5), measuring the software credibility according to credibility measuring calculation method of self-discipline software. The invention has the beneficial effectsthat (1), the method is applicable to various types of general software; (2), the method has a deep principle and is simple to realize; (3), the method adopts PI calculus to describe software behavior; and (4), the realization process of the method is easy to be verified.

Description

A Measuring Method of Self-regulating Software Credibility Based on PI Calculus and Fitting Degree Analysis (1) Technical field The invention relates to a computer software credibility evaluation method, in particular to a self-discipline software credibility measurement method based on PI calculation and fitting degree analysis. (2) Background technology With the application of computers in various fields, the use of software has penetrated into important sectors such as the economy, people's livelihood, national defense and military affairs, and plays a vital role in the information society. People rely more and more on software security. The requirements for its credibility are also getting higher and higher. At present, related researches are more focused on the definition, attributes, architecture and formalization of software trustworthiness. However, the measurement and evaluation of "whether the software is credible?" basic work. The earliest research on softwa...

AI Technical Summary

Problems solved by technology

In the past, researches on software credibility have focused too much on attributes, such as: which attributes should be included in software credibility and the relationship between these attributes, resulting in the inconclusive and multidimensional phenomenon of the concept of software credibility. The measurement of software credibility sets up obstacles, and also ignores the fundamental intention of the original credibility setting—users can trust software behavior and operating results

Images