Test Generation with PathCrawler

Structural testing allows validation engineers to ensure that all parts of the program source code are activated (or covered) by the executed tests. The parts of code to be covered are determined by the choice of a coverage criterion. Automated test generation tools can be used effectively to generate test inputs satisfying a selected coverage criterion. This chapter presents PathCrawlerPathCrawler , an automatic test generation tool for structural testing of C code, available as a plug-in of the Frama-C verification platform. We present the structural testing approach and describe the method implemented in PathCrawlerPathCrawler and its usage in practice. The freely available online test generation service PathCrawler-onlinePathCrawler-online is presented as well. Finally, we discuss the place of testing in software verification and validation with respect to other Frama-C plug-ins and give an overview of various research, industrial and teaching activities using PathCrawlerPathCrawler .