Fault Detection Model for Software Correctness and Reliability

Abstract

We evaluate various technical developments in software testing and fault detection that are currently advanced as potential breakthroughs in determining software correctness and reliability. Testimatica Model was developed for testing the correctness of the entire structure of software for purpose of detecting software faults using phase-to-phase approach. Findings reveals that the test based on the design using the developed testing model when evaluated against other testing/ fault detecting approaches can be a more powerful tool for checking if the structures at the design level of many software systems are correct. The findings also reveal that the model improves customer satisfaction, speeds up the development process and improves productivity of software development teams. The model is very unique and novel as it deals with the entire structure of the design on a phase-wise basis; and not just the control structures of software as reported in literature thus radically implicating a novel pathway for software development firms to develop error free products to achieve software reliability. More quantitative facts on the impact of the developed model on software reliability can be substantially proposed and improved on.