Title :
An Effective and Efficient Testing Methodology for Correctness Testing for File Recovery Tools
Author :
Pan, Lei ; Batten, Lynn M.
Author_Institution :
Deakin Univ., Melbourne
Abstract :
We hereby develop an effective and efficient testing methodology for correctness testing for file recovery tools across different file systems. We assume that the tool tester is familiar with the formats of common file types and has the ability to use the tools correctly. Our methodology first derives a testing plan to minimize the number of runs required to identify the differences in tools with respect to correctness. We also present a case study on correctness testing for file carving tools, which allows us to confirm that the number of necessary testing runs is bounded and our results are statistically sound.
Keywords :
file organisation; program testing; program verification; correctness testing; effective testing methodology; efficient testing methodology; file recovery tools; file systems; Acoustic testing; Australia; Blindness; Computer crime; Digital forensics; File systems; Information technology; NIST; Road transportation; System testing;
Conference_Titel :
Intelligent Information Hiding and Multimedia Signal Processing, 2007. IIHMSP 2007. Third International Conference on
Conference_Location :
Kaohsiung
Print_ISBN :
978-0-7695-2994-1
DOI :
10.1109/IIH-MSP.2007.78