テストオラクル

テスト対象のシステムの正しい振る舞いと誤った振る舞いを区別する手順。与えた入力に対する結果が正しいかを判定する拠りどころになる。

概念URI

https://comcomponent.com/knowledge/test-oracle/

別名・表記

Test Oracle / オラクル

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• アサーションはテストオラクルを前提とします。アサーションは実行結果を期待値と比べる。期待値は正しい振る舞いを見分ける拠りどころ(テストオラクル)で、実装と同じ計算をテストの中でして作ると、実装の誤りをテストも同じように持つ。Microsoftの指針はテストにロジックを書かないよう勧めている。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• プロパティベーステストはテストオラクルを利用します。プロパティベーステストは個々の期待値の代わりに、どの入力でも成り立つべき性質を判定基準(テストオラクル)として使い、生成した多数の入力で確かめる。性質は実装の計算を写さずに書ける。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• プロパティベーステストはテストオラクルを前提とします。テストには合否を自動で判定する基準が要り、QuickCheckはその基準として書いた性質を使う。性質が弱ければ誤りがあっても通るので、どの性質を書くかがテストの強さを決める。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• AIが書いたテストを信用してよいか ── 通るのに何も確かめないテストの見分け方(主要トピック)
• プロパティベーステストで、例では届かない入力を試す ── FsCheckとxUnitによるC#の実践(言及)

一次資料

• https://web.eecs.umich.edu/~weimerw/2018-481/readings/testoracles.pdf
• https://discovery.ucl.ac.uk/1471263/

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