The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1987 vol.13)
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. 6, pp. 751-756, June 1987, doi:10.1109/TSE.1987.233480
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool