From the hands of Alexander Senier, we get the very first official release of his SPARKUnit library.
SPARKUnit is a unit test framework for the SPARK programming language. It enables the developer to create unit tests in SPARK which can be analysed by the SPARK Examiner. This allows for testing of SPARK operations with preconditions and flow analysis of test cases.
Some of the features of version 0.1.0 include:
- Support for test suites and test cases
- Performance comparison through benchmark tests
- Arbitrary (but fixed) number of suites, cases and benchmarks
- Test report in text format
Or how about some light reading about SPARK itself?