The Community for Technology Leaders
Automation of Software Test, Second International Workshop on (2009)
Vancouver, BC Canada
May 18, 2009 to May 19, 2009
ISBN: 978-1-4244-3711-5
pp: 70-78
Bernard Botella , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Mickael Delahaye , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Stephane Hong-Tuan-Ha , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Nikolai Kosmatov , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Patricia Mouy , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Muriel Roger , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Nicky Williams , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
ABSTRACT
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used to automate this activity, and several evaluation criteria of automatic test generation tools for C programs. These criteria correspond to the issues identified during our ongoing experience in the development of PathCrawler and its application to industrial software. They include issues arising for some specific types of software. Some of them are still difficult open problems. Others are (partially) solved, and the solution adopted in PathCrawler is discussed. We believe that these criteria must be satisfied in order for the automation of structural testing to become an industrial reality.
INDEX TERMS
automatic test pattern generation, C language, program testing, software reliability
CITATION

B. Botella et al., "Automating structural testing of C programs: Experience with PathCrawler," 2009 ICSE Workshop on Automation of Software Test (AST 2009)(AST), Vancouver, BC, 2009, pp. 70-78.
doi:10.1109/IWAST.2009.5069043
94 ms
(Ver 3.3 (11022016))