On Path Cover Problems in Digraphs and Applications to Program Testing | IEEE Journals & Magazine | IEEE Xplore

On Path Cover Problems in Digraphs and Applications to Program Testing


Abstract:

In this paper various path cover problems, arising in program testing, are discussed. Dilworth's theorem for acyclic digraphs is generalized. Two methods for fmding a min...Show More

Abstract:

In this paper various path cover problems, arising in program testing, are discussed. Dilworth's theorem for acyclic digraphs is generalized. Two methods for fmding a minimum set of paths (minimum path cover) that covers the vertices (or the edges) of a digraph are given. To model interactions among code segments, the notions of required pairs and required paths are introduced. It is shown that rmding a minimum path cover for a set of required pairs is NP-hard. An efficient algorithm is given for findng a minimum path cover for a set of required paths. Other constrained path problems are contsidered and their complexities are discussed.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-5, Issue: 5, September 1979)
Page(s): 520 - 529
Date of Publication: 18 September 2006

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.