Synchronizable test sequence generation based on the multiplex digraph for multi-party protocol conformance testing

[[abstract]]Testing a protocol implementation involving more than two communicating parties is achieved by a multi party testing system with more than two testers. The paper proposes a new test sequence generation technique to ensure a protocol implementation conformity to its specification in a multi party testing system where both external synchronization and input/output operation costs are taken into consideration. The technique consists of a set of transformation rules that constructs a multiplex digraph from a given finite state machine (FSM) representation of the multiparty protocol specification. The digraph can represent the testing process cost of the test sequence executed in any given configuration of the multi party testing system architecture. By introducing some graph algorithms, the technique can be used to generate the minimum cost synchronizable transfer sequence, and can be applied to the T and Overlapping U methods to generate synchronizable test sequences. By defining very high cost for external synchronization operations, the technique can be used to generate a synchronizable test sequence that contains as few external synchronization operations as possible, so that we may remove some external channels to simplify the testing system architecture[[fileno]]2030209030062[[department]]資訊工程學