SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.

Project Activity

See All Activity >

Categories

Performance Testing, Test Frameworks

License

BSD License

Follow SPARKUnit

SPARKUnit Web Site

Other Useful Business Software
Simplify Purchasing For Your Business Icon
Simplify Purchasing For Your Business

Manage what you buy and how you buy it with Order.co, so you have control over your time and money spent.

Simplify every aspect of buying for your business in Order.co. From sourcing products to scaling purchasing across locations to automating your AP and approvals workstreams, Order.co is the platform of choice for growing businesses.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of SPARKUnit!

Additional Project Details

Intended Audience

Developers

Programming Language

Ada

Related Categories

Ada Performance Testing Software, Ada Test Frameworks

Registered

2010-10-08
Report inappropriate content