Software's Single Fault Model And Its Testing Methods
LI Xiao-we · 2003
It is demonstrated that the remaining faults of software are very difficult to detect. Generally such faults are partial defects with smaller detecting probability. Comparing with correct software, only one or several symbols are incorrect, such as operator faults, variable faults, incorrect parentheses, etc. The single fault model of software is based on the principle. The fault detecting methods are designed to deal with single fault model, which can be divided into three parts: executing the sentence including fault, activating fault and propagating fault. The fault simulation methods are proposed to accelerate the generation of test cases. The basic experimental results demonstrate that the single fault model of software and its fault testing methods are efficient in finding software faults.