Research on the software trustworthiness extended measurement based on IMC
Feng He1, Haican Peng2, Kun Yao3
1College of Mathematics, Physics and Information Engineering, Jiaxing University, China
2Computer Science and Engineering, Beifang University of Nationalities, China
3Hanzhong Branch Company of Shanxi Province of China Telecom China
This paper introduces two methods of extension measure based on model checking algorithm of interactive Markov chains (IMC) to decide the software trustworthiness. The first extended measurement is to establish multiple corresponding temporal logic relations for each software trustworthy attribute that affecting software trustworthiness, also is to use multiple temporal logic to describe a software trustworthy attribute, which is aim to measure the software trustworthiness on the multi-level and fine-grained. Then the paper will determine the measurement ultimately. The second extended measurement is to locate for the untrusted states, then find out the detail path and detail parameters of the path. Next, we will get the location that not trusted through further analysis. Eventually meet people’s expectations by improving.