This paper provides a method of variable integrity testing to detect the faults of software. By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value. Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults. Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging. As a consequence, the testing becomes more precise.
Field of Research
080399 Computer Software not elsewhere classified
Socio Economic Objective
970108 Expanding Knowledge in the Information and Computing Sciences
Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact firstname.lastname@example.org.