Testcase.java:テストケースの使用

kwcreatechecker を実行すると、--code オプションで指定した <CHECKER.CODE> ディレクトリに Testcase.java ファイルが作成されます。

このファイルには、サンプルコードが含まれるので、独自のテストケースで置換します。サンプルコードは次のとおりです。

public class Testcase {  
   public void test() {
      String s = "a";       
      if (s.equals("b"))           
         s = s.trim();        
      else ; 
   }
}

はじめは単純なテストケースを作成し、KAST 式のテストが成功するたびに、徐々にテストケースの複雑度を上げていくことをお勧めします。