GEMM
Cyber Tester
Encyclopaedia
Scope
Method
Tools
Tested
Projects
Opinions
               

 
   Precomputed database of 20000+ selected examples where the computer algebra
     systems often yield the invalid answers. It is based on our experience with
        Analytic       Analytic-93, Analytic-91
        Derive         6, 5.06, 5.05, 5.04, 4.11, 4.02, 3.11, 2.59, 2.57, 1.62
        Maple          9.01/9.00,  8.01/8.00,  7,  6,  V (Releases 5, 4, 3)
        Mathematica    5.0,  4.2.1,  4.2 beta,  4.1,  4.0,  3.0,  2.2,  1.2
        MuPAD          2.5.2,  2.5 beta,  2.0,  1.4
        Reduce         3.6,  3.4.1,  3.3
        This database enables us to start off the bug identification immediately.
   Electronic form of some 10 selected sources which, over the decade of our
     symbolic software testing activity, we have found most useful for the black
     box testing (in progress) 

   12 language-to-language convertors
   GEMM: Genuine Error Monitor for Maple automated testing system (in progress)
   Automated sending system which is connected to the automated testing system.
     It guarantees that you will receive the report on a new-identified problem 
     within several minutes after it is done.








© 2002-2008 Cyber Tester Ltd. All rights reserved. All logos and trademarks are property of their respective owners.

E-mail: vb@cybertester.com




© 2002-2008 Cyber Tester Ltd. All rights reserved. All logos and trademarks are property of their respective owners.

E-mail: vb@cybertester.com