Software trustworthy measurements based on the structures of programming languages

The aim of this paper is to focus on how to evaluate the trustworthinesses of softwares based on the structures of programming languages. We firstly introduce a simple programming language including the basic structures such as the sequential composition, the if statement and the while statement, and define metrics for these different structures. Then, by using the metrics of these structures, we set up the measurements of the trustworthinesses of softwares, such as reputation measurement and success measurement. Finally, we give an example to show that how to compute the trustworthiness of a program.