Quelle CalendarT.vdmpp Sprache: VDM

class CalendarT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests() ==
[
new CalendarT12(),
new CalendarT11(),
new CalendarT10(),
new CalendarT09(),
--new CalendarT08(), --deleted
new CalendarT07(),
new CalendarT06(),
new CalendarT05(),
new CalendarT03(),
new CalendarT02(),
new CalendarT01(),
new CalendarT04()
];
end CalendarT

class CalendarT01 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
  let jc = new JapaneseCalendar() in
(
jc.setToday(jc.getDateFrom_yyyy_mm_dd(2001,9,12));
return
  jc.getDateFrom_yyyy_mm_dd(2003, 3, 0).asString() = "20030228" and
  jc.getDateFrom_yyyy_mm_dd(2003, 2, 29).asString() = "20030301" and
  jc.getDateFrom_yyyy_mm_dd(2004, 3, 0).asString() = "20040229" and
  jc.getDateFrom_yyyy_mm_dd(2004, 2, 30).asString() = "20040301" and
  jc.getDateFrom_yyyy_mm_dd(2004, 1, 60).asString() = "20040229" and
  jc.getDateFrom_yyyy_mm_dd(2004, 1, 61).asString() = "20040301" and
  jc.getDateFrom_yyyy_mm_dd(2001,5,1).get_yyyy_mm_dd() = mk_(2001,5,1) and
  jc.getYyyymmdd(jc.today()) = mk_(2001,9,12) and
  jc.modifiedJulianDate2Date(jc.julianDate2ModifiedJulianDate(2299160)).get_yyyy_mm_dd() = mk_(1582,10,4)  and --theDayBeforeGregorioCalendarStarted
  jc.modifiedJulianDate2Date(jc.julianDate2ModifiedJulianDate(2299160)).plus(1).get_yyyy_mm_dd() = mk_(1582,10,15) and --theFirstDayOfGregorioCalendar
  jc.date2Str(jc.getDateFromString("20010711")) = "20010711" and
  jc.convertDateFromString("saharashin") = nil and
  JapaneseCalendar`getJapaneseDateStr(jc.getDateFrom_yyyy_mm_dd(2001,5,1)) = "13 5 1" and
  jc.getAutumnalEquinox(2001).EQ(jc.getDateFrom_yyyy_mm_dd(2001,9,23)) = true
)
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT01:\tMake date.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT01

class CalendarT02 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar() in
return
  jc.dateAdding(jc.getDateFrom_yyyy_mm_dd(2001,5,1),3) .date2Str() = "20010504" and
  jc.diffOfDates(jc.getDateFrom_yyyy_mm_dd(2001,5,8),jc.getDateFrom_yyyy_mm_dd(2001,5,1)) = 7 and
  jc.dateSubtracting(jc.getDateFrom_yyyy_mm_dd(2001,5,1),1) .get_yyyy_mm_dd() = mk_(2001,4,30)
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT02:\tAddition and subtraction of date.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT02

class CalendarT03 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar() in
return
  jc.getVernalEquinox(2001).date2Str() = "20010320" and
  jc.getSummerSolstice(2001).date2Str() = "20010621" and
  jc.getAutumnalEquinox(2001).date2Str() = "20010923" and
  jc.getWinterSolstice(2001).date2Str() = "20011222" and
  jc.getVernalEquinox(2999).date2Str() = "29990320" and
  jc.getSummerSolstice(2999).date2Str() = "29990620" and
  jc.getAutumnalEquinox(2999).date2Str() = "29990922" and
  jc.getWinterSolstice(2999).date2Str() = "29991222" and
  --jc.getWinterSolstice(2008).date2Str() = "20081221" and -- error in leap year
  jc.getWinterSolstice(2007).date2Str() = "20071222" and
  jc.getWinterSolstice(2012).date2Str() = "20121221" and
  jc.getWinterSolstice(2016).date2Str() = "20161221"
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT03:\tCalculation of Vernal Equinox, Summer Solstice, Autumnal Equinox, Winter Solstice.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT03

class CalendarT04 is subclass of TestCase
operations
public test: () ==> bool
test() ==
let jc = new JapaneseCalendar(),
  setOfDayOffIn2009 = jc.getSetOfDayOff(2009),
  setOfDayOff = jc.getSetOfDayOff(2001),
  setOfDayOff2003 = jc.getSetOfDayOff(2003),
  d0401 = jc.getDateFromString("20010401"),
  d0408 = jc.getDateFromString("20010408"),
  d0430 = jc.getDateFromString("20010430"),
  setOfDayOffBy_yyyy_mm_dd =  {jc.getYyyymmdd(dayOff) | dayOff in set setOfDayOff},
  setOfDayOffBy_yyyy_mm_dd2003 =  {jc.getYyyymmdd(dayOff) | dayOff in set setOfDayOff2003},
  setOfDayOffBy_yyyy_mm_ddIn2009 =  {jc.getYyyymmdd(dayOff) | dayOff in set setOfDayOffIn2009}
  in
return
  setOfDayOffBy_yyyy_mm_dd =
   { mk_( 2001,1,1 ),
     mk_( 2001,1,8 ),
   mk_( 2001,2,11 ),
    mk_( 2001,2,12 ),
     mk_( 2001,3,20 ),
    mk_( 2001,4,29 ),
     mk_( 2001,4,30 ),
     mk_( 2001,5,3 ),
     mk_( 2001,5,4 ),
     mk_( 2001,5,5 ),
    mk_( 2001,7,20 ),
     mk_( 2001,9,15 ),
   mk_( 2001,9,23 ),
     mk_( 2001,9,24 ),
     mk_( 2001,10,8 ),
     mk_( 2001,11,3 ),
     mk_( 2001,11,23 ),
     mk_( 2001,12,23 ),
     mk_( 2001,12,24 )
     } and
    setOfDayOffBy_yyyy_mm_dd2003 =
     { mk_( 2003,1,1 ),
     mk_( 2003,1,13 ),
     mk_( 2003,2,11 ),
     mk_( 2003,3,21 ),
     mk_( 2003,4,29 ),
     mk_( 2003,5,3 ),
     mk_( 2003,5,4 ),
     mk_( 2003,5,5 ),
     mk_( 2003,7,21 ),
     mk_( 2003,9,15 ),
     mk_( 2003,9,23 ),
     mk_( 2003,10,13 ),
     mk_( 2003,11,3 ),
     mk_( 2003,11,23 ),
     mk_( 2003,11,24 ),
      mk_( 2003,12,23 )
     } and
  setOfDayOffBy_yyyy_mm_ddIn2009 =
     { mk_( 2009, 1, 1 ),
    mk_( 2009, 1, 12 ),
    mk_( 2009, 2, 11 ),
    mk_( 2009, 3, 20 ),
    mk_( 2009, 4, 29 ),
    mk_( 2009, 5, 3 ),
    mk_( 2009, 5, 4 ),
    mk_( 2009, 5, 5 ),
    mk_( 2009, 5,6 ),
    mk_( 2009, 7, 20 ),
    mk_( 2009, 9, 21 ),
      mk_( 2009, 9, 22 ),
    mk_( 2009, 9, 23 ),
    mk_( 2009, 10, 12 ),
    mk_( 2009, 11, 3 ),
    mk_( 2009, 11, 23 ),
    mk_( 2009, 12, 23 ) } and
    jc.getDayOffsExceptSunday(d0401,d0430)  = 2 and
    card jc.getDayOffsAndSunday(d0401,d0430) = 1 and
    jc.getDayOffsAndSunday(d0401,d0408) = {}
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT04:\tGet set of Day off.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT04

class CalendarT05 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar(),
  d0711 = jc.getDateFromString("20010711") in
(
jc.setToday(jc.getDateFrom_yyyy_mm_dd(2001,3,1));
let d0301 = jc.today() in
return
  d0711.EQ(jc.getDateFrom_yyyy_mm_dd(2001, 7, 11)) and
  jc.EQ(d0711,jc.getDateFrom_yyyy_mm_dd(2001, 7, 11)) and
  d0301.LT(d0711) and
  jc.LT(d0301, d0711) and
  d0711.GT(d0301) and
  jc.GT(d0711,d0301) and
  d0711.GE(d0711) and d0711.GE(d0301) and
  jc.GE(d0711,d0711)  and jc.GE(d0711,d0301) and
  d0711.LE(d0711) and d0301.LE(d0711) and
  jc.LE(d0711,d0711) and jc.LE(d0301,d0711)
)
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT05:\tCompare date.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT05

class CalendarT06 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar(),
  d10010301 = jc.getDateFromString("10010301"),
  d0711 = jc.getDateFromString("20010711")  in
(
let d0301 = jc.today() in
return
  jc.firstDayOfTheWeekInMonth(2000,3,<Wed>).get_yyyy_mm_dd() = mk_( 2000,3,1 ) and
  jc.firstDayOfTheWeekInMonth(2001,7,<Sun>).get_yyyy_mm_dd() = mk_( 2001,7,1 ) and
  jc.lastDayOfTheWeekInMonth(2000,2,<Tue>).get_yyyy_mm_dd() = mk_( 2000,2,29 ) and
  jc.lastDayOfTheWeekInMonth(2001,7,<Sun>).get_yyyy_mm_dd() = mk_( 2001,7,29 ) and
  jc.getNthDayOfTheWeek(2001,7,5,<Sun>).get_yyyy_mm_dd() = mk_( 2001,7,29 ) and
  jc.getNthDayOfTheWeek(2001,7,6,<Sun>) = false and
  jc.getNumberOfTheDayOfWeek(d0711,d0301,<Sun>)  = 19 and
  jc.getNumberOfTheDayOfWeek(d0711,d10010301,<Sun>)  = 52196 and
  jc.getNumberOfDayOfTheWeekFromName(<Thu>) = 4 and
  jc.getNumberOfDayOfTheWeekFromName(<Fri>) = 5 and
  jc.getNumberOfDayOfTheWeekFromName(<Sat>) = 6 and
  jc.getNumberOfDayOfTheWeekFromName(<Sun>) = 0
)
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT06:\tGet day of the week.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT06

class CalendarT07 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar() in
return
  jc.getDateFromString("sahara") = false and
  jc.getDateFromString("20011232") = false and
  jc.getDateFromString("20011231").date2Str() = "20011231"
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT07:\tgetDateFromString";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT07

class CalendarT09 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar()
in
return
  jc.today().EQ(jc.getDateFrom_yyyy_mm_dd(2001, 3, 1)) and
  jc.readFromFiletoday(homedir ^ "/temp/BaseDay.txt").EQ(jc.getDateFrom_yyyy_mm_dd(2003, 10, 24))
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT09:\tRead today datefrom a file.";
protected tearDown: () ==> ()
tearDown() == return;

end CalendarT09

class CalendarT10 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar()
in
return
  jc.getLastDayOfMonth(2004, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 1, 31)) and
  jc.getLastDayOfMonth(2004, 2).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 29)) and
  jc.getLastDayOfMonth(2004, 3).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 3, 31)) and
  jc.getLastDayOfMonth(2004, 4).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 4, 30)) and
  jc.getLastDayOfMonth(2004, 5).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 5, 31)) and
  jc.getLastDayOfMonth(2004, 6).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 6, 30)) and
  jc.getLastDayOfMonth(2004, 7).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 7, 31)) and
  jc.getLastDayOfMonth(2004, 8).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 8, 31)) and
  jc.getLastDayOfMonth(2004, 9).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 9, 30)) and
  jc.getLastDayOfMonth(2004, 10).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 10, 31)) and
  jc.getLastDayOfMonth(2004, 11).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 11, 30)) and
  jc.getLastDayOfMonth(2004, 12).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 12, 31)) and
  jc.getLastDayOfMonth(2003, 13).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 1, 31)) and
  jc.getLastDayOfMonth(2003, 8+6).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 29)) and
  jc.getLastDayOfMonth(2003, 15).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 3, 31)) and
  jc.getLastDayOfMonth(2003, 16).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 4, 30)) and
  jc.getLastDayOfMonth(2003, 17).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 5, 31)) and
  jc.getLastDayOfMonth(2003, 18).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 6, 30)) and
  jc.getLastDayOfMonth(2003, 19).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 7, 31)) and
  jc.getLastDayOfMonth(2003, 20).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 8, 31)) and
  jc.getLastDayOfMonth(2003, 21).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 9, 30)) and
  jc.getLastDayOfMonth(2003, 22).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 10, 31)) and
  jc.getLastDayOfMonth(2003, 23).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 11, 30)) and
  jc.getLastDayOfMonth(2003, 24).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 12, 31)) and
  jc.getLastDayOfMonth(2005, 2).EQ(jc.getDateFrom_yyyy_mm_dd(2005, 2, 28))
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT10:\tGet the end of month.";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT10

class CalendarT11 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar()
in
return
  jc.getRegularDate(2004, 1, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 1, 1)) and
  jc.getRegularDate(2003, 12, 32).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 1, 1)) and
  jc.getRegularDate(2003, 24, 32).EQ(jc.getDateFrom_yyyy_mm_dd(2005, 1, 1)) and
  jc.getRegularDate(2003, 13, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 1, 1)) and
  jc.getRegularDate(2004, 1, 32).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 1)) and
  jc.getRegularDate(2004, 2, 0).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 1, 31)) and
  jc.getRegularDate(2004, 2, 28).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 28)) and
  jc.getRegularDate(2004, 2, 29).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 29)) and
  jc.getRegularDate(2004, 3, 0).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 29)) and
  jc.getRegularDate(2004, 3, -1).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 2, 28)) and
  jc.getRegularDate(2003, 2, 29).EQ(jc.getDateFrom_yyyy_mm_dd(2003, 3, 1)) and
  jc.getRegularDate(2004, 4, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2004, 4, 1)) and
  jc.getRegularDate(2004, 0, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2003, 12, 1)) and
  jc.getRegularDate(2004, -1, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2003, 11, 1)) and
  jc.getRegularDate(2004, -10, 29).EQ(jc.getDateFrom_yyyy_mm_dd(2003, 3, 1)) and
  jc.getRegularDate(2004, -10, 28).EQ(jc.getDateFrom_yyyy_mm_dd(2003, 2, 28)) and
  jc.getRegularDate(2004, -11, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2003, 1, 1)) and
  jc.getRegularDate(2004, -12, 1).EQ(jc.getDateFrom_yyyy_mm_dd(2002, 12, 1))
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT11:\tgetRegularDate";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT11

class CalendarT12 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let jc = new JapaneseCalendar()
in
return
  jc.getRegularMonth(2004, 1) = mk_(2004, 1) and
  jc.getRegularMonth(2004, 2) = mk_(2004, 2) and
  jc.getRegularMonth(2004, 3) = mk_(2004, 3) and
  jc.getRegularMonth(2004, 4) = mk_(2004, 4) and
  jc.getRegularMonth(2004, 5) = mk_(2004, 5) and
  jc.getRegularMonth(2004, 6) = mk_(2004, 6) and
  jc.getRegularMonth(2004, 7) = mk_(2004, 7) and
  jc.getRegularMonth(2004, 8) = mk_(2004, 8) and
  jc.getRegularMonth(2004, 9) = mk_(2004, 9) and
  jc.getRegularMonth(2004, 10) = mk_(2004, 10) and
  jc.getRegularMonth(2004, 11) = mk_(2004, 11) and
  jc.getRegularMonth(2004, 12) = mk_(2004, 12) and
  jc.getRegularMonth(2004, 13) = mk_(2005, 1)  and
  jc.getRegularMonth(2004, 14) = mk_(2005, 2) and
  jc.getRegularMonth(2004, 24) = mk_(2005, 12) and
  jc.getRegularMonth(2004, 25) = mk_(2006, 1) and
  jc.getRegularMonth(2004, 0) = mk_(2003, 12) and
  jc.getRegularMonth(2004, -1) = mk_(2003, 11) and
  jc.getRegularMonth(2004, -10) = mk_(2003, 2) and
  jc.getRegularMonth(2004, -11) = mk_(2003, 1) and
  jc.getRegularMonth(2004, -12) = mk_(2002, 12) and
  jc.getRegularMonth(2004, -13) = mk_(2002, 11)
;
protected setUp: () ==> ()
setUp() == TestName := "CalendarT12:\tgetRegularMonth";
protected tearDown: () ==> ()
tearDown() == return;
end CalendarT12

quality100%

¤ 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.0.13Bemerkung: (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.