Referenced Items are not available for this document.
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.
Published in:
Automation of Software Test, 2009. AST '09. ICSE Workshop on
Date of Conference: 18-19 May 2009
- Page(s):
- 70 - 78
- Print ISBN:
- 978-1-4244-3711-5
- INSPEC Accession Number:
- 10699258
- Conference Location :
- Vancouver, BC
- Digital Object Identifier :
- 10.1109/IWAST.2009.5069043
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
