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
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.
test cover, Directed graph, finite state machine, path analysis, path predicates, test case selection

M. Chellappa, "Nontraversible Paths in a Program," in IEEE Transactions on Software Engineering, vol. 13, no. , pp. 751-756, 1987.
91 ms
(Ver 3.3 (11022016))