|
--$Id: TestLogger.vpp,v 1.2 2006/04/04 07:03:05 vdmtools Exp $
class TestLogger
--テストのログを管理する
values
hisotoryFileName = "VDMTESTLOG.TXT"
functions
public Succeeded: TestCase -> bool
Succeeded(t) ==
let Message = t.getTestName()^"\t OK.\n",
- = new IO().fecho(hisotoryFileName, Message, <append>) ,
- = new IO().echo(Message) in
true;
public Failed: TestCase -> bool
Failed(t) ==
let Message = t.getTestName()^"\t NG.\n",
- = new IO().fecho(hisotoryFileName, Message, <append>),
- = new IO().echo( Message) in
false;
public succeededInAllTestcases : seq of char -> bool
succeededInAllTestcases(m) ==
let Message = m ^ "\t OK!!\n",
- = new IO().fecho(hisotoryFileName, Message, <append>),
- = new IO().echo( Message)
in
true;
public notSucceededInAllTestcases : seq of char -> bool
notSucceededInAllTestcases(m) ==
let Message = m ^ "\t NG!!\n",
- = new IO().fecho(hisotoryFileName, Message, <append>),
- = new IO().echo( Message)
in
false;
end TestLogger
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.76Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Entwicklung einer Software für die statische Quellcodeanalyse
|
