メインメニューを開く

差分

テスト (プログラム)

262 バイト追加, 2019年2月4日 (月) 02:16
編集の要約なし
===プレテスト===
プレテストとは、[[Codeforces]]において行われる、用意されたテストケースの一部を用いたテスト。このテストに通ると一応得点が決まり、問題をLockできるようになるが、において行われる用意されたテストケースの一部を用いたテストのことである。このテストに通ると一応得点が決まり、問題をLockできるようになるが、[[撃墜]]や[[システムテスト]]で不正解になるとその問題の得点は無くなる。
===システムテスト===[[システムテスト]]===とは、[[ジャッジ]]側に用意された全テストケースを用いたテスト。このテストにより、最終的にそのプログラムが側に用意された全テストケースを用いたテストのことである。このテストにより最終的にそのプログラムが[[Accepted|正解]]かどうかが決まる。ただし、たまにかどうかが決まる。ただし、たまに[[ミスジャッジ]]が発覚し、[[リジャッジ]]が行われることがある。
===ユニットテスト===[[ユニットテスト]]===プログラム中の個々のとは、プログラム中の個々の[[モジュール]](関数など)を対象にしたテスト。を対象にしたテストのことである。[[CppUnit]]や[[JUnit]]などのツールが使われることがある。
===[[単体テスト]]結合テスト===
未稿
===[[結合テスト]]負荷テスト===
未稿
===[[負荷テスト]]===未稿 ===正しさの[[証明]]正しさの証明===
未稿
==主なテストケースの種類==
===サンプルケース===
あらかじめ公開された入出力例。これに通らないと話にならないが、たまに通らないコードが提出される。サンプルケースとは、あらかじめ公開された入出力例。これに通らないと話にならないが、たまに通らないコードが提出される。
===最大ケース===
仕様上考えられる最大の入力。大きい入力に対しても、短時間で効率よく処理できるかをチェックする。最大ケースとは、仕様上考えられる最大の入力。大きい入力に対しても、短時間で効率よく処理できるかをチェックする。
===コーナーケース===
場合分けの境界などの特定の条件を満たすケース。適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。コーナーケースとは、場合分けの境界などの特定の条件を満たすケース。境界値での条件分岐の正しさを確認するものをいう。適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。
===ランダムケース===
プログラムなどでランダムに生成したケース。細かい場所に紛れ込んだバグがある場合、これに引っかかり落ちることが期待される。ランダムケースとは、プログラムなどでランダムに生成したケース。細かい場所に紛れ込んだバグがある場合、これに引っかかり落ちることが期待される。
==関連項目==
 * [[デバッグ]]* [[オンラインジャッジ]]
匿名利用者