A General Model For Detecing Invalid Arithmetic Operation

Software testing is the process used to measure the quality of developed computer software, it is an integrated part in software development and it is directly related to software quality. Usually, quality is constrained to such topics as correctness, completeness, security, but can also include more technical requirements, such as capability, reliability, efficiency, portability, maintainability, compatibility, and usability. One of the common software testing methods is static testing, which can check the correctness of the software by analyzing the source code, but not running the software itself. Invalid arithmetic operation is one of the common faults that may lead to system halt, so it is suitable for static testing.This paper first summarizes the operations and system functions susceptible to invalid arithmetic operation in Java programming language, and then a general model and a finite state machine are proposed to detect illegal usages of functions, including user-defined functions and system functions. Finally, based on the proposed model, we design an algorithm to detect invalid arithmetic operation using the interval computation. Experiments show that the proposed model and algorithm can detect more invalid arithmetic operation faults while producing less false positive.