A New Approach for Trustworthy Software Development
In order to develop the trustworthy software, the paper merges the software trustworthiness into software life cycle and proposes a new approach for trustworthy software development. The software behavior and results can be expected and the behavior states can be monitored during software running by introducing the trustworthy behavior trace of software. In the software design phase, we inserted checkpoint sensor at each checkpoint of trustworthy software; in the software testing phase, we created the trustworthy behavior trace of software and updated it for software update. The experimental results show that the software developed with our approach can detect the anomaly of software successfully and verify the effectiveness of our approach.
Helen Zhang, Gang Shen and David Jin
Z. Li et al., "A New Approach for Trustworthy Software Development", Advanced Materials Research, Vols. 225-226, pp. 870-873, 2011