SPARKUnit

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 >

License

BSD License

Follow SPARKUnit

SPARKUnit Web Site

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

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

Similar Business Software

Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
Grafana Cloud

Grafana Labs delivers the leading AI-powered observability platform, built around Grafana—the world’s most widely adopted open source technology for dashboards and visualization. Recognized as a Leader in the 2025 Gartner® Magic Quadrant™ for Observability Platforms, Grafana Labs supports more...

See Software
QA Wolf

Whether you're shipping web or mobile apps, QA Wolf has you covered. We build automated end-to-end tests for 80% of your user flows in weeks, maintain them 24 hours a day, and provide unlimited parallel test runs on our infrastructure. Did we mention that we guarantee zero flakes? We do that...

See Software
Zebrunner

Zebrunner is an AI-powered platform that unifies manual & automated testing, empowering QA teams to collaborate effortlessly. By leveraging AI, Zebrunner Testing Platform optimizes and speeds up the entire testing process, from generating & autocompleting test cases to prioritizing failures and...

See Software
XCTest

Create and run unit tests, performance tests, and UI tests for your Xcode project. Use the XCTest framework to write unit tests for your Xcode projects that integrate seamlessly with Xcode's testing workflow. Tests assert that certain conditions are satisfied during code execution, and record...

See Software
TestCaseLab

Designed to streamline your QA process. Manage test cases, boost team collaboration, and track every step of your testing journey. 🌟 Key Features: ✓ Unlimited Users ✓ Unlimited Projects ✓ Trusted by 300+ Software Development Companies ✓ GDPR Compliance ✓ 24/7 Accessibility ✓ Live...

See Software