libtest

ライブラリのテストに使うための問題集
CIで使いやすいように、入出力自動生成＋自動テストみたいな流れでテストする
rime の機能限定版という感じ

必要なもの

• CMake
• C++17 (filesystemが使える環境)

テストの流れ

愚直解による出力生成を行うかどうかでテストをsmall,largeに区別する(largeは出力生成しない)。
入力検証は行わない(C++専用だし細かいことは気にしない)。

1. Problem::generate_input<Problem::small_constraint> でsmall入力を生成
2. Problem::generate_output で想定出力(small)を生成
3. Problem::generate_input<Problem::large_constraint> でlarge入力を生成
4. Solution::solveに${case}.inを入力して実行して出力を生成
5. 対応する${case}.outがあれば Problem::judge で検証

問題の記述

libtest/{problem_dir}ディレクトリを作り、
問題を表す構造体を定義する(ファイル名はproblem.hppなど何でも良い)。
問題に必要な要素は以下のものである。

• 問題のパス
• 問題名
• 実行時間制限
• 入力生成器(small)
• 入力生成器(large)
• 出力生成器(small)
• 出力検証器
• 制約(small,large)

詳細はサンプル問題であるlibtest/a_plus_b/problem.hppを参考にすると良い。

解法の記述

解法を表す構造体に必要な要素は以下のものである。
libtestは問題集なので、解法はここではなくライブラリ内に書くことが想定される。

• 解法名
• solve関数

詳細はlibtest/a_plus_b/solution_sample.cppを参考にすると良い。
入力生成＋テストをいくつ行うかはProblemのコンストラクタで指定する。

手生成のテストケース追加

libtest/{problem_dir}/test_cases直下に{casename}.inと{casename}.outを追加すれば良い。
最悪ケースでのベンチマークなど出力検証が必要ないケースならば、{casename}.outは不要

注意点

単体テストをforkではなくthreadで実装しているので、解法が終了しない場合の処理が上手く出来ていない。
そのため現状は実行時間制限の2倍までに終了しなかった場合は、その旨をログに吐いた後すぐにテストを強制終了する。

単体テストの実行はrun_test<Solution>({small_case_num},{large_case_num},{cache})で行う。
特にcacheをtrueにすると、以前に生成したテストケースを使い回してケース生成をスキップする。

現状ではテストは並列せずに実行しなければならない。対策は検討中。
異なるSolutionが同じ問題を使い回せる仕様であるため、テストを並列で実行すると同じファイルを並列にいじる状況になり得るからである。