Complexity of software trustworthiness and its dynamical statistical analysis methods  

作　　者：ZHENG ZhiMing MA ShiLong LI Wei JIANG Xin WEI Wei MA LiLi TANG ShaoTing 

机构地区：[1]Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry of Education, Beihang University, Beijing 100191, China [2]State Key Laboratory of Software Development Environment, Beihang University, Beijing 100191, China [3]School of Mathematical Sciences, Peking University, Beijing 100871, China

出　　处：《Science in China(Series F)》2009年第9期1651-1657,共7页中国科学（F辑英文版）

基　　金：the National Basic Research Program of China (Grant No. 2005CB321900);the National Natural Science Foundation of China (Grant No. 60473091)

摘　　要：Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present, the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study, this paper interprets the characteristics of be- haviors of software systems and the basic scientific problems of software trustworthiness complexity, analyzes the characteristics of complexity of software trustworthiness, and proposes to study the soft- ware trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods, the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices, and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example, the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis.Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present, the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study, this paper interprets the characteristics of be- haviors of software systems and the basic scientific problems of software trustworthiness complexity, analyzes the characteristics of complexity of software trustworthiness, and proposes to study the soft- ware trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods, the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices, and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example, the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis.

关 键 词：software trustworthiness trustworthiness attributes dynamical system invariant-measure 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论] F222.1[自动化与计算机技术—计算机科学与技术]