PATHCRAWLER ONLINE

Like other tools, PathCrawler runs the program under test on each test-case in order to recover a trace of the execution path. However, in PathCrawler's case actual execution is chosen over symbolic execution merely for reasons of efficiency and to demonstrate that the test does indeed activate the intended execution path. Unlike tools designed mainly for bug-finding, PathCrawler does not use actual execution to recover the concrete results of calculations that it cannot treat. This is because these results can only provide an incomplete model of the program's semantics and PathCrawler aims for complete coverage of a certain class of programs rather than for incomplete coverage of any program... PathCrawler can generate inputs to explore all behaviours of your function but it cannot know whether the results are what you expected. That is the role of the oracle. PathCrawler provides a default oracle program which just says that the verdict of each test-case (when run on instrumented..

Also known as: PathCrawler

Primary location: Vancouver Canada