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