AUnit

Adaの単体テストフレームワークで、SPARKで証明できなかった部分の振る舞いをテストする用途で併用される。

概念URI

https://comcomponent.com/knowledge/aunit/

別名・表記

Ada Unit Testing Framework

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• AUnitはSPARKに対する本記事の推奨です。SPARKで型と契約を固めたうえでAUnitによる単体テストを組み合わせることが実践的な運用として推奨される / 確度: 確立した関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• SPARKによる形式検証入門 ── Adaの契約から数学的証明へ(言及)

一次資料

• https://learn.adacore.com/courses/intro-to-spark/index.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。