Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique

Abstract:

Article Preview

Integer bugs are considered to be the rising threat to mission-critical software. For the oracle problem, testers always ignore integer bugs unless program throws an exception obviously. In this paper, we propose a general procedure based on metamorphic testing to detect integer bugs without oracle and a strategy of the metamorphic relation selection as the complement to T.Y.Chen’ one. The experiment result shows that our approach can detect some invisible mission-critical software failures caused by integer bugs, which are difficult to be found in conventional formal method.

Info:

Periodical:

Edited by:

Dongye Sun, Wen-Pei Sung and Ran Chen

Pages:

1961-1965

DOI:

10.4028/www.scientific.net/AMM.121-126.1961

Citation:

S. Huang et al., "Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique", Applied Mechanics and Materials, Vols. 121-126, pp. 1961-1965, 2012

Online since:

October 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.