A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols
Issue No. 04 - April (2000 vol. 49)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.844345
<p><b>Abstract</b>—The minimum length test sequence generation method proposed in [<ref type="bib" rid="bibT03172">2</ref>] for conformance testing of a protocol uses Unique Input Sequences (UIS) for state identification. This method, called the U-method, requires that the test graph, a graph derived from the protocol, be connected. This requirement also needs to be satisfied in the case of the MU-method [<ref type="bib" rid="bibT031731">31</ref>], [<ref type="bib" rid="bibT031730">30</ref>], which assumes that the multiple UISs are available for each state. Thus, the U-method and the MU-method may not provide minimum length test sequences in cases where the test graph is not connected. Nevertheless, these methods generate minimum length test sequences with high fault coverage whenever the test graph is connected. This raises an important problem: Does there exist an assignment of UISs to the transitions such that the resulting test graph is connected? In this paper, we formulate this problem as a maximum cardinality two matroid intersection problem and discuss an efficient algorithmic solution. We also point out the role of the work in the minimum length test sequence generation problem.</p>
Protocol, communication, communication protocol, protocol testing, graph theory, matroids, algorithms.
T. Ramalingom, Anindya Das, Krishnaiyan Thulasiraman, "A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols", IEEE Transactions on Computers, vol. 49, no. , pp. 317-330, April 2000, doi:10.1109/12.844345