検定ノートブックを使う

Wolframノートブックはコードを書き,その検定を実行するための便利なインターフェースを提供する.
使い方
Mathematicaメニューで,ファイル 新規作成 プログラマティックノートブック 検定ノートブックをクリックする.検定ノートブックが開く.以下のノートブックはファイル 別名で保存...を使ってMyTestsという名前で保存されたものである.

1.gif

新規ボタンをクリックして,ノートブックに検定を挿入する.

2.gif

「入力」というセルにテスト用の入力をタイプするかペーストするかする.「想定出力」セルには想定される出力をタイプするかペーストするかする.

3.gif

テストの実行時にメッセージが出力されることが想定されている場合は,メッセージを追加ボタンを使ってそれを加える.オプションを追加ボタンの右側のドロップダウンメニューを使って,MemoryConstraintSameTestTestIDTimeConstraint等のオプションをそれぞれの検定に加えることもできる.

4.gif

検定外部で値を定義したり設定コードを実行したりするためには,検定の前にその他 Environセルの挿入をクリックして"Environ"セルを挿入する.
Tこれによって背景が薄い灰色の"Environ"セルが作成される."Environ"ル内の式は,検定の実行中に評価され,通常の入力セルの内容は無視される.
ノートブックインターフェースで検定を実行する
このセクションでは,指定されたノートブックですべての検定を実行する方法を示す.

6.gif

実行ボタンをクリックすると,検定ノートブック内のすべての検定が評価される.検定結果は,評価が進むに従って個々の検定に挿入され,検定が終了すると,検定レポートの概要がノートブックの上部に挿入される.以下のノートブックは4種類のテスト結果,成功,失敗,メッセージの失敗,エラーを表示している.検定結果をクリアボタンでノートブックの検定結果を消去することができる.

7.gif

検定レポートの概要には,検定の総実行回数の他,成功,エラー,不正な結果による失敗,メッセージによる失敗の回数が示される.また,概要のバーは検定結果を記述し,検定結果を「状態で」並べるか「順に並べる」かのどちらかが選べる.検定ノートブック内の検定回数の合計が50以下ならば,概要バーの各タブはそれに対応した検定にリンクされる.右下には,カーソルの位置よりも前または後にある失敗した検定を見付けるための2つのボタンがある.

8.gif

検定結果の利用
以下の検定は成功である.この検定を編集してその結果が見たければ再実行ボタンを使う:

9.gif

下は,不正な結果による失敗である.これは実際の出力が,想定出力と異なる場合に起こる.実際の出力の方が正しい結果ならば,出力を置換ボタンをクリックして想定出力を変更することができる.その後,再実行ボタンを使って検定を再実行することができる:

10.gif

以下はメッセージによる失敗である.ここには「実際のメッセージ」が出力されている.検定が失敗したのは,そのメッセージを含む「想定されるメッセージ」のセルがないからである.メッセージリストを置換ボタンを使うと,実際のメッセージの内容を想定メッセージセルに挿入することができる.再実行ボタンを使って検定を再実行することができる:

11.gif

次は検定エラーである.検定オプションの右辺のオプションを修正して再実行ボタンを使う:

12.gif

.wltファイルの生成
その他 .wltに保存をクリックすると,ノートブックの検定を.wltファイルに保存することができる.ファイルの保存ダイアログが表示されたら,ファイル名を選びそれをディレクトリに保存する.

13.gif

以下ではファイル名にMyTests2が選ばれ,ディレクトリC:\\Users\\xyz\\Desktopに保存された. そのファイルのレポートを作成する.
レポートの特性である.
検定結果の規則である.
失敗した最初の検定の想定される出力と実際の出力を示す.この検定ファイルでは,失敗したものは1つしかない.
TestIDの割当て
その他 TestIDの割当てをクリックすると,ノートブック内のすべての検定にTestIDを割り当てることができる.

15.gif

以下はTestIDが割り当てられた検定セルグループである.

16.gif

ノートブックの変換
入力,メッセージ,出力のノートブックを検定ノートブックに変換したい場合があろう.そのノートブックを入力ノートブックとして,ウィンドウ ツールバー 検定をクリックすると,そのノートブックの上部にドックセルが加わる.検定用ノートブックに変換ボタンをクリックする.

17.gif

"Code"セルスタイルのセルは検定ノートブックの"Environ"セルに変換される.