View Graphs for Analysis and Testing of Programs at Different Abstraction Levels