Task 7 : Testing Debugging

eproducible re-execution of dynamic states. First, the space of states of the static analyzer of PVM programs (the SAPTE sub-tool) can be effectively reduced by the user, who provides the necessary information on intended process connections. This semantic driven information helps to avoid analyzing meaningless interprocess communications. Second, all communication events logged during regular program execution can be replayed in order to generate the corresponding testing scenario script. This script can then be used to re-execute the parallel application under test in order to step back and forth to explore alternative states and program behaviors. Our current experience shows that a more "in-depth" analysis is less efficient and in consequence increases testing costs. It confirms the role of users in providing an appropriate set-up for the analysis. The user interaction with the tool significantly extends the scope of structural testing by adding semantical information i