Research On Complex Network Based Trusted Software

The research is based on the national natural science foundation, "The measurement method and system of aerospace embedded trusted software" to understand the complexity of the software system, understand the formation mechanism and propagation behavior of cascading failures in the software system. Thus the efficiency of software testing is further enhanced to guarantee the software trusted with fewer test cases.Based on complex networks, weighted networks obtained from software execution process are analyzed to understand the complexity of the software system; Based on the coupled map lattice, the nonlinear dynamic properties of each node, the formation mechanism and propagation behavior of cascading failures in the software system are analyzed. Finally, based on critical nodes and critical paths, the methods are introduced respectively to guarantee the software trusted.These experiment results show that weighted networks from dynamic software execution are of small-world and free scale. The scale of software cascading failures is larger when the external disturbance is added to the bigger in-node-strength node than the smaller in-node-strength. Based on critical nodes and critical paths, the methods are introduced can guarantee the software trusted with fewer test cases.