A General Model for Detecting Invalid Arithmetic Operation

Invalid arithmetic operation is one of the common faults that may lead to system halt． This paper summarizes the operations and system functions susceptible to invalid arithmetic operation in Java programming language．A general model is proposed to detect illegal usages of functions, including user-defined functions and system functions．Based on the proposed model,we design an algorithm to detect invalid arithmetic operation using the interval computation．Experimental results show that the proposed model and algorithm can detect more invalid arithmetic operation faults while producing less false positive．