Advanced Modeling, Model Based Test Generation and Abstract State Machine Language
Abstract
This talk will give a brief overview of the concept of Modeling in general to put Model Based Test Generation into context. Model generation based on Finite State Machines and Abstract State Machine Language will be discussed. A brief overview of AsmL and some results from using it will be presented.Model Based testing goes beyond model based input generators (e.g. pairwise-testing AETG ) and modeling tools (e.g. Rational’s Rose). Test Generation can be integrated with test automation frameworks (e.g. ApTest’s Testify)
The use of a model to describe the behavior of a system is a proven and major advantage to test development teams. Modeling is a precise communication tool among teams. The model is a living, accurate document of the aspects of the system it expresses. You can get an infinite number of scenario tests for the price of two or three scenario tests developed by hand.
Models can be utilized in many ways throughout the product life-cycle, including: improved quality of specifications, code generation, reliability analysis, and test generation. Benefits of a model based approach are reviewed in the context of several applications including XPath testing.
About Keith Stobie
Keith plans, designs, and reviews software architecture and tests for Microsoft. His current project involves XML Messaging and Web Services using SOAP and GXA. Keith is also active in the Web Services Interoperability organization’s (WS-I.org) Test Working Group creating test tools for Basic Profile analysis and conformance.Keith directed and instructed in QA and Test process and strategy at BEA Systems where he worked on BEA WebLogic Collaborate, and WebLogic Enterprise. Keith was Test Architect at Informix, designing tests for the Exte006Eded Parallel Server product, and Manager of Quality and Process Improvement. With over 20 years in the field, Keith is a leader in testing methodology, tools technology, and quality process. He is a qualified instructor for Systematic Software Testing and software inspections. Keith is active in the software task group of ASQ, participant in IEEE 2003 and 2003.2 standards on test methods, published several articles, and presented at many quality and testing conferences. Keith has a BS in computer science from Cornell University.
ASQ certified Software Quality Engineer,
Member: ACM, IEEE, ASQ
Event Sponsors
In addition to the support from our host sponsor SchemaSoft this event was made possible by donations from:Greenlight Power Technologies
QA Labs Past Meetings
