White Papers

Testing Concurrent Object-Oriented Systems With Spec Explorer

Tags: object-oriented, infrastructure, data

Overview This paper describes a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft product groups. The here presented techniques are used to test operating system components and Web service infrastructure.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Microsoft
File Format: PDF
Date Published: May 25, 2007
Format: White Papers
Topics: Web Services, Object-Oriented

Similiar White Papers

Data Modeling: It's All About the Relationships

Unsuccessful data models are due to many factors - uncertainty about the concepts or the business requirements, lack of

Publisher: Quest Software | Tags: data, database

Haystack: A Platform for Authoring End User Semantic Web Applications

The Web fulfilled a practical need of users in allowing them to conveniently author, browse and share content online. Th

Publisher: Massachusetts Institute of Technology | Tags: applications, appointments, developers

Towards Integration of XML in the Creol Object-Oriented Language

XML (eXtensible Markup Language) is a flexible and generic format for structured data aimed at being shared on the World

Publisher: University of Oslo | Tags: data, object-oriented

ActiveRDF: Object-Oriented Semantic Web Programming

Object-oriented programming is the current mainstream programming paradigm but existing RDF APIs are mostly triple-orien

Publisher: Association for Computing Machinery | Tags: api, data, object-oriented

Towards Semantic Web Engineering: WEESA - Mapping XML Schema to Ontologies

The existence of semantically tagged Web pages is crucial to bring the Semantic Web to life. But it is still costly to d

Publisher: University of Zurich | Tags: applications, data

Microsoft White Papers

Guide to Creating and Configuring a Server Cluster under Windows Server 2003

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »