Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/PVS/fault_tolerance/ (Beweissystem Isabelle Version 2025-1^©) Datei vom 28.9.2014 mit Größe 160 kB

FTestLogger.vdmpp Interaktion und
PortierbarkeitVDM

\subsection{FTestLogger}
テストのログを管理する関数を提供する。

\begin{vdm_al}
--$Id: TestLogger.vpp,v 1.1 2005/10/31 02:09:59 vdmtools Exp $
class FTestLogger
values
historyFileName =  "VDMTESTLOG.TXT";

functions
\end{vdm_al}

Successは、成功メッセージをファイルに追加し、標準出力に表示し、trueを返す。
\begin{vdm_al}
static public Success: FTestDriver`TestCase +> bool
Success(t) ==
let message =
   FTestDriver`GetTestName(t)^"\tOK.\n",
  - = Fprint( message),
  - = Print(message)
in
true;
\end{vdm_al}

Failureは、失敗メッセージをファイルに追加し、標準出力に表示し、falseを返す。
\begin{vdm_al}
static public Failure: FTestDriver`TestCase +> bool
Failure(t) ==
let message = FTestDriver`GetTestName(t)^"\tNG.\n",
  - = Fprint( message),
  - = Print( message)
in
false;
\end{vdm_al}

SuccessAllは、全体成功メッセージをファイルに追加し、標準出力に表示し、trueを返す。
\begin{vdm_al}
static public SuccessAll : seq of char +> bool
SuccessAll(m) ==
let message = m ^ "\tOK!!\n",
  - = Fprint(message),
  - = Print( message)
in
true;
\end{vdm_al}

FailureAllは、全体失敗メッセージをファイルに追加し、標準出力に表示し、falseを返す。
\begin{vdm_al}
static public FailureAll :  seq of char +> bool
FailureAll(m) ==
let message = m ^ "\tNG!!\n",
  - = Fprint( message),
  - = Print( message)
in
false;
\end{vdm_al}

Printは、標準出力に文字列を表示する。

\begin{vdm_al}
static public Print : seq of char -> bool
Print (s) == new IO().echo(s);
\end{vdm_al}

Fprintは、現在ディレクトリの
historyFileNameで示されるファイルに文字列を表示する。

\begin{vdm_al}
static public Fprint : seq of char -> bool
Fprint (s) == new IO().fecho(historyFileName,  s, <append>);

operations
\end{vdm_al}

Prは、標準出力に文字列を表示するが、返値がない。

\begin{vdm_al}
static public Pr : seq of char ==> ()
Pr (s) == let - = new IO().echo(s) in skip;
\end{vdm_al}

Fprは、現在ディレクトリの
historyFileNameで示されるファイルに文字列を表示するが、返値がない。

\begin{vdm_al}
static public Fpr : seq of char ==> ()
Fpr (s) == let - = new IO().fecho(historyFileName,  s, <append>) in skip;

end FTestLogger
\end{vdm_al}

\begin{rtinfo}
[FTestLogger]{vdm.tc}[FTestLogger]
\end{rtinfo}

quality100%

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤

*Eine klare Vorstellung vom Zielzustand

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.