Demo for ASE 2012

This web page includes the files related to the Tobias Demo at ASE 2012. It includes:

• The initial version of the 4 pages article describing the new features of the tool (traceability annotations and related selectors).
• VendingMachine.java including the class under test.
• The five Tobias input files used in the videos of the demo
• 1-Add2Coins.txt is a basic test pattern.
• 2-StructuredAdd2Coins.txt is a structured version of the test pattern, including the use of traceability annotations.
• 3-buyChocolate.txt is a test pattern which covers all methods of the class.
• 4-RobustnessOnlySelection.txt illustrates the combined use of annotations and selectors to focus on robustness tests.
• 5-SelectionCoveringAllTags.txt is a selector performing a test suite reduction based on annotations.
• The five videos of the demo

---

Videos for the demo

The full demo has been recorded and is available as a series of 5 short videos, corresponding to each of the five input files. The videos last from 4 to 8 minutes.

• Part 1 : basic test pattern (7'26")
• Part 2 : structured version of the test pattern (4'15")
• Part 3 : testing the whole class (6'40")
• Part 4 : structured version of the test pattern (4'58")
• Part 5 : structured version of the test pattern (3'50")

Part 1 : basic test pattern (7'26")

Part 1 shows the basic features of the tool.

TobiasDemo_Part_1_of_5 par yledru

Part 2 : structured version of the test pattern (4'15")

Part 2 shows the annotations and traceability features of the tool.

TobiasDemo_Part_2_of_5 par yledru

Part 3 : testing the whole class (6'40")

Part 3 shows how to test the complete class used in the demo.

TobiasDemo_Part_3_of_5 par yledru

Part 4 : structured version of the test pattern (4'58")

Part 4 shows the use of selectors to focus on a subset of tests tagged with selected annotations.

TobiasDemo_Part_4_of_5 par yledru

Part 5 : structured version of the test pattern (3'50")

Part 5 shows the use of selectors combined with annotation to reduce the test suite to a representative subset, and concludes the demo.

TobiasDemo_Part_5_of_5 par yledru

---