Systematic testing of DBMS modules

Correctness and response time are two principal requirements of any DBMS. If the DBMS returns inaccurate information in response to the user's query, then the outcome can be serious. Second to correctness, response time is a factor used to evaluate various DBMS's. One way to promote these two goals is "testing". This thesis is involved with the testing of the File Management and Data Dictionary modules of an experimental "semantic" DBMS. Testing of every procedure and function which serves as an interface to two DBMS modules has been accomplished. In the process, several serious errors were remedied and some special features were added. At present, the File Management System is more powerful and robust. It provides the facilities such as FindRecord and FindNextRecord. The response time has been reduced and correctness has been increased. In the Data Dictionary part, integrity checking of schema definitions was enhanced. Also the access time to the Dictionary has been improved.