|
\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.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
