テスト (プログラム) - 版の履歴

Administrator: /* 最大ケース */

2021-02-03T05:14:51Z

最大ケース

← 古い版		2021年2月3日 (水) 05:14時点における版
34行目:		34行目:
	最大ケースとは、仕様上考えられる最大の入力。大きい入力に対しても短時間で効率よく処理できるかをチェックする。		最大ケースとは、仕様上考えられる最大の入力。大きい入力に対しても短時間で効率よく処理できるかをチェックする。

	たとえば毎日実行される[[バッチ処理]]~~が「最大値入力だと24時間以上かかる」という場合は、それは「単に遅い」ではなく「不具合」であるといえる。~~		たとえば毎日実行される[[バッチ処理]]が「最大値入力だと24時間以上かかる」という場合は、それは「単に遅い」ではなく「不具合」であるといえる。多重起動防止などを実装していなければ、そのうちリソースを食いつぶすことになりかねない。

	===コーナーケース===		===コーナーケース===

Administrator: /* 最大ケース */

2021-02-03T05:13:56Z

最大ケース

← 古い版		2021年2月3日 (水) 05:13時点における版
32行目:		32行目:

	===最大ケース===		===最大ケース===
	~~最大ケースとは、仕様上考えられる最大の入力。大きい入力に対しても、短時間で効率よく処理できるかをチェックする。~~		最大ケースとは、仕様上考えられる最大の入力。大きい入力に対しても短時間で効率よく処理できるかをチェックする。

			たとえば毎日実行される[[バッチ処理]]が「最大値入力だと24時間以上かかる」という場合は、それは「単に遅い」ではなく「不具合」であるといえる。

	===コーナーケース===		===コーナーケース===

Administrator: /* コーナーケース */

2021-02-03T05:11:17Z

コーナーケース

← 古い版		2021年2月3日 (水) 05:11時点における版
36行目:		36行目:
	===コーナーケース===		===コーナーケース===
	コーナーケースとは、場合分けの境界などの特定の条件を満たすケース。境界値での条件分岐の正しさを確認するものをいう。適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。		コーナーケースとは、場合分けの境界などの特定の条件を満たすケース。境界値での条件分岐の正しさを確認するものをいう。適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。

			ほとんどは「<」と「<=」の記述ミスを検出する目的である。

	===ランダムケース===		===ランダムケース===

2019年2月4日 (月) 02:16に180.15.192.154による

2019-02-04T02:16:59Z

← 古い版		2019年2月4日 (月) 02:16時点における版
10行目:		10行目:

	===プレテスト===		===プレテスト===
	[[Codeforces]]~~において行われる、用意されたテストケースの一部を用いたテスト。~~		プレテストとは、[[Codeforces]]において行われる用意されたテストケースの一部を用いたテストのことである。このテストに通ると一応得点が決まり、問題をLockできるようになるが、[[撃墜]]や[[システムテスト]]で不正解になるとその問題の得点は無くなる。
	~~このテストに通ると一応得点が決まり、問題をLockできるようになるが、~~
	[[撃墜]]や[[システムテスト]]で不正解になるとその問題の得点は無くなる。

	===[[システムテスト]]~~===~~		===システムテスト===
	[[ジャッジ]]~~側に用意された全テストケースを用いたテスト。~~		[[システムテスト]]とは、[[ジャッジ]]側に用意された全テストケースを用いたテストのことである。このテストにより最終的にそのプログラムが[[Accepted\|正解]]かどうかが決まる。ただし、たまに[[ミスジャッジ]]が発覚し、[[リジャッジ]]が行われることがある。
	~~このテストにより、最終的にそのプログラムが~~[[Accepted\|正解]]~~かどうかが決まる。~~
	~~ただし、たまに~~[[ミスジャッジ]]が発覚し、[[リジャッジ]]が行われることがある。

	===[[ユニットテスト]]~~===~~		===ユニットテスト===
	~~プログラム中の個々の~~[[モジュール]](関数など)~~を対象にしたテスト。~~		[[ユニットテスト]]とは、プログラム中の個々の[[モジュール]](関数など)を対象にしたテストのことである。[[CppUnit]]や[[JUnit]]などのツールが使われることがある。
	[[CppUnit]]や[[JUnit]]などのツールが使われることがある。

	===~~[[単体テスト]]~~===		===結合テスト===
	未稿		未稿

	===~~[[結合テスト]]~~===		===負荷テスト===
	未稿		未稿

	===~~[[負荷テスト]]===~~		===正しさの証明===
	未稿

	~~===正しさの[[証明]]~~===
	未稿		未稿

	==主なテストケースの種類==		==主なテストケースの種類==
	===サンプルケース===		===サンプルケース===
	~~あらかじめ公開された入出力例。~~		サンプルケースとは、あらかじめ公開された入出力例。これに通らないと話にならないが、たまに通らないコードが提出される。
	~~これに通らないと話にならないが、たまに通らないコードが提出される。~~

	===最大ケース===		===最大ケース===
	~~仕様上考えられる最大の入力。~~		最大ケースとは、仕様上考えられる最大の入力。大きい入力に対しても、短時間で効率よく処理できるかをチェックする。
	~~大きい入力に対しても、短時間で効率よく処理できるかをチェックする。~~

	===コーナーケース===		===コーナーケース===
	~~場合分けの境界などの特定の条件を満たすケース。~~		コーナーケースとは、場合分けの境界などの特定の条件を満たすケース。境界値での条件分岐の正しさを確認するものをいう。適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。
	~~適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。~~

	===ランダムケース===		===ランダムケース===
	~~プログラムなどでランダムに生成したケース。~~		ランダムケースとは、プログラムなどでランダムに生成したケース。細かい場所に紛れ込んだバグがある場合、これに引っかかり落ちることが期待される。
	~~細かい場所に紛れ込んだバグがある場合、これに引っかかり落ちることが期待される。~~

	==関連項目==		==関連項目==
	* [[デバッグ]]
	* [[オンラインジャッジ]]		*[[デバッグ]]
			*[[オンラインジャッジ]]

imported>MikeCAT: 作成

2013-08-22T08:36:06Z

作成

新規ページ

'''テスト'''とは、書かれた[[プログラム]]が正しいかどうかチェックすることである。

==主なテストの種類==
===サンプルテスト(仮)===
あらかじめ与えられた[[サンプル]]入力を[[ローカル]]でプログラムに入力し、
プログラムの出力が対応するサンプル出力と一致するか、強制終了しないかをチェックする。

ただし、サンプルは通っても、もっと大きい[[テストケース]]では[[Runtime Error|強制終了]]したり、
[[Time Limit Exceeded|処理が長時間]]かかったり、[[Wrong Answer|誤答]]になる場合があるので注意が必要である。

===プレテスト===
[[Codeforces]]において行われる、用意されたテストケースの一部を用いたテスト。
このテストに通ると一応得点が決まり、問題をLockできるようになるが、
[[撃墜]]や[[システムテスト]]で不正解になるとその問題の得点は無くなる。

===[[システムテスト]]===
[[ジャッジ]]側に用意された全テストケースを用いたテスト。
このテストにより、最終的にそのプログラムが[[Accepted|正解]]かどうかが決まる。
ただし、たまに[[ミスジャッジ]]が発覚し、[[リジャッジ]]が行われることがある。

===[[ユニットテスト]]===
プログラム中の個々の[[モジュール]](関数など)を対象にしたテスト。
[[CppUnit]]や[[JUnit]]などのツールが使われることがある。

===[[単体テスト]]===
未稿

===[[結合テスト]]===
未稿

===[[負荷テスト]]===
未稿

===正しさの[[証明]]===
未稿

==主なテストケースの種類==
===サンプルケース===
あらかじめ公開された入出力例。
これに通らないと話にならないが、たまに通らないコードが提出される。

===最大ケース===
仕様上考えられる最大の入力。
大きい入力に対しても、短時間で効率よく処理できるかをチェックする。

===コーナーケース===
場合分けの境界などの特定の条件を満たすケース。
適当な入力に対しては正しい出力ができても、コーナーケースに対しては間違った出力になる場合がある。

===ランダムケース===
プログラムなどでランダムに生成したケース。
細かい場所に紛れ込んだバグがある場合、これに引っかかり落ちることが期待される。

==関連項目==
* [[デバッグ]]
* [[オンラインジャッジ]]