Validating an ODBMS Component using a High-Level Software 
                          Fault Injection Tool

          Regina Lucia de O. Morais		Eliane Martins
	   regina@ceset.unicamp.br 	     eliane@ic.unicamp.br


			     ABSTRACT

 We present a strategy for the validation of Object Oriented Database 
Management  System  (ODBMS),   a  third - parties  software,  when we 
deliberately  introduced  faults  and  observe  its  behavior in  the 
presence  of  these  faults.  A  tool specifically  designed  for the 
injection  of  faults  in  OO applications,  specially  Java language 
systems, was utilized and its mechanisms was simultaneously validated.
This Software Fault Injection tool,  developed at Campinas University
(UNICAMP),  was called Jaca and it have  the ability to inject faults 
in objects’ attributes  and  methods.  The ODBMS used in our tests is 
Ozone and as target application we utilized an ODBMS performance test 
benchmark, Wisconsin OO7, which acted as an activator of the injected 
faults. The experiments carried out in this study aimed to verify the 
efficiency of Ozone’s error detection and recovery mechanisms when the
faults are injected in the benchmark bytecode, since the tool injects 
faults during execution time.  Moreover,  improvement suggestions for 
Jaca were addressed as a result of the experiments carried out.