Software Trustworthiness. Governance and management. Specification

2014 ◽  
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.


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.


2019 ◽  
Vol 15 (9) ◽  
pp. 2364 ◽  
Author(s):  
Tao Hongwei ◽  
Chen Yixiang ◽  
Wu Hengyang ◽  
Deng Rumei

Sign in / Sign up

Export Citation Format

Share Document