/*
Test Group
Test of all test cases
Written by
Shin Sahara
*/
class AllT
operations
public run : () ==>bool
run () ==
let ResultOfTest =
[
new TermT().run(),
new TimeT().run(),
new MapT().run(),
new HashtableT().run(),
new FHashtableT().run(),
new DoubleListQueueT().run(),
new QueueT().run(),
new UniqueNumberT().run(),
new RealT().run(),
new SetT().run(),
new SequenceT().run(),
new StringT().run(),
new IntegerT().run(),
new NumberT().run(),
new CalendarT().run(),
new SBCalendarT().run(),
new DateT().run(),
new FunctionT().run()
],
Message = "Result of all test cases."
in
if forall i in set inds ResultOfTest & ResultOfTest(i) then
return new TestLogger().succeededInAllTestcases(Message)
else
return new TestLogger().notSucceededInAllTestcases(Message)
end AllT
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.21Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|