We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byCharles McPherson
Modified over 5 years ago
QWE March 13 2002© 2002 The authors, all rights reserved. Experiences in Testing the Pocket PC
QWE March 13 2002© 2002 The authors, all rights reserved. Overview Scope of the Project Introduction to Model Based testing Case Study: the Pocket Inbox Conclusions
QWE March 13 2002© 2002 The authors, all rights reserved. Project Scope Pocket PC : Operating platform developed by Microsoft for handheld devices. Contracted to develop software models for five applications: Contacts, Calendar, Inbox, Pocket Word and Connectivity Manager.
QWE March 13 2002© 2002 The authors, all rights reserved. Model Based Testing: The Big Picture
QWE March 13 2002© 2002 The authors, all rights reserved. Modeling with Finite State Machines A state is a condition of the software where a specific set of inputs can be applied. Two states are considered equal if the same inputs can be applied and they produce the same result.
QWE March 13 2002© 2002 The authors, all rights reserved. Building Models : An Example
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: the Pocket Inbox General Information 5,000 transitions 1,500 states Most complex application we tested Design choices Limited number of messages Input peculiarities
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: Exploration Explore the application in order to discover and build a mental representation of its functionality For demonstration purposes, we only use a partial model
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: Inputs Identify all user inputs 1. New: to go to a new message window 2. Ok: to leave the New Message screen and save the current message 3. Send: to leave the New Message screen and send the current message 4. Space: space character 5. AlphanumericChar: any alphanumeric character
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: Input Applicability Identify the individual characteristics used to define the states of the application? 1. New: this input is applicable at any time. The user can press the New button when the general inbox screen is showing, when the window is New Message and whether he/she has entered text inside a New Message window. 2. Ok: this input is applicable when the window is a New Message. Whether the To field is empty or not does not make a difference. 3. Send: this input is applicable only when the window is a New Message and the To field is not empty. 4. Space: this input is applicable when the window is a New Message. 5. AlphanumericChar: this input is applicable when the window is a New Message
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: State Variables Window = Inbox, NewMessage This operational mode records which window the user is on. For this model, only two windows are considered as possible. To Field = Empty, NotEmpty This operational mode records if the value of the To field is empty or not. It is useful to determine whether the Send is enabled or not.
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: Transitions
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: Test Cases
QWE March 13 2002© 2002 The authors, all rights reserved. Case Study: Test Cases BUG
QWE March 13 2002© 2002 The authors, all rights reserved. Conclusions Model-based testing needs to be coupled with exploratory techniques with the dual benefit of attaining a better, more current understanding of the system and harvesting many bugs along the way. Models are beneficial, not only as a point of reference for testing purposes, but also as a living specification of the functionality it represents and as a basis for test automation. Having a good automated test oracle is vital to the effectiveness of automated testing in general and model- based testing in particular.
QWE March 13 2002© 2002 The authors, all rights reserved. Conclusion As long as finite state machines are used, there are inescapable critical issues to be dealt with: model building and maintenance, state explosion, and model correctness. There is need for more practical pointers on how to work around, or at least reduce the impact of these factors. Finally, studies need to be performed on answering the question: is model-based testing worth the effort when it comes to finding faults? Our preliminary results show that, for a very good, close-to-release, stable product, the number of faults uncovered by model-based testing is slightly disappointing if we severely limit the time during which we can run tests. The strongpoint of model-based testing is that it finds bugs with different characteristics: those that require long complicated sequences of inputs to be exposed.
QWE March 13 2002© 2002 The authors, all rights reserved. Contact Information Email : firstname.lastname@example.org@testingresearch.com Web : http://www.testingresearch.comhttp://www.testingresearch.com Telephone : (321)-795-4531 Regular Old-Fashioned Mail : Herbert Thompson Department of Computer Sciences 150 W University Boulevard Melbourne, Florida 32901
Jump to Contents Instructor Tutorial essignments.com Paperless assignment submission system.
(c) Copyright 2002 Ibrahim K. El-Far. All rights reserved. Presented at Quality Week Europe Selecting an Appropriate Software Testing Method Ibrahim.
Thursday, November 1, 2001(c) 2001 Ibrahim K. El-Far. All rights reserved.1 Enjoying the Perks of Model-based Testing Ibrahim K. El-Far Florida Institute.
Friday 6 September 2002(c) 2002 The Authors. All Rights Reserved.1 A Framework for Testing Wireless Applications Ibrahim K. El-Far Roussi Roussev Nattawut.
1 Introduction to Software Engineering Rajkumar Buyya Grid Computing and Distributed Systems Lab Dept. of Computer Science and Software Engineering University.
Greg Sennema library.wlu.ca/blogs/technolibrarian Time Saving Shortcuts with Macro Express Greg Sennema Electronic Services Librarian Wilfrid.
With TimeCard appointments are tagged with information that converts them into time sheets. This way you can report time and expenses from inside your.
DIGIDOC A web based tool to Manage Documents. System Overview DigiDoc is a web-based customizable, integrated solution for Business Process Management.
Connecticut Assessment of Student Performance and Progress Smarter Balanced Spring 2014 Field Test Workshop for Students Greenwich Public Schools March,
Litmus Learning Primer tests
DCMS: Training Manual Help Desk Management July, 2010.
Using Microsoft Office on the Pocket PC Nancy Clark, M.Ed. Director of Medical Informatics Education Florida State University College of Medicine.
Mobile Development Introduction to Visual Studio Development Rob Miles Department of Computer Science.
Microsoft ® Office Access ® 2007 Training Easy Access with templates I: Create a database susanguggenheim-is.com presents:
Microsoft Outlook Remote Web Access For HCDE Employees
TCM Encounter Download Using MS Access For Import From a Block Text File.
Welcome to Field2Base User Training. Founded 2002 in Raleigh, NC Software company with focus on automation of field communications 68 patent claims Certified.
DEVELOPING ICT SKILLS PART -TWO
1 of 5 This document is for informational purposes only. MICROSOFT MAKES NO WARRANTIES, EXPRESS OR IMPLIED, IN THIS DOCUMENT. © 2007 Microsoft Corporation.
Using the Web-based Training Tool MyFloridaMarketPlace Revised Date: 12/14/06.
© 2019 SlidePlayer.com Inc. All rights reserved.