Software trustworthy measurements based on the structures of programming languages

Xinxing Wu,Yixiang Chen
DOI: https://doi.org/10.1109/ICSTE.2010.5608765
2010-01-01
Abstract: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.
What problem does this paper attempt to address?