Docsity
Docsity
Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity

Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan

Guidelines and tips
Guidelines and tips
Sell on Docsity
Sell on Docsity
Docsity AI
Docsity AI
Log inSign up

Prepare for your exams

Study with the several resources on Docsity

Find documents

Prepare for your exams with the study notes shared by other students like you on Docsity

Search for your university

Find the specific documents for your university's exams

Docsity AINEW

Summarize your documents, ask them questions, convert them into quizzes and concept maps

Explore questions

Clear up your doubts by reading the answers to questions asked by your fellow students

Earn points to download

Earn points by helping other students or get them with a premium plan

Share documents
download point icon20 Points

For each uploaded document

Answer questions
download point icon5 Points

For each given answer (max 1 per day)

All the ways to get free points
Get points immediately

Choose a premium plan with all the points you need

Study Opportunities

Choose your next study program

Get in touch with the best universities in the world. Search through thousands of universities and official partners

Community

Ask the community

Ask the community for help and clear up your study doubts

Free resources

Our save-the-student-ebooks!

Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors

Plan Generation for GUI Testing - Slides | CMSC 838, Study notes of Computer Science

University of MarylandComputer Science
Prof. Atif M. Memon

Material Type: Notes; Professor: Memon; Class: ADV TOPC PROG LANG; Subject: Computer Science; University: University of Maryland; Term: Fall 2003;

Typology: Study notes

Pre 2010

Uploaded on 02/13/2009

koofers-user-iao-1
koofers-user-iao-1 🇺🇸

10 documents

1 / 13

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
1
1
Plan Generation for GUI Testing
•The 21st International Conference on Software Engineering
•The Fifth International Conference on Artificial Intelligence
Planning and Scheduling
•IEEE Transactions on Software Engineering
2
GUI
Underlying
Code
Research Focus
Interactions between the
GUI and the Underlying Code
pf3
pf4
pf5
pf8
pf9
pfa
pfd

Partial preview of the text

Download Plan Generation for GUI Testing - Slides | CMSC 838 and more Study notes Computer Science in PDF only on Docsity!

Plan Generation for GUI Testing

  • The 21st International Conference on Software Engineering
  • The Fifth International Conference on Artificial Intelligence Planning and Scheduling
  • IEEE Transactions on Software Engineering

2

GUI

Underlying

Code

Research Focus

Interactions between the GUI and the Underlying Code

  • GUIs are Event Driven
  • Individual User Events
    • NOT ENOUGH!
    • Sequences of User Events lead to Different States
  • Test Case: Sequence of User Events
  • How to Generate Test Cases?
  • Use Planning to Select Likely Test

Cases

Why Planning for GUI Testing

4

  • Infinitely Many
  • Randomly Choose Sequences
  • Expert Chooses Sequences
  • Automatically Generate Events for

COMMONLY USED TASKS

Selecting Test Sequences

Initial State Goal State

Multiple Event

This is the text. Sequences Thisis the text.

Overview of Test Generation

Phase Step Test Designer Automatic

Planning-based

System

Setup 1 Derive Planning

Operators

from GUI

2 Code Preconditions

and Effects of

Operators

Test Case

Generation

3 Specify a Task

(Initial and Goal

States)

4 Generate Test

Cases

8

Straightforward Approach

  • Define One Operator for each User

Action

Operator :: CUT Preconditions : isCurrent(Menu2).

Effects : FORALL Obj in Objects Selected(Obj)? ADD inClipboard(Obj) DEL onScreen(Obj) DEL Selected(Obj) ADD isCurrent(Menu1) DEL isCurrent(Menu2). Menu

Menu

File Edit View Ins

Cut

Exploit the GUI’s Structure

  • Reduce the Number of Operators
    • System more Efficient
    • Easier for the Test Designer

10

Opening Modal Windows

English (United States)

OK Cancel Default...

Set Language

Create Hierarchical Operators

Two Types of Abstractions

  • Combine Buttons? Create System- Interaction Operators
  • Decompose GUI Hierarchically? Create Abstract Operators

14

Create System-Interaction Operators

File_SendTo_MailRecipient

= <File + SendTo +

MailRecipient >

Sys-Interaction Operator:

File

Send To

Mail Recipient

Create Abstract Operators

SelectFromList() Default OK Cancel

Language Window’s Operator Set

Main GUI’s Operator Set … Set Language SelectFromList() Default OK Cancel ...

English (United States)

OK Cancel Default...

Straightforward

Approach

Set Language

Set Language ...

Main GUI’s Operator Set

Using Abstraction

16

Create Abstract Operators

SetLanguage()

SelectFromList (“English(US)”)

OK

Abstract Operator

Planner

SelectFromList() Default OK Cancel

Language Window’s Operator Set

SetLanguage()

High Level Plan

Sub Plan Define Abstraction

Test Case

SelectText (“This”)

FormatFont (“This”, 18pt)

FormatFont (“text”, Underline)

SelectText (“text”)

Primitive Operator

Primitive Operator

Abstract Operator

Abstract Operator

I N I T I A L
G
O
A
L

20

FormatFont 18 OK FormatFont^ Underline^ OK

Planner Planner

Format Font Format^ Font

Mapping Mapping

SelectText (“This”) Format Font 18 OK SelectText (“text”)

Format Font Underline OK

22

Alternative Test Case

SelectText (“This”)

SelectFromList (18)

FormatFont (“text”, Underline)

SelectText (“text”)

Primitive Operator

Primitive Operator

Primitive Operator

Abstract Operator

SelectText (“This”)

SelectFromList (18)

SelectText (“text”)

Format Font (^) Underline OK

SelectText (“This”)

FormatFont (“This”, 18pt)

FormatFont (“text”, Underline)

SelectText (“text”)

Primitive Operator

Primitive Operator

Abstract Operator

Abstract Operator

I N I T I A L
G
O
A
L

Experimental Results

(Task)

Plan

No.

Plan

Time

(sec.)

Sub Plan

Time

(sec.)

Total

Time

(sec.)

26

Concluding Remarks

  • Automatic Planning is a Feasible

Approach for GUI Test Case Generation

  • Automatic Generation of

Preconditions and Effects from GUI Specifications

  • Generate Expected Output

(Automated Verification)