Quelle NumberT.vdmpp Sprache: VDM

class NumberT is subclass of TestDriver

functions
public tests : () -> seq of TestCase
tests () ==
[ new NumberT01(),  new NumberT02(),  new NumberT03()
];
end NumberT

class NumberT01 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
  (Number`min[int](lambda x:int, y:int & x < y)(-3)(4) = -3 and
  Number`min[int](lambda x:int, y:int & x < y)(4)(-3) = -3 and
  Number`min[nat](lambda x:nat, y:nat & x < y)(2)(10) = 2 and
  Number`min[int](lambda x:int, y:int & x < y)(0)(0) = 0 and
  Number`max[real](lambda x:real, y:real & x < y)(0.001)( -0.001) = 0.001 and
  Number`max[real](lambda x:real, y:real & x < y)(-0.001)( 0.001) = 0.001 and
  Number`max[real](lambda x:real, y:real & x < y)(0.0)(0.0) = 0.0)
;
protected setUp: () ==> ()
setUp() == TestName := "NumberT01:\tSummary of integer.";
protected tearDown: () ==> ()
tearDown() == return;
end NumberT01

class NumberT02 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
   Number`isComputable[char]('a') = false and
   Number`isComputable[int](-9) = true and
   Number`isComputable[nat](0) = true and
   Number`isComputable[nat1](1) = true and
   Number`isComputable[real](1.234) = true and
   Number`isComputable[rat](1.234) = true
;
protected setUp: () ==> ()
setUp() == TestName := "NumberT02:\tIs computable?";
protected tearDown: () ==> ()
tearDown() == return;
end NumberT02

class NumberT03 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
   Number`min[seq of int](lambda s1: seq of int, s2 : seq of int & len s1 < len s2)([1,2])([1,2,3])  = [1, 2]  and
   Number`max[seq of int](lambda s1: seq of int, s2 : seq of int & len s1 < len s2)([1,2])([1,2,3])  = [1, 2, 3]
;
protected setUp: () ==> ()
setUp() == TestName := "NumberT03:\tType is not computable, but...";
protected tearDown: () ==> ()
tearDown() == return;
end NumberT03

quality86%

¤ 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.