\section{VDMComplete Main test class}
\begin{vdm_al}
-----------------------------------------------
-- Class: TestVDMComplete
-- Description: Test all test suites and classes in VDM system
-----------------------------------------------
--
-- class definition
--
class TestVDMComplete
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 TestVDMController("TestVDMController"));
ts.Run();
);
end TestVDMComplete
\end{vdm_al}
\begin{rtinfo}
[TotalxCoverage]{vdm.tc}[TestVDMComplete]
\end{rtinfo}
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|