| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL P/ Datei vom 4.1.2008 mit Größe 2 kB |
|
Quelle TestVDMComplete.vdmrt Sprache: VDM |
|||||||||
|
\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.23 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28