Spec# Testing Tool is a tool for creating, managing, and documenting Spec# testing projects. Key feature is
the ability of storing source arrangements (Spec# sources and dependent sources), test sources and
compiler- and verifier-settings together in one XML project file. Additionally, the test results can be
classified and documented.
The contents of a test project,
including all sources, can be directly packed into one ZIP archive by this tool. This is a nice feature
which simplifies exchange of replicable test cases between developers and testers of the
Spec# Programming System.
The Spec# Testing Tool is a standalone .NET 2.0 application and freely available as Open Source software (GPL).
However, Spec# is not included in this download. Please go to the Spec# project homepage from
Microsoft Research: http://research.microsoft.com/specsharp/
