Quelle  TestCase.vdmpp   Sprache: VDM

--The TestCase Class

-----------------------------------------------
-- Author:
-- Created:
-- Updated:
-- Description: 
-----------------------------------------------

--
-- class definition
--
class TestCase is subclass of Test

--
-- instance variables
--
instance variables

protected name : seq of char

--
-- Operations definition section
--
operations

public TestCase: seq of char ==> TestCase
 TestCase(nm) == name := nm;

public GetName: () ==> seq of char
 GetName() == return name;

protected AssertTrue: bool ==> ()
 AssertTrue(pb) == if not pb then exit <FAILURE>;

protected AssertFalse: bool ==> ()
 AssertFalse(pb) == if pb then exit <FAILURE>;

public Run: TestResult ==> ()
 Run(ptr) ==
  trap <FAILURE>
   with 
    ptr.AddFailure(self)
   in
    (SetUp();
    RunTest();
    TearDown();
    );

protected SetUp: () ==> ()
 SetUp() == is subclass responsibility;

protected RunTest: () ==> ()
 RunTest() == is subclass responsibility;

protected TearDown: () ==> ()
 TearDown() == is subclass responsibility;

end TestCase