Lean Testing für C++-Programmierer: Angemessen statt aufwendig testen (German Edition) by Andreas Spillner & Ulrich Breymann
Autor:Andreas Spillner & Ulrich Breymann [Spillner, Andreas]
Die sprache: deu
Format: mobi
Herausgeber: dpunkt.verlag
veröffentlicht: 2016-05-31T16:00:00+00:00
Der Fahrstuhl setzt sich in Bewegung (MS) und ist im Zustand »fahrend« (ZF).
Der Sensor meldet das Erreichen des Ziels (e ), der Motor wird ausgestellt und die Tür geöffnet (MA). Dabei wird der Timer gestartet. Der erreichte Zustand ist ZWO.
Der Ablauf des Timers erzeugt das Ereignis t . Die Tür schließt sich (TS) und der Fahrstuhl geht in den Zustand »wartend mit geschlossener Tür« (ZWG).
Ein Testfall, der sicherlich sinnvoll zur Ergänzung mit aufgenommen werden kann. Auf weitere Testfälle und längere Switch-Überdeckungen wird nicht weiter eingegangen. Das Prinzip zur Erzeugung längerer Zustandsübergangsfolgen ist hoffentlich klar geworden.
Download
Diese Site speichert keine Dateien auf ihrem Server. Wir indizieren und verlinken nur Inhalte von anderen Websites zur Verfügung gestellt. Wenden Sie sich an die Inhaltsanbieter, um etwaige urheberrechtlich geschützte Inhalte zu entfernen, und senden Sie uns eine E-Mail. Wir werden die entsprechenden Links oder Inhalte umgehend entfernen.
