| products/sources/formale sprachen/VDM/VDMRT/VDMRT/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: vect_metric_space.pvs Sprache: VDMUntersuchung 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} ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.26Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
