Quelle TestResult.vdmrt Sprache: VDM

\begin{vdm_al}
--The class \vdmstyle{TestResult} maintains a collection
--of references to test cases that have failed. The
--exception handler defined in the operation \vdmstyle{Run}
--of class \vdmstyle{TestCase} calls the operation
--\vdmstyle{AddResult}, which will append the object
--reference of the test case to the tail of the sequence
--\vdmstyle{failures}. The operation \vdmstyle{Show} is used
--to print a list of test cases that have failed or
--provide a message to indicate that no failures were
--found. Note that the standard I/O library, which is
--supplied with \vdmtools, is used here. \vdmstyle{IO.echo}
--prints a string on the standard output, just like
--\vdmstyle{System.out.println} in Java. The \emph{def
--statement} is used to suppress the boolean value
--returned by \vdmstyle{IO.echo}:\sindex{IO standard library}

class TestResult

instance variables
  failures : seq of TestCase := []

operations
public AddFailure: TestCase ==> ()
AddFailure (ptst) == failures := failures ^ [ptst];

public Print: seq of char ==> ()
Print (pstr) ==
  def - = new IO().echo(pstr ^ "\n") in skip;

public Show: () ==> ()
Show () ==
     if failures = [] then
       Print ("No failures detected")
     else
       for failure in failures do
         Print (failure.GetName() ^ " failed")

end TestResult
\end{vdm_al}

quality61%

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.