products/Sources/formale Sprachen/VDM/VDMRT/VeMoRT/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: tptp_nitpick   Sprache: Isabelle

Original von: VDM©
\section{VeMoComplete Main test class}

\begin{vdm_al}
-----------------------------------------------
-- Class: TestVeMoComplete
-- Description:  Test all test suites and classes in VeMo system 
-----------------------------------------------

--
-- class definition
--

class TestVeMoComplete


instance variables


--
-- Operations definition section
--
operations

public Execute: () ==> ()
 Execute() ==
  (
  dcl w : World := new World() , ts : TestSuite := new TestSuite();
  ts.AddTest(new TestVehicle("TestVehicle"));
  ts.AddTest(new TestPosition("TestPosition")); 
  ts.AddTest(new TestTrafficLight("TestTrafficLight"));
  ts.AddTest(new TestTrafficData("TestTrafficData"));
  ts.AddTest(new TestTraffic("TestTraffic"));
  ts.AddTest(new TestController("TestController"));
     ts.AddTest(new TestVeMoController("TestVeMoController"));
  ts.Run();
  );
  
end TestVeMoComplete

\end{vdm_al}

\begin{rtinfo}
[TotalxCoverage]{vdm.tc}[TestVeMoComplete]
\end{rtinfo}

¤ Dauer der Verarbeitung: 0.40 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff