No abstract

Abstract-This paper addresses the issue of verifying transport protocol's parallel routing functionality on a vehicle gateway system. The focus of the paper is to construct a conflict-free input parameter model for testing this functionality. The input parameter model shall support the reduction of combinations to be tested and serves as a basis for automatic test case generation from a large space of input parameters. In the proposed approach, defined similarity criteria are used to cluster system input parameters represented as transport protocol routing instances into groups which stimulate similar behavior in the gateway when transport protocol routing is established. Subsequently, the two conflict-handling methods sub-models and avoid are utilized to prohibit invalid combinations of transport protocol routing instances. The proposed approach is applied on a complex example of real gateway with five buses, 390 transport protocol routing instances and diverse conflicts to illustrate its applicability.