Inferring test oracles from the Javadoc documentation
Test suites should test exceptional behavior to detect faults in error-handling code. However, manually-written test suites tend to neglect exceptional behavior. Automatically-generated test suites, on the other hand, lack test oracles that verify whether runtime exceptions are the expected behavior of the code under test.
In this talk I will present a technique that automatically creates test oracles for exceptional behaviors from Javadoc comments. The technique uses a combination of natural language processing and program analysis. Our implementation, Toradocu, can be combined with a test input generation tool. Our experimental evaluation shows that Toradocu improves the fault-finding effectiveness of automatically-generated test suites, while at the same time it reduces the number of false positives.
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | Session 2WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
10:30 33mTalk | Inferring test oracles from the Javadoc documentation WODA Alessandra Gorla IMDEA Software Institute | ||
11:03 33mTalk | The high-interest credit card of runtime enforcement WODA Ben Livshits Microsoft Research | ||
11:36 33mTalk | Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications WODA Steven Arzt TU Darmstadt, Germany |