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.
Engineering Trustworthy Software Systems
