| products/sources/formale sprachen/VDM/VDMRT/CMRT/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: integration_fault_model.prf Sprache: VDMUntersuchung VDM© |
|
||||||
|
\begin{vdm_al} class TestCase is subclass of Test instance variables protected name : seq of char operations public TestCase: seq of char ==> TestCase TestCase(nm) == name := nm; public GetName: () ==> seq of char GetName () == return name; \end{vdm_al} \begin{vdm_al} protected AssertTrue: bool ==> () AssertTrue (pb) == if not pb then exit <FAILURE>; protected AssertFalse: bool ==> () AssertFalse (pb) == if pb then exit <FAILURE>; \end{vdm_al} \begin{vdm_al} public Run: TestResult ==> () Run (ptr) == trap <FAILURE> with ptr.AddFailure(self) in (SetUp(); RunTest(); TearDown()); \end{vdm_al} \begin{vdm_al} protected SetUp: () ==> () SetUp () == is subclass responsibility; protected RunTest: () ==> () RunTest () == is subclass responsibility; protected TearDown: () ==> () TearDown () == is subclass responsibility end TestCase \end{vdm_al} ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.0Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Entwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
