Monday February 22 4:00 - 4:50 PM Kelley 1001 [map]<http://oregonstate.edu/cw_tools/campusmap/?&offsetX=1576&offsetY=526&point=?298,111>
Alex Groce Oregon State University Path Coverage and Its Discontents Path coverage is well known in software testing as a very powerful but expensive to pursue coverage metric. In recent years, techniques combining symbolic execution and dynamic analysis (known as "concolic testing methods") have re-examined path coverage as a plausible goal in software testing. Unfortunately, even these tools are inefficient in many cases, requiring days of computation to produce many essentially uninteresting paths. We show how use of path coverage to test automatic testing systems suggested a hybrid approach to producing path (and thus branch) coverage, exploiting the high efficiency of model checking and random testing in combination with the precision of "concolic" testing. Biography Alex Groce received his PhD in Computer Science from Carnegie Mellon University in 2005, and B.S. degrees in Computer Science and Multidisciplinary Studies (with a focus on English literature) from North Carolina State University in 1999. Before joining the Oregon State University faculty in 2009, he was a core member of the Laboratory for Reliable Software at NASA's Jet Propulsion Laboratory, and taught classes on Software Testing at the California Institute of Technology. His activities at JPL included a role as lead developer and designer for test automation for the Mars Science Laboratory mission's internal flight software test team, and lead roles in testing file systems for space missions. His research interests are in software engineering, particularly testing, model checking, code analysis, debugging, and error explanation. He focuses on software engineering from an "investigative" viewpoint, with an emphasis on the execution traces that programs produce -- software engineering as the art and science of building programs with a desired set of executions.
_______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
