For the service value chain composed of service provider, service contractor and cloud service platform, an evolutionary game model is developed to improve its service quality considering the supervision of service platform. Firstly, the profit function is built in different strategies of all the game players, and then the profit matrix is also established. In order to create every individual’s evolutionary process, their replication dynamic equations are presented as well. Secondly, this work analyzes both the influence of related parameters on the decision of the game entities such as the strategic investment of entities and the gradual stability of the evolutionary game model. Moreover, the evolutionary stability strategy (ESS) of the different game players is obtained subsequently under the influence of different factors. The research results show that cloud service platform supervision can promote the high-quality service of service provider and service contractor. It can also push service provider to provide higher quality service through properly reducing the minimum service investment and its basic cost. At the same time, service contractor can provide high level service while increasing its service commitment.

Abstract Network protocols often have time constraints. Robustness testing of network protocol with time constraints aims to detect vulnerabilities of its implementation. However, related theory is not well developed. This paper proposes a novel Timed NPEFSM model containing sufficient inputs with various time values and their processing rules to formalize complex protocol with time constraints. In order to test delay transitions, Grid Timed NPEFSM is proposed and it can be generated by state characterization of Timed NPEFSM based on time sampling. Thus, these two models jointly guide robustness testing of protocol with time constraints. For test generation, we propose timed anomalous test case in which only state under test is characterized by time sampling and this method can simplify test sequences largely without compromising test coverage. We also propose several strategies to construct test sequences for timed transitions. To inject test data efficiently and effectively, three types of timed compound anomalous test cases are proposed and the algorithm of generating timed compound anomalous test cases considering both single‐field and multi‐field mutations is then presented. Standard test specification language TTCN‐3 is extended to describe timed compound anomalous test case. We illustrate our test method using an intra‐domain routing protocol OSPFv2. Copyright © 2010 John Wiley & Sons, Ltd.

The critical requirement on reliability, fault-tolerance and security of network devices highlights the necessity of protocol robustness testing. Mutation testing of protocol messages is an important part of robustness testing, but related theory and practices are not well developed. This paper builds a NFSM model for mutation testing of protocol messages and proposes two types of normal-verification sequence to enhance verdict mechanism. For single-field mutation testing of protocol messages, we propose the concept of compound anomalous test case to further simplify test sequences. As a standard test specification language, TTCN-3 reveals strong excellence in conformance testing, so we apply TTCN-3 to mutation testing and extend it according to test requirements. Using our method we test OSPFv2 sufficiently with a test system based on extended TTCN-3. The results indicate that our method has good capability of error-finding.