1. ECE 453/ SE 465 Prof. Alencar University of Waterloo 1 Examples on Functional Testing Winter 2007 Based on the tutorials by Prof. Kontogiannis, Winter 2006 Presented by Akhilesh Kumar, Aleh Smalyanau a5kumar@vlsi.uwaterloo.caa5kumar@vlsi.uwaterloo.ca, aleh.smalyanau@gmail.com

2. ECE453/SE465 2University of Waterloo Agenda Telephone Billing Example Telephone Billing Example Flowchart → Decision Table Example Flowchart → Decision Table Example

3. ECE453/SE465 3University of Waterloo Agenda  Telephone Billing Example Flowchart → Decision Table Example Flowchart → Decision Table Example

4. ECE453/SE465 4University of Waterloo Telephone Billing Example The Spring and Fall changes between Standard and Daylight Savings time create an interesting problem for telephone bills. Develop equivalence classes for a long distance telephone service that bills calls at a flat rate of $0.05 per minute. Assume that the chargeable time of a call begins when the called party answers, and ends when the calling party disconnects The Spring and Fall changes between Standard and Daylight Savings time create an interesting problem for telephone bills. Develop equivalence classes for a long distance telephone service that bills calls at a flat rate of $0.05 per minute. Assume that the chargeable time of a call begins when the called party answers, and ends when the calling party disconnects

5. ECE453/SE465 5University of Waterloo Telephone Billing Example For simplicity we consider a fixed Daylight Saving Time beginning date (March 13), and a fixed Standard Time beginning date (November 7) For simplicity we consider a fixed Daylight Saving Time beginning date (March 13), and a fixed Standard Time beginning date (November 7) For simplicity we consider that time switches at midnight (March 13 and November 7) For simplicity we consider that time switches at midnight (March 13 and November 7)

6. ECE453/SE465 6University of Waterloo Telephone Billing Example Inputs: Inputs: Start Date Start Date Start Time Start Time End Date End Date End Time End Time Outputs: Outputs: Charge Charge Start Date & Time < End Date & Time Start Date & Time < End Date & Time

7. ECE453/SE465 7University of Waterloo Telephone Billing Example Proposed equivalence relation: which are the crucial start/end dates to consider and which are the crucial start/end times that affect the billing procedure? Proposed equivalence relation: which are the crucial start/end dates to consider and which are the crucial start/end times that affect the billing procedure?

8. ECE453/SE465 8University of Waterloo Telephone Billing Example Start Date Start Date SD 1 = { startDate : January 1 ≤ startDate < March 13 } SD 1 = { startDate : January 1 ≤ startDate < March 13 } SD 2 = { startDate : startDate = March 13 } SD 2 = { startDate : startDate = March 13 } SD 3 = { startDate : March 13 < startDate < November 7 } SD 3 = { startDate : March 13 < startDate < November 7 } SD 4 = { startDate : startDate = November 7 } SD 4 = { startDate : startDate = November 7 } SD 5 = { startDate : November 7 < startDate ≤ December 31 } SD 5 = { startDate : November 7 < startDate ≤ December 31 } Start Time Start Time ST 1 = { startTime : startTime = 24h clock } ST 1 = { startTime : startTime = 24h clock } End Date End Date ED 1 = { endDate : January 1 ≤ endDate < March 13 } ED 1 = { endDate : January 1 ≤ endDate < March 13 } ED 2 = { endDate : endDate = March 13 } ED 2 = { endDate : endDate = March 13 } ED 3 = { endDate : March 13 < endDate < November 7 } ED 3 = { endDate : March 13 < endDate < November 7 } ED 4 = { endDate : endDate = November 7 } ED 4 = { endDate : endDate = November 7 } ED 5 = { endDate : November 7 < endDate ≤ December 31 } ED 5 = { endDate : November 7 < endDate ≤ December 31 } End Time End Time ET 1 = { endTime : endTime = 24h clock } ET 1 = { endTime : endTime = 24h clock }

9. ECE453/SE465 9University of Waterloo Telephone Billing Example SD 6 = { startDate : invalid dates } ED 6 = { endDate : invalid dates } ST 2 = { startTime : invalid times } ET 2 = { endTime : invalid times } Weak Equivalence Class Test Cases Traditional Equivalence Class Test Cases

10. ECE453/SE465 10University of Waterloo Telephone Billing Example Strong Equivalence Class Test Cases

11. ECE453/SE465 11University of Waterloo Telephone Billing Example Decision Table

12. ECE453/SE465 12University of Waterloo Agenda Telephone Billing Example Telephone Billing Example  Flowchart → Decision Table Example

13. ECE453/SE465 13University of Waterloo Flowchart → Decision Table Example

14. ECE453/SE465 14University of Waterloo Flowchart → Decision Table Example

15. ECE453/SE465 15University of Waterloo Agenda Telephone Billing Example Telephone Billing Example Flowchart → Decision Table Example Flowchart → Decision Table Example

16. ECE453/SE465 16University of Waterloo References Software Testing A Craftsman's Approach 2nd edition, Paul C. Jorgensen, CRC Press (Chapters 5, 6, and 7) Software Testing A Craftsman's Approach 2nd edition, Paul C. Jorgensen, CRC Press (Chapters 5, 6, and 7) Software Testing Techniques, Second Edition, Boris Beizer Software Testing Techniques, Second Edition, Boris Beizer