Spec Explorer

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Spec Explorer
DeveloperMicrosoft
Stable release
2010 Release 3.5.3146.0 / July 8, 2013; 13 years ago (2013-07-08)
Repository
  • {{URL|example.com|optional display text}}Lua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
Engine
    Lua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
    Operating systemMicrosoft Windows
    TypeModel-Based Testing tool

    Spec Explorer[1] is a Model-Based Testing (MBT[2][3]) tool from Microsoft. It extends the Visual Studio Integrated Development Environment with the ability to define a model describing the expected behavior of a software system. From these models, the tool can generate tests automatically for execution within Visual Studio's own testing framework, or many other unit testing frameworks.

    The concepts behind Spec Explorer and the tool itself have been described in several publications[4][5][6][7][8][9][10] [11][12][13] and presented in multiple academic and industry events.[14][15][16][17]

    The latest version can be downloaded from Visual Studio Gallery.[18] Technical information can be found in the Microsoft documentation.[19] Community and engineering team support can be obtained through the Spec Explorer Forum,[20] while the Spec Explorer Team Blog[21] provides detailed articles and guidance.[22]

    References

    [edit | edit source]
    1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    4. ^ Mark Utting and Bruno Legeard. Practical Model-Based Testing. Morgan-Kaufmann, 2007.
    5. ^ Wolfgang Grieskamp. Multi-Paradigmatic Model-Based Testing. Invited talk in Klaus Havelund and Manuel Nunez and Grigore Rosu and Burkhart Wolff, FATES/RV, LNCS 4262, 2006.
    6. ^ Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes. Model-based testing of object-oriented reactive systems with Spec Explorer. Formal Methods and Testing 2008, LNCS 4949, Springer, 2008, pp. 39-76.
    7. ^ Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Generating finite state machines from abstract state machines. In Proceedings of ISSTA’02, volume 27 of Software Engineering Notes, pages 112–122. ACM, 2002.
    8. ^ Keith Stobie. Model based testing in practice at Microsoft. In Proceedings of the Workshop on Model Based Testing (MBT 2004), volume 111 of Electronic Notes in Theoretical Computer Science. Elsevier, 2004.
    9. ^ Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann. Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726, 2006.
    10. ^ Wolfgang Grieskamp, Dave MacDonald, Nicolas Kicillof, Alok Nandan, Keith Stobie, and Fred Wurden. Model-Based Quality Assurance of Windows Protocol Documentation. In Proceedings of the 1st IEEE International Conference on Software Testing (ICST 2008), Lillihammer, Norway, April 2008.
    11. ^ Yuri Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Boerger, editor, Specification and Validation Methods, pages 9–36. Oxford University Press, 1995.
    12. ^ R. Alur, T. A. Henzinger, O. Kupferman, M. Y. Vardi: Alternating Refinement Relations. In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR), LNCS 1466, Springer, 1998.
    13. ^ Wolfgang Grieskamp and Nicolas Kicillof. A schema language for coordinating construction and composition of partial behaviors. In Proceedings of the 28th International Conference on Software Engineering & Co-Located Workshops – 5th International Workshop on Scenarios and State Machines. ACM, May 2006.
    14. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    15. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    16. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    17. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    18. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    19. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    20. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    21. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
    22. ^ https://softwareengineer1.blogspot.com/2019/02/spec-explorer-lives-getting-spec.html Spec Explorer 2010 supported on VS2013, VS2015, VS2017
    Retrieved from "http://70.231.62.181/index.php?title=Spec_Explorer&oldid=4161793"