State based or Graph based testing

Slides:



Advertisements
Similar presentations
Digital Certificate Installation & User Guide For Class-2 Certificates.
Advertisements

Digital Certificate Installation & User Guide For Class-2 Certificates.
Resubmitting a Rejected PCR 1. A rejected PCR can be corrected and resubmitted through workflow. Attachments can also be corrected. A WITHDRAW button.
United Nations University United Nations Development Programme UNU Atlas Implementation Project Atlas Briefing Sessions – Tokyo Mar 2009 Requisitions,
Context-Free Grammars Lecture 7
1 Foundations of Software Design Lecture 23: Finite Automata and Context-Free Grammars Marti Hearst Fall 2002.
Key to Homework #2 1. What is the language of L-system G = ({a, b, c}, h, acb ), where the rewriting rule h is defined as follows: h (a) = aa h (b) = cb.
Using ITAMS as a Supervisor or ITAMS Approver Login to ITAMS as usual, at: Enter your User Identification Number (Same as your.
Finite Automata Chapter 5. Formal Language Definitions Why need formal definitions of language –Define a precise, unambiguous and uniform interpretation.
CS5371 Theory of Computation Lecture 12: Computability III (Decidable Languages relating to DFA, NFA, and CFG)
Processing Department Time Entry Human Resources.
Double click on the Internet Explorer Icon on your Desktop. This should take you to the Polytechnic of Namibia Intranet Home site or Click on this link.
CMSC 345 Fall 2000 Unit Testing. The testing process.
DAY 20: ACCESS CHAPTER 5 Tazin Afrin October 29,
REQUIREMENTS CAPTURE 1 ASU Course Registration System Use-case Model Actor.
REQUIREMENTS CAPTURE 1 ASU Course Registration System Use-case Model.
Write Equivalent Fractions
BASIS Transaction Review: How to find the information needed to approve or not
Information Systems Engineering Activity Diagram 1.
Data Validation 2 When designing a workbook, a good design should consider who is entering the data and how important it is that the data being entered.
Sahar Mosleh California State University San MarcosPage 1 Finite State Machine.
Language Translation Part 2: Finite State Machines.
1 Introduction to Turing Machines
CS 404Ahmed Ezzat 1 CS 404 Introduction to Compiler Design Lecture 1 Ahmed Ezzat.
Dynamic White-Box Testing What is code coverage? What are the different types of code coverage? How to derive test cases from control flows?
6. Pushdown Automata CIS Automata and Formal Languages – Pei Wang.
Chapter 7, Section 1 Posting Journal Entries to General Ledger Accounts.
Workplace Equity Information Management System (WEIMS)
Software Testing.
Some Simple Design Modeling Techniques
Methodology Logical Database Design for the Relational Model
BCT 2083 DISCRETE STRUCTURE AND APPLICATIONS
Understanding KYC Batch Upload Process
Shopping Cart Completion Workflow
Lecture 2 Lexical Analysis Joey Paquet, 2000, 2002, 2012.
Objective – To use tables to represent functions.
Tax Professional (CA) - Registration and Services
So, You Want to Hire a Student Worker?
Or else right click on desired stock name
Manager Self Service Terminations
Human resources announces: electronic employee contract/notification system contract/notification offers will be distributed via utilizing.
Dividing Decimals.
Date of download: 1/1/2018 Copyright © ASME. All rights reserved.
11i Journal Workflow: Maximize the Potential
Regular Grammar - Finite Automaton
Benefit Management Melissa Wagner.
Resubmitting a Rejected PCR
GDSS – Digital Signature
Dividing Decimals.
Dividing Decimals.
Changing Fractions to Decimals Guided Notes
Bryan Burlingame 28 November 2018
Tax Professional (CA) - Registration and Services
Finite Automata.
Installation & User Guide
VOCABULARY! EXAMPLES! Relation: Domain: Range: Function:
Aleph Circulation Loans & Returns Version 19
Test Case Test case Describes an input Description and an expected output Description. Test case ID Section 1: Before execution Section 2: After execution.
Tax Professional (CA) - Registration and Services
United Maintenance and Contracting Company Business Process Reengineering Employee Affairs Business Processes The Input area of the Beam is a shape.
2) For each of the finite state machines above, use the sets derived in part 1) to produce the following:   i.                  a set of sequences that.
(4)² 16 3(5) – 2 = 13 3(4) – (1)² 12 – ● (3) – 2 9 – 2 = 7
QPTM- Nominations.
User Guide Employee & Manager
UR Procurement: Change Requisition Requester-Initiator
Lecture 13 Teamwork Bryan Burlingame 1 May 2019.
Information Systems Engineering
L5-7 Notes: Fractions as Decimals
UR Procurement: Change Requisition Requester-Initiator
Presentation transcript:

State based or Graph based testing Graph based testing methods are applicable to generate test cases for state machines such as language translators, workflows, transaction flows and data flows. Example An application validate a number according to the following simple rules 1. A number can start with an optional sign.

2. The optional sign can be followed by any number of digits. 3 2. The optional sign can be followed by any number of digits. 3. The digit can be optionally followed by a decimal point, represented by a period. 4. If there is decimal point, then there should be two digits after the decimal 5. No – whether or not it has a decimal point, should be terminated by a blank.

DIGIT 3 DIGIT 4 2 Decimal point + 0r - DIGIT DIGIT 5 1 Blank 6

State transition table can be used to derive test cases to test valid and invalid numbers. Start from the start state. Choose a path that leads to the next state Invalid input - generate an error condition test case. Repeat the process until reach the final state.

Current state Input Next state 1 Digit 2 + - Blank 6 Decimal point 3 4 5

Graph based testing It is useful to represent a transaction or workflows. Example : employee leave application He fills up a leave application, by providing the details like ID no, starting and ending date. Automation system validate whether the employee is eligible for the requisite number of days of leave.

3. Verification by manager ( any deadlines during that period) 4 3. Verification by manager ( any deadlines during that period) 4. Final approval/rejection. Graph representation for the above process Employee desires leave HR verification Manager ensure feasibility Reject Leave application form eligible Feasible ineligible Not feasible Approve