「テスト (プログラム)」を編集中
ナビゲーションに移動
検索に移動
この編集を取り消せます。 下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。
最新版 | 編集中の文章 | ||
10行目: | 10行目: | ||
===プレテスト=== | ===プレテスト=== | ||
− | + | [[Codeforces]]において行われる、用意されたテストケースの一部を用いたテスト。 | |
+ | このテストに通ると一応得点が決まり、問題をLockできるようになるが、 | ||
+ | [[撃墜]]や[[システムテスト]]で不正解になるとその問題の得点は無くなる。 | ||
− | ===システムテスト=== | + | ===[[システムテスト]]=== |
− | + | [[ジャッジ]]側に用意された全テストケースを用いたテスト。 | |
+ | このテストにより、最終的にそのプログラムが[[Accepted|正解]]かどうかが決まる。 | ||
+ | ただし、たまに[[ミスジャッジ]]が発覚し、[[リジャッジ]]が行われることがある。 | ||
− | ===ユニットテスト=== | + | ===[[ユニットテスト]]=== |
− | + | プログラム中の個々の[[モジュール]](関数など)を対象にしたテスト。 | |
+ | [[CppUnit]]や[[JUnit]]などのツールが使われることがある。 | ||
− | === | + | ===[[単体テスト]]=== |
未稿 | 未稿 | ||
− | === | + | ===[[結合テスト]]=== |
未稿 | 未稿 | ||
− | === | + | ===[[負荷テスト]]=== |
+ | 未稿 | ||
+ | |||
+ | ===正しさの[[証明]]=== | ||
未稿 | 未稿 | ||
==主なテストケースの種類== | ==主なテストケースの種類== | ||
===サンプルケース=== | ===サンプルケース=== | ||
− | + | あらかじめ公開された入出力例。 | |
+ | これに通らないと話にならないが、たまに通らないコードが提出される。 | ||
===最大ケース=== | ===最大ケース=== | ||
− | + | 仕様上考えられる最大の入力。 | |
− | + | 大きい入力に対しても、短時間で効率よく処理できるかをチェックする。 | |
− | |||
===コーナーケース=== | ===コーナーケース=== | ||
− | + | 場合分けの境界などの特定の条件を満たすケース。 | |
− | + | 適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。 | |
− | |||
===ランダムケース=== | ===ランダムケース=== | ||
− | + | プログラムなどでランダムに生成したケース。 | |
+ | 細かい場所に紛れ込んだバグがある場合、これに引っかかり落ちることが期待される。 | ||
==関連項目== | ==関連項目== | ||
− | + | * [[デバッグ]] | |
− | *[[デバッグ]] | + | * [[オンラインジャッジ]] |
− | *[[オンラインジャッジ]] |