© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre.

Slides:



Advertisements
Similar presentations
Model-Based Testing with Smartesting Jean-Pierre Schoch Sogetis Second Testing Academy 29 April 2009.
Advertisements

The 4 T’s of Test Automation:
Testing Workflow Purpose
Visual Scripting of XML
System Integration Verification and Validation
Test Automation Success: Choosing the Right People & Process
Automated Software Testing: Test Execution and Review Amritha Muralidharan (axm16u)
HP Quality Center Overview.
Software Testing Workshop Regression Automation 11-Jul-08 COPYRIGHT NOTICE Copyright © 2008 Polaris Software Lab Limited All rights reserved. These materials.
Object-Oriented Software Development CS 3331 Fall 2009.
1COM6030 Systems Analysis and Design © University of Sheffield 2005 COM 6030 Software Analysis and Design Lecture 2- Software Process Models and Project.
1 Lecture 2: Processes, Requirements, and Use Cases.
Key-word Driven Automation Framework Shiva Kumar Soumya Dalvi May 25, 2007.
Test Automation An Approach to Automated Software Regression Testing Presented by Adnet, Inc Feb 2015.
Alternate Software Development Methodologies
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
LOTUS to SharePoint Migration Services. © 2010 Star Knowledge Technology Team Alliance 2 Key Discussion Points Star Knowledge Value Proposition Microsoft.
GAI Proprietary Information
Roadmap to Continuous Integration Testing and Benefits Gowri Selka, Walgreens Natalie Koltun, Walgreens May 20th, 2014 ©2013 Walgreen Co. All rights reserved.
© Copyright 2014 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice. Accelerated Testing in.
Chapter 15 Design, Coding, and Testing. Copyright © 2005 Pearson Addison-Wesley. All rights reserved Design Document The next step in the Software.
1 Lecture 1: Processes, Requirements, and Use Cases.
Testing Components in the Context of a System CMSC 737 Fall 2006 Sharath Srinivas.
End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI
© 2008 IBM Corporation Behavioral Models for Software Development Andrei Kirshin, Dolev Dotan, Alan Hartman January 2008.
Software Testing Prasad G.
Introduction to Software Testing
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 17 Slide 1 Rapid software development.
Yaxiong Lin TestOptimalTestOptimal, LLC TestOptimal Model-based Testing Effective Test Case Design And Test Automation Twin Cities Quality Assurance Association.
TEST CASE DESIGN Prepared by: Fatih Kızkun. OUTLINE Introduction –Importance of Test –Essential Test Case Development A Variety of Test Methods –Risk.
- Chaitanya Krishna Pappala Enterprise Architect- a tool for Business process modelling.
 ETL: Extract Transformation and Load  Term is used to describe data migration or data conversion process  ETL may be part of the business process repeated.
CASE Tools And Their Effect On Software Quality Peter Geddis – pxg07u.
Complete and Integrated Lifecycle Management. Challenges 1.
Formal Methods 1. Software Engineering and Formal Methods  Every software engineering methodology is based on a recommended development process  proceeding.
An Introduction to MBT  what, why and when 张 坚
Software Engineering: A Practitioner’s Approach, 7/e Chapter 2 Prescriptive Process Models copyright © 1996, 2001, 2005 R.S. Pressman & Associates, Inc.
Copyright © Siemens AG All rights reserved. Essential Criteria on MBT to Ensure Quality of Software in Industry PVR Murthy Andreas Ulrich Siemens.
1 “ Understanding leads to perfection” Author: Herb Isenberg Ph.D A Bird’s Eye View Quality Foundations January 2011.
RUP Implementation and Testing
CS 360 Lecture 3.  The software process is a structured set of activities required to develop a software system.  Fundamental Assumption:  Good software.
© SMARTESTING – This document is the property of Smartesting. It may not be reproduced in whole or in part Model-Based Testing for Information.
Testing Basics of Testing Presented by: Vijay.C.G – Glister Tech.
Property of Progressive Insurance & Casualty Company 1 Agile Test Automation Created and Modified By: Nishant Awasthi January 13, 2009.
Testing Workflow In the Unified Process and Agile/Scrum processes.
Software Engineering Research paper presentation Ali Ahmad Formal Approaches to Software Testing Hierarchal GUI Test Case Generation Using Automated Planning.
University of Southern California Center for Systems and Software Engineering Model-Based Software Engineering Supannika Koolmanojwong Spring 2013.
Copyright © 2013 Curt Hill UML Unified Modeling Language.
Experiences from Representing Software Architecture in a Large Industrial Project Using Model Driven Development Andres Mattsson 1 Björn Lundell 2 Brian.
CASE (Computer-Aided Software Engineering) Tools Software that is used to support software process activities. Provides software process support by:- –
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
Requirements Engineering Requirements Engineering in Agile Methods Lecture-28.
Model Based Testing implementing with tools Ruud van Houwelingen 1 December 2, 2009.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes.
Software Development Process CS 360 Lecture 3. Software Process The software process is a structured set of activities required to develop a software.
Introduction to Software Testing (2nd edition) Chapter 5 Criteria-Based Test Design Paul Ammann & Jeff Offutt
Prepared by: Fatih Kızkun
Methodologies and Algorithms
Paul Ammann & Jeff Offutt
Software Testing.
CIM Modeling for E&U - (Short Version)
Software Engineering: A Practitioner’s Approach, 7/e Chapter 2 Prescriptive Process Models copyright © 1996, 2001, 2005 R.S. Pressman & Associates, Inc.
Software Engineering: A Practitioner’s Approach, 7/e Chapter 2 Prescriptive Process Models copyright © 1996, 2001, 2005 R.S. Pressman & Associates, Inc.
Advantages OF BDD Testing
It is great that we automate our tests, but why are they so bad?
Introduction to Software Testing
Object Oriented Analysis and Design
Presented by Elodie Bernard
Rapid software development
Test Cases, Test Suites and Test Case management systems
Presentation transcript:

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre 1 1 Adopt Smartesting technology with Model Based Testing

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agile functional testing with a model-driven approach Kalyan Talluri Senior Consultant

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agile Testing Agile Environment 1.The time between two deliveries is short, and test suites must pass at all times. 2.Functional changes are frequently changing 3.Technical changes are frequently changing Testing Challenges 1.Poor Quality of test cases : How could a tester be efficient in scanning the changes in a few hundred tests repository, making the changes without a mistake and then executing them, all this inside a run 2.Less Productivity: Frequent changes mean a lot of regression. testing. Test design, manual execution & automation is time taking 3.Higher Cycle time to Deliver : Due to Manual test design & regression testing, testing duration will be increased for next iteration.

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile in Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Model-Driven Testing: What and Why? Limitations of manual test design 1.Applications can be complex, risky 2.Requirements are lacking detail and changing 3.Time-Consuming, labor-intensive 4.High level test design knowledge required 5.Chance on human errors 6.Expensive maintenance (manual rework) 7.Late detection of specification omissions 8.Difficult proof of test coverage Model driven testing Model-driven testing refers to the processes and techniques for the automatic derivation of abstract test cases from abstract formal models, the generation of concrete tests from abstract tests, and the manual or automated execution of the resulting concrete test cases. ModelSystem Abstract tests Executable tests can be run against are derived from is a partial description of are abstract versions of The complexity of applications requires a smart approach to test design

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Model Driven Testing

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre MDT Applicability Model-driven testing for enterprise software targets the key categories of black-box functional testing: Several testing levels: Acceptance testing System integration testing System testing Various testing types within these levels: Risk and Requirements Based Testing End-to-end testing Regression testing Combinatorial testing Using several accessibility modes: GUI-based testing API-based testing Application testing & Component integration testing Batch application testing Levels of Testing

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Model driven testing in the scrum process Working increment of models for test generation Model-based testing

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Model driven testing in the scrum process - Roles

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre MDT - Execution

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile in Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Software Model

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre 15 BPM Notation Overview Task Gateway Event Events Call Activities Lane Connector

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre State machines Initial state State Transitions Trigger Effect Guard Internal transition Choice point

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile in Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre MDT Tools Model-based test case generators CertifyIt from Smartesting takes business process and behavioral models as input. It uses the standard modeling notations BPMN and a sub-part of UML. Smartesting CertifyIt targets enterprise software for system testing, acceptance testing, end-to-end testing, and regression testing. Designer from Conformiq takes as input UML state machines with a proprietary action language (QML – Qtronic Modeling Language). QML is a superset of the Java programming language. Conformiq tools have a special focus on datacom and telecom equipment vendors as well as service providers. Spec Explorer from Microsoft takes as input state-oriented model programs that are coded in C#, and targets component and system testing;

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile in Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Case Study–Actitime Reqs sprint1 ----admin functions (flow, params, Business rules, documentation) login as admin, create customer,create project,create user sprint2 - user functions (flow, params, Business rules, documentation) login as user, Add task, enter time, save time, view Time Track, view report sprint3 - (flow, params, Business rules, documentation) login as admin, delete user, delete customer, delete project, extra field in create project -----Project Description documentation change in enter time ----little change add a business rule in create user ---- as User Name

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 - Statemachine

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 - Statemachine

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 – Class diagram

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 – Business Rules

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 –Test Generation

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1–QC Manual test

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 – QTP Script

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint1 – Req Tracebility

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint2 - Statemachine

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint2 - Statemachine

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint2 – Class diagram

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint3 - Statemachine

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Sprint3 – Class diagram

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile in Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Summary-Benefits of MDT Tests are available earlier in the process Improved quality of the test cases (coverage and usability) Test maintenance facilitated Capitalization on test assets (reuse) Same service level with reduced QA budget Easier automation by a native support of Keyword-Driven Testing Automated traceability links of business requirements No restriction in technologies No restriction on test strategies (acceptance, end-to-end, …) Testing becomes real fun!

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre Agenda 1.Agile in Testing 2.Model driven testing 3.Model for Test Generation 4.MDT Tools 5.MDT for Agile Testing - Case Study: Actitime 6.Summary 7.Q&A

© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre twitter.com/smartesting