テストケースの作り方についてご教示ください

Question

前提・実現したいこと

下記問題文の実装にあたり、
https://atcoder.jp/contests/abc045/tasks/abc045_b

本文下部に掲載のソースコードのとおりにプログラムを実装しましたが、
テストケースの一部が通らず不合格となってしまっております。

本問のテストケースは非公開の為、どこに問題があるのか見当がつかず、バグの修正が出来ない状況です。
問題となりうる箇所や本問のケースに必要と思われるテストケースや
テストケース作成の思考過程についてご教示いただければ大変ありがたいです。

ソースコード自体もこう変更したほうがよい、などのアドバイスがあればご教示いただけると大変幸いです。

仕様概要としてはA,B,Cの3プレイヤーのうち、だれが勝利するかを表示するか求める、というものです。

ルールとしては
・最初にAがカードを引く
・引いたカードに応じて次にカードを引くプレイヤーが決まる（aならばA,bならばB、cならばCが次にカードを引く）
・自分のターンで次に引くカードがなければ勝利

該当のソースコード

#include <stdio.h>

char Sa[101], Sb[101], Sc[101];
int ai=0,bi=0,ci=0;

void turn(char s[], int *i){
    
    if(s[*i]=='a'){
        ai++;
        turn(Sa, &ai);
    }else if(s[*i]=='b'){
        bi++;
        turn(Sb, &bi);
    }else if(s[*i]=='c'){
        ci++;
        turn(Sc, &ci);
    }else if(s[*i]=='\0'){
        if(s==Sa) {
            puts("A");
        } else if(s==Sb){
            puts("B");
        } else if(s==Sc){
            puts("C");
        }
    }

}

int main(void){

    scanf("%s",Sa);
    scanf("%s",Sb);
    scanf("%s",Sc);

    turn(Sa, &ai);

    return 0;

}

お知らせ

正解のソースコードなどもご教示いただきましたが、
結局、自分が作成した元のソースコードの何が拙いか自分の力では究明できなさそうなので、
しばらく間をおいてから再チャレンジしてみたいと思います。

ためしてみたこと

・printfを挟んで問題となりそうなところの切り分け
・ステップ確認は利用エディタ（VS code)のデバッグ機能の使い方がよくわからなかったため、こちらも暫定的に放棄しております・・・

Comments

[Zuishin]

最初に A さんが出すカードが c だった場合、A さんがそのカードを捨てなければいけませんが、C さんが捨てていませんか？

[jimbe]

ai++ 等の所は *i を増加ということですね.

[Zuishin]

そうなりますね。ai++ は A さんが捨てる、bi++ は B さんが捨てるという意味になると思います。

今回のような複雑な動きをする場合、テストケース作成は手間がかかり、いくつも作れません。せっかく作ったテストケースをたまたまパスするようでは本末転倒(適当なプログラムでも 1/3 という結構な高確率で正解になります)ですし、正しく動くプログラムがまだ存在しない以上、テストケースと期待する出力自体にバグが混入することも考えられます。

ステップ実行、または printf デバッグで、途中経過がどこまで正しいかをチェックする方が早いと思います。
ただし printf デバッグはソースをいじるので、それ自体がバグを発生させることもあります。ステップ実行がおすすめです。

Answer 1

回答にはなるのかどうか, こんな感じ.

#include <stdio.h>

#define N 3 /*人数*/
#define M 100 /*最大枚数*/
#define C 'a' /*カード(オフセット)*/
#define P 'A' /*参加者(オフセット)*/

int main(int argc, char *argv[]) {
  int i, top[N]={0};
  char card, S[N][M+1];

  for(i=0;i<N;i++) scanf("%s", S[i]);

  card = C;
  do {
    i = card - C;
    card = S[i][top[i]++];
  } while(card != '\0');
  printf("%c\n", i + P);
}

do-while は for に纏めれば小さくなりますね.

#include <stdio.h>

#define N 3 /*人数*/
#define M 100 /*最大枚数*/
#define C 'a' /*カード(オフセット)*/
#define P 'A' /*参加者(オフセット)*/

int main(int argc, char *argv[]) {
  int i, top[N]={0};
  char card, S[N][M+1];
  //入力
  for(i=0;i<N;i++) scanf("%s", S[i]);
  //勝負
  for(card=C; card!='\0'; card=S[i][top[i]++]) i = card - C;
  //出力
  printf("%c\n", i + P);
}

Comments

[jimbe]

回答してからご質問のコードを見て, 再帰していてビックリです...
カードa/b/c では扱い難いですので, 0/1/2と数値化して配列のインデックスにしますと, if 判断しなくて済みます.

[omologic]

サンプルコードの作成ありがとうございます。
再帰はあまり好ましくないという情報を見たことがあるので、やはり控えた方がよろしいでしょうか？

逆に再帰以外の方法が思いつかず、コードを提示いただき助かりました。

[jimbe]

一概に控えたほうがというのも違うとは思います.
要は適材適所ですし, 多少は作者の嗜好が入る余地もあるかもしれませんので...

その意味で私は再帰よりはループを先ず考えますのでこのようなコードになりましたし, omologic さんはご質問のコードを作られたというだけで, ビックリと言うのは私が考えなかった方法だったという感想でした.

Answer 2

テストケース作成の思考過程についてご教示いただければ大変ありがたいです。

ホワイトボックステストとブラックボックステストを考えます。

ホワイトボックステストは、全部の分岐が期待通りに通るかどうか確認できるテストですね。
ここでいうと
a
a
a
とか
b
b
b
みたいなパラメータの与え方です。

ブラックボックステストでは仕様として渡すパラメータの範囲や組み合わせを振って仕様通りか確認するテストです。
ここでいう仕様はリンク先の制約を満たしたり、与えられた入力で期待した出力が出るかどうかの確認ですね。
実際にテストを考える場合は同値分析や境界値分析などの考え方でテストパラメータを考えます。

どこに問題があるのか見当がつかず、バグの修正が出来ない状況です

if(s==Sa)
じゃなくて
if(s[*i] == Sa[*i])
だと思うのですが。