ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Information and Software Technology
Volume 46, Issue 15, 1 December 2004, Pages 1027-1036
Third International Conference on Quality Software: QSIC 2003
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Article
Purchase PDF (525 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.infsof.2004.07.007    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2004 Elsevier B.V. All rights reserved.

Instrumenting scenarios in a model-driven development environmentstar, open

Wolfgang GrieskampE-mail The Corresponding Author, Nikolai TillmannE-mail The Corresponding Author and Margus VeanesCorresponding Author Contact Information, E-mail The Corresponding Author

Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA

Available online 2 October 2004.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

SpecExplorer is an integrated environment for model-driven development of .NET software. In this paper we discuss how scenarios can be described in SpecExplorer's modeling language, Spec#, and how the SpecExplorer tool can be used to validate those scenarios by various means.

Keywords: Model-driven development; Scenarios; Use-cases; Validation; Verification; Automated testing

Article Outline

1. Introduction
2. A sketch of Spec#
3. Scenarios in Spec#
4. CTAS weather control logic
5. A sketch of SpecExplorer
6. Random execution of CTAS
7. Generating an FSM for CTAS
8. Scenario conformance checking
9. Discussion and conclusion
9.1. Related work
9.2. Future work
References



Information and Software Technology
Volume 46, Issue 15, 1 December 2004, Pages 1027-1036
Third International Conference on Quality Software: QSIC 2003
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.