Measurements of Software Trustworthiness Based on Axiomatic Design

bin yang
DOI: https://doi.org/10.4028/www.scientific.net/AMR.403-408.400
2012-01-01
Abstract: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.
What problem does this paper attempt to address?