Generation method of minimal-complete-coverage interoperability test sequence based on digraph

Abstract

Even if two implementations of a protocol pass the conformance testing, it cannot guarantee that they can interoperate properly; so direct testing of interoperation is considered indispensable. During the interoperability testing, a minimal number of test sequences are expected to check as many as possible implementation errors. By using minimalcomplete-coverage criterion, the test sequence generation based on digraph can produce more effective test sequences.

Keywords

interoperability test, interoperability equivalence, minimal-complete-coverage criterion, algorithm of test sequence generation, digraph