QWE2002 Paper 12T

Mr. Ibrahim K. El-Far, Ms. Florence E. Mottay & Mr. Herbert H. Thompson
(Florida Institute of Technology)

Experience in Testing Pocket PC Applications

Key Points

Presentation Abstract

Promising model-based approaches have emerged in the field of software testing during the past decade or so. In this presentation, we focus on our recent experiences with using finite state machines to test a host of applications created by Microsoft for the Pocket PC platform. Creating a state model of each of these applications facilitated the tasks of building test automation and verifying test results. We explain the process we followed, present our results, and share some of the lessons we learned from our experiences.

About the Author

Ibrahim K. El-Far is a doctoral student in computer science under James A. Whittaker at the Florida Institute of Technology, Melbourne, Florida. His interests are in investigating software models, test automation and tools, adequacy criteria, and software testing education. In 2000, El-Far received an IBM CAS Fellowship supporting his research in software testing.

Florence E. Mottay is a graduate student in software engineering and a research assistant at the Center for Software Engineering Research, Florida Institute of Technology, Melbourne. Her research interests are in software testing, formal languages, mathematical models, and e-commerce. She was awarded for excellence in mathematics by the United States Achievement Academy (1997) and for academic excellence by the American Association of University Women (1998).

Herbert H. Thompson is a doctoral student in mathematics at the Florida Institute of Technology. In the past, he has worked for Microsoft Corporation as a test engineer. His research interests are in software engineering, security, and applying mathematics to computer science problems.