/**
  正当性確認テストケース
*/
class testVerification01 is subclass of TestCase

  instance variables
    public iLineCtrl : 「ライン監視制御」;
  
  operations
    public setUp : () ==> ()
    setUp() ==
    (
      iLineCtrl := new 「ライン監視制御」();
      iLineCtrl.黒線レベルを値をセットする(<黒閾値以下>);
    );
    
    public runTest : () ==> ()
    runTest() ==
    (
      dcl tライン状態 : 「ライン監視制御」`「ライン状態」;
      tライン状態 := iLineCtrl.ライン状態を判定する();
      assertTrue("test01 failed.",
                 tライン状態 = <黒>);
    );

end testVerification01

/**
  妥当性確認テストケース
*/
class testValidation01 is subclass of TestCase

  instance variables
    public iNXT : 「制御マシン」;
  
  operations
    public setUp : () ==> ()
    setUp() ==
    (
      iNXT := new 「制御マシン」();
      iNXT.黒線レベルを値をセットする(<黒閾値以下>);
    );
    
    public runTest : () ==> ()
    runTest() ==
    (
      iNXT.電源ボタンを押す();
      iNXT.走行する();
       assertTrue("test01 failed.",
                  iNXT.走行状態を得る() = <走行中> and
                  iNXT.進行方向を得る() = <右ターン中>);
    );

end testValidation01

class testValidation02 is subclass of TestCase

  instance variables
    public iNXT : 「制御マシン」;
  
  operations
    public setUp : () ==> ()
    setUp() ==
    (
      iNXT := new 「制御マシン」();
      iNXT.黒線レベルを値をセットする(<白閾値以上>);
    );
    
    public runTest : () ==> ()
    runTest() ==
    (
      iNXT.電源ボタンを押す();
      iNXT.走行する();
       assertTrue("test02 failed.",
                  iNXT.走行状態を得る() = <走行中> and
                  iNXT.進行方向を得る() = <左ターン中>);
    );

end testValidation02