| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/EnigmaPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 723 B |
|
Quelle ConfigurationTest.vdmpp Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class ConfigurationTest is subclass of Configuration, TestCase values cfg : inmap nat to nat = { 1 |-> 2, 3 |-> 4 } operations public ConfigurationTest: seq of char ==> ConfigurationTest ConfigurationTest(nm) == name := nm; protected SetUp: () ==> () SetUp () == config := cfg; protected RunTest: () ==> () RunTest () == ( AssertTrue(Encode(1) = 2); AssertTrue(Encode(2) = 2); AssertTrue(Encode(3) = 4); AssertTrue(Encode(4) = 4); AssertTrue(Decode(1) = 1); AssertTrue(Decode(2) = 1); AssertTrue(Decode(3) = 3); AssertTrue(Decode(4) = 3) ); protected TearDown: () ==> () TearDown () == skip; end ConfigurationTest \end{vdm_al} ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28