MAKING SOFTWARE TESTING SYSTEM ORIENTED TO FAULTS

摘要

This paper proposes a new software testing method oriented to faults, which is used for seven types of faults, namely bad deallocation, memory leak, null pointer dereference, out of bounds array access, uninitialized variable, prohibited operation and dead code, Based on accidence analysis and syntax analysis, this method can find out the errors in software, which uses examining point searching arithmetic to search for suspicious point and be affirmed by human at last.