Axiomatic approaches based on the software trustworthiness measure

2016 ◽  
pp. 135-142
Author(s):  
H Tao ◽  
Y Chen ◽  
J Pang
2018 ◽  
Vol 2018 ◽  
pp. 1-10
Author(s):  
Hongwei Tao ◽  
Jie Zhao

Validation is critical to the success of software trustworthiness measurement. A large number of software trustworthiness measures are proposed; however, most of them are not validated from a theory perspective. Therefore, they lack theoretical foundation and will induce unnecessary cost and useless calculation. In this paper, we bring measurement theory into software trustworthiness measurement, construct a source codes oriented software trustworthiness measure based on extensive structure in the measurement theory, and validate the developed measure by use of axiomatic approaches. Compared with some software trustworthiness measures that are already presented, this measure can evaluate software trustworthiness better from a theory perspective.


Entropy ◽  
2018 ◽  
Vol 20 (11) ◽  
pp. 815
Author(s):  
João Rodrigues ◽  
Michael Lahr

When working with economic accounts it may occur that multiple estimates of a single datum exist, with different degrees of uncertainty or data quality. This paper addresses the problem of defining a method that can reconcile conflicting estimates, given best guess and uncertainty values. We proceeded from first principles, using two different routes. First, under an entropy-based approach, the data reconciliation problem is addressed as a particular case of a wider data balancing problem, and an alternative setting is found in which the multiple estimates are replaced by a single one. Afterwards, under an axiomatic approach, a set of properties is defined, which characterizes the ideal data reconciliation method. Under both approaches, the conclusion is that the formula for the reconciliation of best guesses is a weighted arithmetic average, with the inverse of uncertainties as weights, and that the formula for the reconciliation of uncertainties is a harmonic average.


2011 ◽  
Vol 403-408 ◽  
pp. 400-404
Author(s):  
Bin Yang

Trustworthy software is more and more important. Through studying the basic characters of trustworthy software and the substance of axiomatic design, the method to measure trustworthiness of software based on axiomatic design is creatively proposed. Applying information axiom and weakest pre-conditions for any command C with a post-condition R, the measurement model of trustworthy software is set up.


2011 ◽  
Vol 282-283 ◽  
pp. 283-286
Author(s):  
Hai Dong Zhang ◽  
Yan Ping He

This paper presents a general framework for the study of rough set approximation operators in vague environment in which both constructive and axiomatic approaches are used. In constructive approach, by means of a vague relation defined by us, a new pair of vague rough approximation operators is first defined. Also some properties about the approximation operators are then discussed. In axiomatic approach, an operator-oriented characterization of vague rough sets is proposed, that is, vague rough approximation operators are defined by axioms.


Sign in / Sign up

Export Citation Format

Share Document