Abstract
PathCrawler is a test generation tool developed at CEA LIST for structural testing of C programs. The new version of PathCrawler is developed in an entirely novel form: that of a test-case generation web service which is freely accessible at PathCrawler-online.com. This service allows many test-case generation sessions to be run in parallel in a completely robust and secure way. This tool demo and teaching experience paper presents PathCrawler-online.com in the form of a lesson on structural software testing, showing its benefits, limitations and illustrating the usage of the tool on simple examples.
This work has been partially funded by several ANR projects.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: Automatic generation of path tests by combining static and dynamic analysis. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 281–292. Springer, Heidelberg (2005)
Botella, B., Delahaye, M., Hong-Tuan-Ha, S., Kosmatov, N., Mouy, P., Roger, M., Williams, N.: Automating structural testing of C programs: Experience with PathCrawler. In: AST 2009 (2009)
Kosmatov, N.: PathCrawler online (2010-2012), http://pathcrawler-online.com/
Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: PLDI 2005 (2005)
Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC/FSE 2005 (2005)
Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. In: CCS 2006 (2006)
Tillmann, N., de Halleux, J.: Pex–White Box Test Generation for .NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134–153. Springer, Heidelberg (2008)
Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA 2008 (2008)
AgitarOne Test Generator (2012), http://www.agitar.com/
Gotlieb, A.: Euclide: a constraint-based testing platform for critical C programs. In: ICST 2009 (2009), http://euclide.gforge.inria.fr/
Pex for fun: Online evaluation version of PEX (2011), http://pexforfun.com/
Interproc online (2012), http://pop-art.inrialpes.fr/interproc/interprocweb.cgi
WebCHR online (2012), http://dtai.cs.kuleuven.be/CHR/webchr.shtml
Rueher, M.: Exploration of the Capabilities of Constraint Programming for Software Verification. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol. 3920, pp. 182–196. Springer, Heidelberg (2006)
Williams, N.: WCET measurement using modified path testing. In: WCET 2005 (2005)
Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 78–83. Springer, Heidelberg (2011)
Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: Program slicing enhances a verification technique combining static and dynamic analysis. In: SAC 2012 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kosmatov, N., Williams, N., Botella, B., Roger, M., Chebaro, O. (2012). A Lesson on Structural Testing with PathCrawler-online.com . In: Brucker, A.D., Julliand, J. (eds) Tests and Proofs. TAP 2012. Lecture Notes in Computer Science, vol 7305. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30473-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-30473-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30472-9
Online ISBN: 978-3-642-30473-6
eBook Packages: Computer ScienceComputer Science (R0)