Software systems have become more and more powerful, but also more and more complex.
Complexity analysis can help software engineers to plan their test activity easily and accurately.
Path analysis and path execution condition extraction performed by Panorama can help users design their test cases efficiently. But it is hard to know how complex a program module is without a complex measurement tool. McCabe's Cyclomatic Complexity is easy to measure, but it only consider the effect of branching nodes without considering the effect of conjunction nodes in the control flow graph of a program. It also cannot differentiate the amount of effort needed for different level of test coverage, such as block coverage or condition-segment coverage. It is hard to display an unexecuted path and hard to know the execution conditions without an automated tool.