A Software Trustworthiness Measure Based on the Decompositions of Trustworthy Attributes and Its Validation

摘要

There exist many software trustworthiness measures based on the decompositions of attributes. However, few of them are concerned with using more rigorous approaches to measure software trustworthiness and carrying out the theoretical validation of measures. Axiomatic approaches formalize the empirical understanding of a software attribute through the definition of a set of desirable software measure properties. It can provide precise and formal terms for the quantification of software attributes. We once used axiomatic approaches to measure software trustworthiness based on multi-dimensional attributes, in this paper, based on previous works, we apply axiomatic approaches to measure software trustworthiness based on the decompositions of attributes, propose the desirable properties of software trustworthiness measures based on the decompositions of attributes, present a software trustworthiness measure and validate this measure from the theory by proving that it complies with the set of properties. Compared with the popular software trustworthiness measures, this measure can evaluate software trustworthiness better in view of our properties.