A lesson on structural testing with pathcrawler-online.com

Authors:
Nikolai Kosmatov;Nicky Williams;Bernard Botella;Muriel Roger;Omar Chebaro
Affiliations:
Software Safety Laboratory, CEA, LIST, Gif-sur-Yvette, France;Software Safety Laboratory, CEA, LIST, Gif-sur-Yvette, France;Software Safety Laboratory, CEA, LIST, Gif-sur-Yvette, France;Software Safety Laboratory, CEA, LIST, Gif-sur-Yvette, France;ASCOLA (EMN-INRIA, LINA), École des Mines de Nantes, Nantes, France
Venue:
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Year:
2012

Citing 10
Cited 0

DART: directed automated random testing

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
CUTE: a concolic unit testing engine for C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
EXE: automatically generating inputs of death

Proceedings of the 13th ACM conference on Computer and communications security
Proofs from tests

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Euclide: A Constraint-Based Testing Framework for Critical C Programs

ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Pex: white box test generation for .NET

TAP'08 Proceedings of the 2nd international conference on Tests and proofs
The sante tool: value analysis, program slicing and test generation for C program debugging

TAP'11 Proceedings of the 5th international conference on Tests and proofs
PathCrawler: automatic generation of path tests by combining static and dynamic analysis

EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Exploration of the capabilities of constraint programming for software verification

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Program slicing enhances a verification technique combining static and dynamic analysis

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

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.