Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft product groups for testing operating system components, .NET framework components and other areas. This paper provides a comprehensive survey of the concepts of the tool and their foundations.
Did you find this white paper useful?
27 out of 50 users found this white paper useful
Related white papers
Microsoft Visual Basic Series Part 5 - Migrating to Visual Basic .NET Part I
This session is part one of a two-part series that focuses on the key concerns of Microsoft Visual Basic 6.0 desktop application developers who are migrating to Microsoft .NET Windows...
UML Based Model-Driven Development for C
The Unified Modeling Language (UML) and Model-Driven Development (MDD) are rapidly becoming very hot topics and many companies are realizing the advantages made available by these technologies of better, standardized...
Model Driven Development for Systems Webinar
Rhapsody is fast becoming the leading MDD environment within the Mil/Aero community, being a major player in programs such as the Joint Strike Fighter (JSF), Future Combat Systems (FCS) and...
On Guard: Producing Run-Time Checks From Integrity Constraints
Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code executed before a data update...
Bridging the Gap Between Systems, Software, and Test
Building off its initial and very successful UML 2.0 based Model-Driven Development (MDD) solution, Rhapsody 5.0, I-Logix has created a new generation solution to allow Systems, Software, and Test engineers...
Object-Oriented Project Management
Object-orientation is a way of looking at the world as "classes" of "objects" in order to model the real world more effectively than traditional structured software engineering or other methods...
Enterprise Unified Process: Enhancing the Unified Process to Meet the Real-World Needs of Your Organization
In short, not too good. Software projects are usually late, are usually over budget, are likely to be cancelled, and if not then the final software rarely meets the expectations of...
