Research on Software Cascading Failures

Software testing and software creditability evaluation is becoming a theoretical problem, which needs prompt solving due to large software in size and complex software structure. Hence Dependent software has also become a research hotspot in software engineering research at present. Some experiment results show that networks of static function-call and weighted networks from dynamic software execution are of small-world and free scale, which lays a theoretical foundation for software testing methodology based on critical nodes to improve testing efficiency and to reduce total testing cost. Based on the model of coupled map lattice, the nonlinear dynamic properties of each node and the formation mechanism and propagation behavior of cascading failures in the software system are studied. The testing based on critical node can guarantee credibility of software execution with fewer test cases.