VerificationTest

VerificationTest[input]

input を評価したときにTrueになるかどうかを見極めるための確認の検定を行う．

VerificationTest[input,expected]

input を評価したときに，メッセージを出すことなく expected になるかどうかを検定する．

VerificationTest[input,expected,messages]

input を評価したときに，メッセージ名 messages のリストを生成して，expected になるかどうかを検定する．

詳細とオプション

例題

すべて開くすべて閉じる

例  (4)

入力を評価するとTrueになるかどうかを検定する：

入力を評価した場合に期待される出力が返されるかどうかを検定する：

テストが失敗すると，Failure出力が返される：

入力を評価した結果は予測した出力になったがメッセージが出た場合は，出力はMessagesFailureになる：

予測されるメッセージを加える：

スコープ  (2)

基本的な用法  (2)

検定を実行し，結果をDataset中に提示する：

絶対許容度を使い，NIntegrateの結果が数値的にIntegrateと等しいかどうかを検証する：

これは，SameTestオプションを使って行うことができる：

オプション  (13)

MemoryConstraint  (1)

メモリの上限を超えるまで検定を行う：

SameTest  (5)

入力が整数かどうかの検定を行う：

入力の絶対精度が少なくとも10-12あるかどうかの検定を行う：

相対精度が少なくとも10-5あるかどうかの検定を行う：

2つの式が簡約後に同等になるかどうかの検定を行う：

Unevaluatedを使って未評価の式をSameTest関数に渡す：

FunctionとEchoを組み合せてSameTest関数の引数を出力することができる：

TestID  (4)

TestIDをVerificationTestに加える：

TestIDは，任意の式でよい：

デフォルトで，TestIDは検定のHashである：

TestCreate式の入力が変わるとTestIDも変わる：

CreateUUIDを使って毎回ランダムなIDを作成する：

TimeConstraint  (1)

1秒より長くかかる場合には，検定を終了させる：

MetaInformation  (2)

任意のメタ情報をTestObjectに保存する：

保存されたMetaInformationにアクセスする：

MetaInformationは任意の式でよい：

考えられる問題  (3)

期待出力は，実際の出力との比較の前に評価される：

Unevaluatedを使って評価の前に式を比較する：

期待出力の評価時に生成されるメッセージは，期待されるメッセージでは説明されない：

SameTestを評価した結果がTrueあるいはFalseにならなければ，"SameTestUnevaluated"という失敗のタイプが報告される：

Wolfram Research (2014), VerificationTest, Wolfram言語関数， https://reference.wolfram.com/language/ref/VerificationTest.html （2023年に更新）.

テキスト

Wolfram Research (2014), VerificationTest, Wolfram言語関数， https://reference.wolfram.com/language/ref/VerificationTest.html （2023年に更新）.

CMS

Wolfram Language. 2014. "VerificationTest." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2023. https://reference.wolfram.com/language/ref/VerificationTest.html.

APA

Wolfram Language. (2014). VerificationTest. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/VerificationTest.html

BibTeX

@misc{reference.wolfram_2024_verificationtest, author="Wolfram Research", title="{VerificationTest}", year="2023", howpublished="\url{https://reference.wolfram.com/language/ref/VerificationTest.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_verificationtest, organization={Wolfram Research}, title={VerificationTest}, year={2023}, url={https://reference.wolfram.com/language/ref/VerificationTest.html}, note=[Accessed: 22-November-2024 ]}