The Community for Technology Leaders
Green Image
Issue No. 06 - June (1987 vol. 13)
ISSN: 0098-5589
pp: 751-756
M. Chellappa , Flight Control Systems Division, Aeronautical Development Establishment
ABSTRACT
A finite-state machine representation of a program graph is shown to have the property of exposing nontraversible paths in a program. A minimal covering set of paths for such a program may fail to yield realizable test cases, as the nontraversible paths have inconsistent path predicates.
INDEX TERMS
test cover, Directed graph, finite state machine, path analysis, path predicates, test case selection
CITATION
M. Chellappa, "Nontraversible Paths in a Program", IEEE Transactions on Software Engineering, vol. 13, no. , pp. 751-756, June 1987, doi:10.1109/TSE.1987.233480
104 ms
(Ver 3.1 (10032016))