Lec 15 Testing GUIs 1 CSCE 747 Fall 2013 CSCE 747 Software Testing and Quality Assurance Lecture 15 GUI Testing 10/21/2013 1

Lec 15 Testing GUIs 2 CSCE 747 Fall 2013 A Little more Ham(crest) anyone?  Class Summary AllOf Calculates the logical conjunction of multiple matchers. AnyOf Calculates the logical disjunction of multiple matchers. CombinableMatcher CombinableMatcher.CombinableBothMatcher CombinableMatcher.CombinableEitherMatcher DescribedAs Provides a custom description to another matcher. Every Is Decorates another Matcher, retaining the behaviour but allowing tests to be slightly more expressive.

Lec 15 Testing GUIs 3 CSCE 747 Fall 2013 Hamcrest Core continued IsAnything A matcher that always returns true. IsCollectionContaining IsEqual Is the value equal to another value, as tested by the Object.equals(java.lang.Object) invokedMethod? IsInstanceOfTests whether the value is an instance of a class. IsNot Calculates the logical negation of a matcher. IsNull Is the value null? IsSame Is the value the same object as another value? StringContains Tests if the argument is a string that contains a substring. StringEndsWith Tests if the argument is a string that contains a substring. StringStartsWith Tests if the argument is a string that contains a substring. SubstringMatcher

Lec 15 Testing GUIs 4 CSCE 747 Fall 2013 Overview of GUI Testing  Chapter 19 of text  event-driven nature  events  callbacks  UML of little help with event based systems  The Currency Conversion Program

Lec 15 Testing GUIs 5 CSCE 747 Fall 2013 The Currency Conversion Program  GUI

Lec 15 Testing GUIs 6 CSCE 747 Fall 2013

Lec 15 Testing GUIs 7 CSCE 747 Fall 2013 Integration Testing for the Currency Conversion Program

Lec 15 Testing GUIs 8 CSCE 747 Fall 2013

Lec 15 Testing GUIs 9 CSCE 747 Fall 2013 Refactored

Lec 15 Testing GUIs 10 CSCE 747 Fall 2013 Event Driven Petri Nets (EDPN)  System Testing for the Currency Conversion Program

Lec 15 Testing GUIs 11 CSCE 747 Fall 2013 Input Events

Lec 15 Testing GUIs 12 CSCE 747 Fall 2013 Output Events

Lec 15 Testing GUIs 13 CSCE 747 Fall 2013 What set of threads exercise a set of threads that:  Use every atomic system function  Use every port input  Use every port output

Lec 15 Testing GUIs 14 CSCE 747 Fall 2013 Threads with ASF sequences  T1 =  T2 =  T3 =  T4 =

Lec 15 Testing GUIs 15 CSCE 747 Fall 2013  T5 =  is a good example, where the user  converts a U.S. dollar amount to each of the four currencies,  then clears the screen and  quits.

Lec 15 Testing GUIs 16 CSCE 747 Fall 2013 Atomic System Functions

Lec 15 Testing GUIs 17 CSCE 747 Fall 2013 Petri Net Fig 4.9  Before Firing  After firing Page 66 Jorgenson, Software Testing

Lec 15 Testing GUIs 18 CSCE 747 Fall 2013 Event-Driven Petri Nets (EDPNs)  EDPN=(P, D, S, In, Out)  P set of ports  D set of data places  S a set of transitions  In subset of (P U D) x S  Out subset of S x (P U D)

Lec 15 Testing GUIs 19 CSCE 747 Fall 2013 EDPN – Windshield Wiper Control

Lec 15 Testing GUIs 20 CSCE 747 Fall 2013 Fig 19.2 EDPNs of atomic system functions

Lec 15 Testing GUIs 21 CSCE 747 Fall 2013

Lec 15 Testing GUIs 22 CSCE 747 Fall 2013

Lec 15 Testing GUIs 23 CSCE 747 Fall 2013

Lec 15 Testing GUIs 24 CSCE 747 Fall 2013

Lec 15 Testing GUIs 25 CSCE 747 Fall 2013

Lec 15 Testing GUIs 26 CSCE 747 Fall 2013 Composition of four ASFs

Lec 15 Testing GUIs 27 CSCE 747 Fall 2013

Lec 15 Testing GUIs 28 CSCE 747 Fall 2013

Lec 15 Testing GUIs 29 CSCE 747 Fall 2013