Validation and Testing of sC++ Applications

Validating and testing programs has received a lot of attention these last years and several techniques such as exhaustive search and Random Walk validation have been proposed. However, exhaustive search techniques are only usable for small programs. The only way to cope with complex industrial applications is based on heuristics such as the Random Walk validation techniques. In this paper we present a method that allows us to apply the Random Walk validation techniques to programs written in a concurrent version of C++, named sC++. The main advantages of this approach are that we avoid rewriting the program code between the different development phases and it enables us to validate our implementation at different stages of the development with little effort. 1