Title :
Structural Testing with PathCrawler: Tutorial Synopsis
Author :
Williams, Nicky ; Kosmatov, Nikolai
Author_Institution :
Software Safety Lab., CEA, Gif-sur-Yvette, France
Abstract :
Automatic testing tools allow huge savings but they do not exonerate the user from thinking carefully about what they want testing to achieve. To successfully use the Path Crawler-online structural testing tool, the user must provide not only the full source code, but also must set the test parameters and program the oracle. This demands a different"mindset" from that used for informal functional-style manual testing, as we explain with the help of several examples.
Keywords :
Web services; automatic test software; program testing; software tools; PathCrawler-online structural testing tool; automatic testing tools; informal functional-style manual testing; oracle programmimg; source code; test parameters; Arrays; Computer bugs; Crawlers; Debugging; Robustness; Runtime; Testing; C programs; automatic test generation; online testing; tutorial;
Conference_Titel :
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4673-2857-9
DOI :
10.1109/QSIC.2012.24