GEMM
Cyber Tester
Encyclopaedia
Scope
Method
Tools
Tested
Projects
Opinions
               

 
GEMM - Genuine Error Monitor for Maple

        Requirements Document
                                 
             CONTENTS
                                 
   MAIN INTERFACE

   INITIALIZATION MODULE

   BASIS FUNCTIONS STOCK

   CONTROL METAHEURISTICS STOCK

   CONTROLLED HEURISTICS STOCK

   INTERRUPTIONS HANDLER

   HEURISTICS RATER

   HEURISTICS VERIFIER

   HEURISTICS BUILDER

   TEST GENERATORS

   MASTER COMPARATORS & VERIFIERS

   AUXILIARY COMPARATORS & VERIFIERS

   PROOF BUILDERS

   BUG CLASSIFIER

   VERSION LOCATOR

   REPRODUCIBILITY CHECKER

   BUG DATABASES

   STATISTICS MODULE



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

E-mail: vb@cybertester.com