Deakin University
Browse

File(s) under permanent embargo

Variable integrity testing of software

journal contribution
posted on 2004-11-01, 00:00 authored by Guangyan HuangGuangyan Huang, X Li
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.

History

Journal

Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics

Volume

16

Issue

11

Pagination

1584 - 1589

ISSN

1003-9775

Publication classification

C Journal article; C1.1 Refereed article in a scholarly journal

Copyright notice

2004, Zhongguo Kexueyuan Jisuan Jishu Yanjiusuo

Usage metrics

    Research Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC