Quelle TimeT.vdmpp Sprache: VDM

class TimeT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests() ==
[
new TimeT06(), new TimeT05(), new TimeT04(),
new TimeT03(), new TimeT02(), new TimeT01()
];
end TimeT
----------------------------------------------------------

class TimeT01 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
  d1 = cal.getDateFrom_yyyy_mm_dd(2003, 7, 30),
  d3 = cal.getDateFrom_yyyy_mm_dd(2003, 8, 15),
  t1 = new Time(cal, 2003, 7, 30, 14, 29, 30, 20),
  t2 = new Time(cal, 2003, 8, 1) ,
  t3 = new Time(d3)
in
return
  t1.getDate().EQ(d1) and
  t1.Time2IntProduct(t1.getTime()) = mk_(14, 29, 30, 20) and
  mk_(t1.hour(), t1.minute(), t1.second()) = mk_(14, 29, 30) and
  mk_(t2.Year(), t2.Month(), t2.day()) = mk_(2003, 8, 1) and
  t2.getTime() = t2.IntProduct2TimeMillieSeconds(0, 0, 0, 0) and
  t3.getDate().EQ(d3) and
  t3.getTime() = t2.IntProduct2TimeMillieSeconds(0, 0, 0, 0)
;
protected setUp: () ==> ()
setUp() == TestName := "Ｔｉｍｅ０１：¥tＴｅｓｔ　ｏｆ　ｃｏｎｓｔｒｕｃｔｏｒ．";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT01
----------------------------------------------------------

class TimeT02 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
  t1 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
  t2 = new Time(cal, 2003, 8, 1) ,
  t4 = new Time(cal, 2003, 7, 30, 14, 29, 31, 0),
  t5 = new Time(cal, 2003, 7, 30, 14, 29, 31, 0),
  t6 = t1
in
return
  t1.LT(t2) and
  t1.LT(t4) and
  t1.LE(t2) and
  t1.LE(t4) and
  t2.GT(t1) and
  t4.GT(t1) and
  t2.GE(t1) and
  t4.GE(t1) and
  t4.EQ(t5) and
  t4.NE(t1) and
  t4 <> t5 and
  t1 = t6
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT02:\tATime comparing.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT02
----------------------------------------------------------

class TimeT03 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
  t = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
  t1 = t.plussecond(20),
  t2 = t.plussecond(30),
  t3 = t.plussecond(50),
  t4 = t.plussecond(90),
  t5 = t.plussecond(150),
  t6 = t.plussecond(3600),
  t7 = t.plusminute(30),
  t8 = t.plusminute(31),
  t9 = t.plusminute(40),
  t10 = t.plusminute(91),
  t11 = t.plusminute(1440),
  t12 = t.plus(9, 30, 30, 123),
  t13 = t.plushour(48),
  t14 = t.plus(0, 0, 0, 0)
in
return
  t1.minute() = 29 and t1.second() = 50 and
  t2.minute() = 30 and t2.second() = 0 and
  t3.minute() = 30 and t3.second() = 20 and
  t4.minute() = 31 and t4.second() = 0 and
  t5.hour() = 14 and t5.minute() = 32 and t5.second() = 0 and
  t6.hour() = 15 and t6.minute() = 29 and t6.second() = 30 and
  t7.hour() = 14 and t7.minute() = 59 and
  t8.hour() = 15 and t8.minute() = 0 and
  t9.hour() = 15 and t9.minute() = 9 and
  t10.hour() = 16 and t10.minute() = 0 and t10.second() = 30 and
  t11.Year() = 2003 and t11.Month() = 7 and t11.day() = 31 and t11.hour() = 14 and t11.minute() = 29 and t11.second() = 30 and
  t12.Year() = 2003 and t12.Month() = 7 and t12.day() = 31 and t12.hour() = 0 and t12.minute() = 0 and t12.second() = 0 and t12.milliSecond() = 123 and
  t13.Year() = 2003 and t13.Month() = 8 and t13.day() = 1 and t13.hour() = 14 and t13.minute() = 29 and t13.second() = 30 and t13.milliSecond() = 0 and
  t13.asString() = "20030801142930000" and
  t13.print() = "Year=2003, Month=08, Day=01, 14Hour, 29Minute, 30Second, 000MilliSecond" and
  t14.asString() = "20030730142930000"
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT03:\tTime ading.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT03
----------------------------------------------------------

class TimeT04 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
  t = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
  t1 = t.minus(14, 30, 30, 0) ,
  t2 = t.minus(38, 30, 30, 0) ,
  t3 = t.plus(-38, -30, -30, 0),
  t4 = t.plus(-0, -0, -0, -0)
in
return
  t1.Time2IntProduct(t1.getTime())  = mk_(23,59,0,0) and
  t1.getDate().date2Str() = "20030729" and
  t2.Time2IntProduct(t2.getTime())  = mk_(23,59,0,0) and
  t2.getDate().date2Str() = "20030728" and
  t3.Time2IntProduct(t3.getTime())  = mk_(23,59,0,0) and
  t3.getDate().date2Str() = "20030728" and
  t4.print() = "Year=2003, Month=07, Day=30, 14Hour, 29Minute, 30Second, 000MilliSecond"

;
protected setUp: () ==> ()
setUp() == TestName := "TimeT04:\tATime subtracting.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT04
----------------------------------------------------------

class TimeT05 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
  t1 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
  t2 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
  t3 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
  t4 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0)
in
(
t1.setTimeFromNat(15);
t2.setMinuteFromNat(19);
t3.setSecond(47);
t4.setMilliSecond(789);
return
  t1.Time2IntProduct(t1.getTime())  = mk_(15, 29, 30, 0) and
  t2.Time2IntProduct(t2.getTime())  = mk_(14, 19, 30, 0) and
  t3.Time2IntProduct(t3.getTime())  = mk_(14, 29, 47, 0) and
  t4.Time2IntProduct(t4.getTime())  = mk_(14, 29, 30, 789) and
  t4.getDate().date2Str() = "20030730"
)
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT05:\tSet instance variables.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT05
----------------------------------------------------------

class TimeT06 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new SBCalendar()
in
(
return
  new Time(cal).EQ(new Time(cal, 2001, 3, 1, 10, 11, 23, 456)) and
  new Time(homedir ^ "/temp/BaseDay.txt", homedir ^ "/temp/Now2.txt", cal).EQ(new Time(cal, 2003, 10, 24, 12, 34, 56, 789))
)
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT06:\tTest currentDateTime from file.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT06

quality100%

¤ Dauer der Verarbeitung: 0.12 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.