Quelle RealT.vdmpp Sprache: VDM

class RealT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests () ==
[
new RealT01(), new RealT02(), new RealT03(), new RealT04(),
new RealT05(), new RealT06(), new RealT07(), new RealT08()
];
end RealT
-----------------------------------------------------

class RealT01 is subclass of TestCase
values
Tolelance = 1E-10;
operations
protected test: () ==> bool
test() ==
let r = new Real()  in
return
  Real`EQ(r.getInterest(2,10))(0.07177346254161253 )
;
protected setUp: () ==> ()
setUp() == TestName := "RealT01:\tTest of getInterest";
protected tearDown: () ==> ()
tearDown() == return;
end RealT01
-----------------------------------------------------

class RealT02 is subclass of TestCase
values
Tolelance = 1E-10;
operations
protected test: () ==> bool
test() ==
let r = new Real()  in
return
  Real`EQ(r.root(2))(1.414213562382246 )
;
protected setUp: () ==> ()
setUp() == TestName := "RealT02:\tTest of root.";
protected tearDown: () ==> ()
tearDown() == return;
end RealT02
-----------------------------------------------------

class RealT03 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let r = new Real()  in
return
  r.isNDigitsAfterTheDecimalPoint(10.01,2)  and
  not r.isNDigitsAfterTheDecimalPoint(10.01,3)  and
  r.isNDigitsAfterTheDecimalPoint(10.012,3)  and
  r.isNDigitsAfterTheDecimalPoint(10.0,0)  and
  r.isNDigitsAfterTheDecimalPoint(10.011,2) = false  and
  r.isNDigitsAfterTheDecimalPoint(10.1,0) = false and
  r.getNumberOfDigitsAfterTheDecimalPoint(-1.2) = 1 and
  r.getNumberOfDigitsAfterTheDecimalPoint(1.0) = 0 and
  r.getNumberOfDigitsAfterTheDecimalPoint(1) = 0 and
  r.getNumberOfDigitsAfterTheDecimalPoint(1.23) = 2
;
protected setUp: () ==> ()
setUp() == TestName := "RealT03:\tTest isNDigitsAfterTheDecimalPoint and getNumberOfDigitsAfterTheDecimalPoint.";
protected tearDown: () ==> ()
tearDown() == return;
end RealT03
-----------------------------------------------------

class RealT04 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let r = new Real()  in
return
  r.numberOfDigit(0) = 1 and
  r.numberOfDigit(1) = 1 and
  r.numberOfDigit(9) = 1 and
  r.numberOfDigit(10) = 2 and
  r.numberOfDigit(99) = 2 and
  r.numberOfDigit(100) = 3 and
  r.numberOfDigit(0.1) = 3 and
  r.numberOfDigit(9.1) = 3 and
  r.numberOfDigit(10.1) = 4 and
  r.numberOfDigit(10.123) = 6
;
protected setUp: () ==> ()
setUp() == TestName := "RealT04:\tTest numberOfDigit.";
protected tearDown: () ==> ()
tearDown() == return;
end RealT04
-----------------------------------------------------

class RealT05 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.12345, 4))( 10.1235) and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.12345, 3))( 10.123 ) and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.12345, 2))( 10.12)  and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.125, 2) )( 10.13)  and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.14, 1))(  10.1)  and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.15, 1) )(  10.2)  and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.5, 0))( 11)  and
  Real`EQ(Real`roundAterDecimalPointByNdigit(10.4, 0) )( 10)
;
protected setUp: () ==> ()
setUp() == TestName := "RealT05:\tTest roundAterDecimalPointByNdigit.";
protected tearDown: () ==> ()
tearDown() == return;
end RealT05
-----------------------------------------------------

class RealT06 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
return
  Real`EQ(10.0123456678)(10.0123456789) = false and
  Real`EQ(10.01234567891)(10.01234567892) and
  Real`EQ(10.012345678801)(10.0123456789) and
  Real`EQE(1E-2)(10.12345)(10.12987)
;
protected setUp: () ==> ()
setUp() == TestName := "RealT06:\tTest EQ (Equal).";
protected tearDown: () ==> ()
tearDown() == return;
end RealT06
-----------------------------------------------------

class RealT07 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let f1 = lambda x : real & x ** 2
in
return
  Real`EQ(Real`integrate(f1)(10)(1)(2))(2.735) and
  Real`EQ(Real`integrate(f1)(100)(1)(2))(2.37335) and
  Real`EQ(Real`integrate(f1)(1000)(1)(2))(2.3373335)
;
protected setUp: () ==> ()
setUp() == TestName := "RealT07:\tTest integrate(x ** 2)";
protected tearDown: () ==> ()
tearDown() == return;
end RealT07
-----------------------------------------------------

class RealT08 is subclass of TestCase
values
pi = MATH`pi;
sin = MATH`sin

operations
protected test: () ==> bool
test() ==
return
  Real`EQ(Real`integrate(sin)(2)(0)(pi))(1.5707963278)  and
  Real`EQ(Real`integrate(sin)(3)(0)(pi))(1.8137993649)  and
  Real`EQ(Real`integrate(sin)(4)(0)(pi))(1.8961188984)  and
  Real`EQ(Real`integrate(sin)(5)(0)(pi))(1.9337655984)  and
  Real`EQ(Real`integrate(sin)(2000)(1)(pi))(1.5403021586)
;
protected setUp: () ==> ()
setUp() == TestName := "RealT08:\tTest integrate(sin) .";
protected tearDown: () ==> ()
tearDown() == return;
end RealT08

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.