File(s) under permanent embargo
Variable integrity testing of software
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 GraphicsVolume
16Issue
11Pagination
1584 - 1589ISSN
1003-9775Publication classification
C Journal article; C1.1 Refereed article in a scholarly journalCopyright notice
2004, Zhongguo Kexueyuan Jisuan Jishu YanjiusuoUsage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC