| 词条 | Spec Explorer |
| 释义 |
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 on MSDN.[18] Technical documentation can be found in the MSDN Library.[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] References1. ^{{cite web|url=http://specexplorer.com|title=Spec Explorer Visual Studio Power Tool}} 2. ^{{cite web|url=http://goldpractices.com/practices/mbt/index.php|title=Model-Based Testing Gold Practice}} 3. ^{{cite web|url=http://www.geocities.com/model_based_testing/|title=Harry Robinson's Model-Based Testing Home Page|archiveurl=https://www.webcitation.org/query?url=http://www.geocities.com/model_based_testing/&date=2009-10-26+20:32:42|archivedate=2009-10-27}} 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. ^{{cite web|url=http://www.easychair.org/FLoC-06/FATES-RV.html|title=Formal Approaches to Testing and Runtime Verification 2006}} 15. ^{{cite web|url=http://www.cs.colostate.edu/icst2008/|title= IEEE International Conference on Software Testing Verification and Validation 2008}} 16. ^{{cite web|url=http://cms.brookes.ac.uk/staff/HongZhu/QSIC2008/|title=International Conference on Quality Software 2008}} 17. ^{{cite web|url=http://www.snia.org/events/storage-developer2009/|title=Storage Developer Conference}} 18. ^{{cite web|url=http://go.microsoft.com/fwlink/?LinkID=166911|title=Spec Explorer 2010 Visual Studio Power Tool}} 19. ^{{cite web|url=http://msdn.microsoft.com/en-us/library/ee620411.aspx|title=Spec Explorer @ the Microsoft Developer Network}} 20. ^{{cite web|url=http://social.msdn.microsoft.com/Forums/en-US/specexplorer/threads|title=The Model-Based Testing with Spec Explorer Forum}} 21. ^{{cite web|url=http://blogs.msdn.com/specexplorer/|title=The Spec Explorer Team Blog}} 22. ^h ttps://softwareengineer1.blogspot.com/2019/02/spec-explorer-lives-getting-spec.html Spec Explorer 2010 supported on VS2013, VS2015, VS2017 2 : Microsoft development tools|Microsoft Visual Studio |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。