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

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

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 delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

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 2026 Gartner® Magic Quadrant™ for Observability Platforms (3x) and furthest in...

See Software
QA Wolf

QA Wolf is the fastest path to deterministic end-to-end test coverage for web and mobile apps. In one platform, teams can manage the entire testing lifecycle: Map out your workflows and coverage gaps, automate your tests in Playwright or Appium, and run your suite fully in parallel. - Build...

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
HUnit

HUnit is a unit testing framework for Haskell, inspired by the JUnit tool for Java. It's easy to use HUnit, assuming you are familiar with Haskell, though not necessarily with JUnit. A test-centered methodology for software development is most effective when tests are easy to create, change, and...

See Software

Report inappropriate content